projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ab0934) | patch
Check for escape when unifying forall-types
authorsimonpj@microsoft.com <unknown>
Tue, 6 Feb 2007 16:54:56 +0000 (16:54 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 6 Feb 2007 16:54:56 +0000 (16:54 +0000)
commite975c8f09ac8d85059a4b42cf56ebe036aa95dc7
tree35d51edbebfd488df526d577c1e41adfaefab620tree | snapshot
parent8ab093423360990fc108d86098fc6bfb3b555269commit | diff
Check for escape when unifying forall-types

This egregious omission led to Trac #1128.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)