simonpj 2005/03/15 07:40:28 PST
Modified files:
ghc/compiler/typecheck TcTyClsDecls.lhs
Log:
----------------------------------
Two GADT error-reporting bugs
----------------------------------
Merge to STABLE
1. Bug in kind-checking for GADTs; turned out to be in
isOpenTypeKind on KindVars
2. Missed check for the return type for GADTs
Revision Changes Path
1.121 +11 -4 fptools/ghc/compiler/typecheck/TcTyClsDecls.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
