Tue Apr 15 17:03:47 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]>
* 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
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
