projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52d22b9) | patch
Fix Trac #2714 (a minor wibble)
authorsimonpj@microsoft.com <unknown>
Wed, 22 Oct 2008 14:51:38 +0000 (14:51 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 22 Oct 2008 14:51:38 +0000 (14:51 +0000)
commite1202fd33a406f4fc4f78d60a0dd48c030b7c9cf
treef4d8ca13ae675e3f17cff2077823c47faf271264tree | snapshot
parent52d22b94d7c3a71f584ce71c057a86ab9826da41commit | diff
Fix Trac #2714 (a minor wibble)

In boxy_match (which is a pure function used by preSubType) we can
encounter TyVars not just TcTyVars; this patch takes account of that.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)