patch applied (ghc): Another round of External Core fixes

Tim Chevalier chevalier at alum.wellesley.edu
Thu Apr 10 12:42:23 EDT 2008


Wed Apr  9 21:37:27 PDT 2008  Tim Chevalier <chevalier at alum.wellesley.edu>
  * 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



More information about the Cvs-ghc mailing list