patch applied (ghc): External Core typechecker - improve handling of coercions

Mon Apr 21 22:15:43 EDT 2008

Mon Apr 21 18:56:22 PDT 2008  Tim Chevalier <chevalier at alum.wellesley.edu>
  * External Core typechecker - improve handling of coercions
  
  Reorganized coercion-related code in the typechecker (this was
  brought about by typechecking the Core versions of the optimized GHC
  libraries.) A few miscellaneous changes (fixed a bug in Prep involving
  eta-expanding partial applications that had additional type
  arguments.)

    M ./utils/ext-core/Check.hs -91 +126
    M ./utils/ext-core/Core.hs -3 +4
    M ./utils/ext-core/ParsecParser.hs -22 +16
    M ./utils/ext-core/Prep.hs -14 +23
    M ./utils/ext-core/PrimCoercions.hs -2 +4
    M ./utils/ext-core/Printer.hs +2
    M ./utils/ext-core/README -3 +8

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080422015622-d61e2-b7c024627d82861d38c97b6c0bf99166c9ef62c4.gz