Tue Nov 6 07:31:51 PST 2007 [EMAIL PROTECTED] * 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.
M ./compiler/typecheck/TcBinds.lhs -3 +3
M ./compiler/typecheck/TcType.lhs +9
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
