projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 492303f) | patch
Fix Trac #4841: behave right with TypeSynonymInstances and NoFlexibleInstances
authorsimonpj@microsoft.com <unknown>
Tue, 14 Dec 2010 17:47:55 +0000 (17:47 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 14 Dec 2010 17:47:55 +0000 (17:47 +0000)
commit4d8c7c976104d2e39a1183967ec0f254a0fc0a47
tree48007aa4f9ebcef52a06c6bef6aa0e0e2db2dfbdtree | snapshot
parent492303f32eb179c14a095aa175541bdbff486179commit | diff
Fix Trac #4841: behave right with TypeSynonymInstances and NoFlexibleInstances

When we have TypeSynonymInstances without FlexibleInstances we should still
insist on a H98-style instance head, after looking through the synonym.

This patch also make FlexibleInstances imply TypeSynonymInstances.  Anything
else is a bit awkward, and not very useful.
compiler/main/DynFlags.hs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
docs/users_guide/flags.xml diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)