patch applied (ghc): Improve External Core syntax

[Tim Chevalier]

Tue Apr 15 17:03:47 PDT 2008  Tim Chevalier <chevalier at alum.wellesley.edu>
  * Improve External Core syntax
  
  Got rid of the silly '^' characters before qualified names (plus:
  reverts to the original syntax; minus: makes the parser a little
  hairier.)
  
  Also, added warning in the typechecker for coercion kind mismatches
  rather than considering that a type error. (see the added comment in
  Check.hs for details.)

    M ./compiler/coreSyn/PprExternalCore.lhs -4 +1
    M ./utils/ext-core/Check.hs -3 +20
    M ./utils/ext-core/Core.hs -5 +6
    M ./utils/ext-core/ParsecParser.hs -32 +42
    M ./utils/ext-core/Printer.hs -14 +15

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080416000347-d61e2-3675ff4c8c722b138975e2d202c42f698be1ffd3.gz