Sun May 4 16:02:33 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]>
* Improve External Core newtype syntax
I realized that recursive newtypes no longer have to be
distinguished in the External Core AST, because explicit coercions
allow the typechecker to typecheck newtypes without ever
expanding newtypes. So, now all newtypes in External Core have
a representation clause. O frabjous day!
M ./compiler/coreSyn/ExternalCore.lhs -1 +1
M ./compiler/coreSyn/MkExternalCore.lhs -3 +1
M ./compiler/coreSyn/PprExternalCore.lhs -4 +1
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080504230233-d61e2-c745420f326e873dba2cbd023e7ce6c5bab199af.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
