Sun Apr 13 20:16:54 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]>
* Eta-expand newtype coercions in External Core
Typechecking External Core is easier if we eta-expand axioms
in newtype declarations. For a fuller explanation, see:
http://www.haskell.org/pipermail/cvs-ghc/2008-April/041948.html
M ./compiler/coreSyn/MkExternalCore.lhs -1 +5
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080414031654-d61e2-6f89bf1fd13fbc1d2f01e8b27280c67a2daf4c41.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
