simonpj 2003/10/27 02:59:01 PST
Modified files: (Branch: ghc-6-2-branch)
ghc/compiler/types Type.lhs
ghc/compiler/typecheck TcMonoType.lhs
Log:
Permit unlifted types in for-alls. It turns out that GHC sometimes
constructs such types (after CPR analysis for deafult methods!), and
was then falling over during kind checking of interface files.
This cures the "Missing top_errs" bug.
Revision Changes Path
1.114.2.1 +3 -4 fptools/ghc/compiler/types/Type.lhs
1.110.2.1 +8 -9 fptools/ghc/compiler/typecheck/Attic/TcMonoType.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
