simonpj 2005/01/26 08:10:12 PST
Modified files:
ghc/compiler/typecheck TcHsType.lhs TcType.lhs
ghc/compiler/types Type.lhs
Log:
-----------------------
Fixup to hoistForAllTys
-----------------------
* hoistForAllTys moves from TcHsType to TcType
hoistForAllTys was being too vigorous and breaking up type synonyms,
even when it was entirely unnecessary to do so.
Not only does this make error messsages less good, but it's actually
wrong for Haskell 98, because we are meant to report under-applied
type synonyms, and that check doesn't happen until after hoistForAllTys.
This led to a very obscure bug, immortalised as tcfail129.
Revision Changes Path
1.20 +1 -62 fptools/ghc/compiler/typecheck/TcHsType.lhs
1.116 +75 -2 fptools/ghc/compiler/typecheck/TcType.lhs
1.133 +0 -2 fptools/ghc/compiler/types/Type.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
