Fix primMname in External Core printer
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 01:43:11 +0000 (01:43 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 01:43:11 +0000 (01:43 +0000)
commit6c3eae5d5e88117cf80b4b35c9bae4ba3ebbe94c
treef0b8a54ac21f1e53114a16c5f17ea7d6712a8dea
parent4905e62021b94b01cdb3a83b22d81d8c763b36f9
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