projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c5e145) | patch
Fix Trac #4120: generate a proper coercion when unifying forall types
authorsimonpj@microsoft.com <unknown>
Mon, 14 Jun 2010 13:43:11 +0000 (13:43 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 14 Jun 2010 13:43:11 +0000 (13:43 +0000)
commit3e42637302a69f094201bf2d7bbb778aa5dfece1
tree53da5b23b8834376dd4711bbac224726c0187284tree | snapshot
parent8c5e145eb7f4e88fc3f2ecf5e509768818ae6c02commit | diff
Fix Trac #4120: generate a proper coercion when unifying forall types

This was just a blatant omission, which hasn't come up before.
Easily fixed, happily.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)