Wed Apr 9 21:37:27 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]>
* Another round of External Core fixes
With this patch, GHC should now be printing External Core in a format
that a stand-alone program can parse and typecheck. Major bug fixes:
- The printer now handles qualified/unqualified declarations correctly
(particularly data constructor declarations)
- It prints newtype declarations with enough information to
typecheck code that uses the induced coercions (this required a
syntax change)
- It expands type synonyms correctly
Documentation and external tool patches will follow.
M ./compiler/coreSyn/ExternalCore.lhs -4 +6
M ./compiler/coreSyn/MkExternalCore.lhs -76 +126
M ./compiler/coreSyn/PprExternalCore.lhs -9 +11
M ./compiler/main/HscMain.lhs -1 +4
M ./compiler/prelude/TysPrim.lhs -1 +1
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080410043727-d61e2-e2a2c91c172daf82b0820998b4eccb5bf4e5d073.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
