projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3bcf51) | patch
Improve External Core syntax
authorTim Chevalier <chevalier@alum.wellesley.edu>
Wed, 16 Apr 2008 00:03:47 +0000 (00:03 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Wed, 16 Apr 2008 00:03:47 +0000 (00:03 +0000)
commit2ad4df602e5bb2cff0315b945fa3201749878c30
treeddfd63cd2652f355444d997e4eebd30d83fa8d6etree | snapshot
parentb3bcf51f7226678234b3c07de95ab44a75cc4820commit | diff
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.)
compiler/coreSyn/PprExternalCore.lhs diff | blob | history
utils/ext-core/Check.hs diff | blob | history
utils/ext-core/Core.hs diff | blob | history
utils/ext-core/ParsecParser.hs diff | blob | history
utils/ext-core/Printer.hs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)