patch applied (ghc): z-encode digits at the start of a symbol name;
fixes trac #2997
igloo at earth.li
Fri Feb 27 14:22:29 EST 2009
Fri Feb 27 10:00:29 PST 2009 Ian Lynagh <igloo at earth.li>
* z-encode digits at the start of a symbol name; fixes trac #2997
Digits already have a couple of meanings in z-encoding (Z3T is a tuple,
and z123U is a unicode character), so we encode digits as unicode
characters to avoid trying to squeeze in another meaning.
Also removed a little GHC < 6.2 compatibility hack.
M ./compiler/utils/Encoding.hs -9 +16
View patch online:
More information about the Cvs-ghc