Improve syntax for primitive coercions in External Core
authorTim Chevalier <chevalier@alum.wellesley.edu>
Sun, 4 May 2008 02:43:04 +0000 (02:43 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Sun, 4 May 2008 02:43:04 +0000 (02:43 +0000)
commit391a3e9c08c470bd1444cba2e5111e253c19ea84
tree85e2b5901b4ccd8d8ea77f5fb88d1291df22825d
parentc287bea94592fffe63f85831ab651c28d64e4d6e
Improve syntax for primitive coercions in External Core

Add new syntax in External Core for primitive coercions (trans,
sym, etc.) rather than wiring their names into the ext-core
parser.
compiler/coreSyn/ExternalCore.lhs
compiler/coreSyn/MkExternalCore.lhs
compiler/coreSyn/PprExternalCore.lhs
utils/ext-core/ParsecParser.hs