simonpj 2005/10/27 06:51:28 PDT
Modified files:
ghc/compiler/typecheck TcExpr.lhs
Log:
Allow GADTs in record update, provided all the relevant datacons are
vanilla. Turns out that ObjectIO.StdMenuElement uses this facility!
This a slight enhancement to the new stuff allowing record
fields in GADTs.
Revision Changes Path
1.189 +19 -15 fptools/ghc/compiler/typecheck/TcExpr.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
