Fix big character literal printing in External Core
authorTim Chevalier <chevalier@alum.wellesley.edu>
Sat, 29 Mar 2008 22:11:09 +0000 (22:11 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Sat, 29 Mar 2008 22:11:09 +0000 (22:11 +0000)
commit5d1ba397950bd700768933cc573f04a804f6e32a
tree212833cd75946b6cf2e8fe616d495522bcad6224
parent35549002886ef843f80cb265a8f14d7f9522d85d
Fix big character literal printing in External Core

Characters bigger than '\xff' should be represented as int
literals in External Core. (This was originally fixed five years ago
and broken again four and a half years ago...)
compiler/coreSyn/MkExternalCore.lhs