Fix primMname in External Core printer
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 00:52:46 +0000 (00:52 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 00:52:46 +0000 (00:52 +0000)
commit4905e62021b94b01cdb3a83b22d81d8c763b36f9
treeaf0ac6e13d434dd843a0b9475d529b57c5f05400
parentfcf6b22d0478be20e27c2245f3e34dd272e12522
Fix primMname in External Core printer

My earlier changes broke printing of function types in .hcr files.
In other words: the z-encoding must die.
compiler/coreSyn/ExternalCore.lhs