Mon Jan 7 03:54:51 PST 2008 [EMAIL PROTECTED]
* Add -XImpredicativeTypes, and tighten up type-validity checking (cf Trac
2019)
Somehow we didn't have a separate flag for impredicativity; now we do.
Furthermore, Trac #2019 showed up a missing test for monotypes in data
constructor return types. And I realised that we were even allowing
things like
Num (forall a. a) => ...
which we definitely should not.
This patch insists on monotypes in several places where we were (wrongly)
too liberal before.
Could be merged to 6.8 but no big deal.
M ./compiler/main/DynFlags.hs -6 +9
M ./compiler/typecheck/TcMType.lhs -82 +94
M ./compiler/typecheck/TcTyClsDecls.lhs +3
M ./docs/users_guide/flags.xml +6
M ./docs/users_guide/glasgow_exts.xml -1 +3
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
