projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aaed05e) | patch
Check the *right* set of type variables for escape!
authorsimonpj@microsoft.com <unknown>
Wed, 10 Sep 2008 09:58:16 +0000 (09:58 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 10 Sep 2008 09:58:16 +0000 (09:58 +0000)
commit62ee856ca84f409741f472ce3527d6deafa5b62a
treea48019a2e401f2d9a8f4a20016a541d2af716ddatree | snapshot
parentaaed05e88978688e37dc74177dd4eba51a6ab4d0commit | diff
Check the *right* set of type variables for escape!

I did the wrong checkSigTyVars, which (happily) triggered an ASSERT
failure.  This should fix it.
compiler/typecheck/TcInstDcls.lhs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)