projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7b56ef) | patch
Make -fdicts-cheap cope with implication constraints
authorsimonpj@microsoft.com <unknown>
Thu, 5 Mar 2009 13:44:47 +0000 (13:44 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 5 Mar 2009 13:44:47 +0000 (13:44 +0000)
commitac38ece1e717cb412e89354aa95fd11d44c1cefb
treebd73426d88d13705dfba5e42b9ee5f0b0783dd51tree | snapshot
parentd7b56effafe21561a127b318c9cfea2897a053c0commit | diff
Make -fdicts-cheap cope with implication constraints

See the Note [Dictionary-like types] in TcType for the full story here
Should only affect programs that use -fdicts-cheap, for
which you'll get better arities
compiler/coreSyn/CoreArity.lhs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)