projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57f94a2) | patch
[project @ 2005-03-07 15:16:58 by simonpj]
authorsimonpj <unknown>
Mon, 7 Mar 2005 15:17:02 +0000 (15:17 +0000)
committersimonpj <unknown>
Mon, 7 Mar 2005 15:17:02 +0000 (15:17 +0000)
commitbcacf0b79872953f5512c0ebd98d551a30306b49
tree44052286281cfa1822c952021f36bf5a739d8f65tree | snapshot
parent57f94a244471fe39148c298c835e61b9d21f2e63commit | diff
[project @ 2005-03-07 15:16:58 by simonpj]
-----------------------------------------
       Fix scoping bug for quantified type variables
-----------------------------------------

Merge to STABLE

When instantiating a declaration type signature, make sure to instantiate
fresh names for non-scoped type variables, else they may be spuriously shared.
Turns out that the test lib/Generics/reify tests this, which is good.

Comments are with TcMType.tcInstSigType
ghc/compiler/typecheck/TcBinds.lhs diff | blob | history
ghc/compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)