projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f1b316) | patch
Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones
authorsimonpj@microsoft.com <unknown>
Tue, 6 Nov 2007 15:31:51 +0000 (15:31 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 6 Nov 2007 15:31:51 +0000 (15:31 +0000)
commitbdaf685ced63faab7353717c01999e582efb4e37
treebe4ba00e7ed828bd9eabff1aa3cc1bf3102e8202tree | snapshot
parent3f1b316d7035c55cd712cd39a9981339bcef2e8ccommit | diff
Fix Trac #1813: generalise over *all* type variables at top level, even phantom ones

See Note [Silly type synonym] in TcType for further details.  This bug
(or at least infelicity) has been in GHC for quite a long time.
compiler/typecheck/TcBinds.lhs diff | blob | history
compiler/typecheck/TcType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)