Sun Mar 23 18:43:11 PDT 2008 Tim Chevalier <chevalier at alum.wellesley.edu>
* 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.
M ./compiler/coreSyn/ExternalCore.lhs -1 +3