simonpj 2006/01/05 02:02:58 PST
Modified files:
ghc/compiler/typecheck TcTyClsDecls.lhs
Log:
'newtype' declarations are now parsed exactly like data type declarations,
so that you can declare newtypes using GADT syntax. But that means we
must check all the newtype restrictions separately, and I mised one.
This commit checks that there is no existential context on the newtype.
Test is tcfail156
Revision Changes Path
1.132 +13 -5 fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
