z-encode digits at the start of a symbol name; fixes trac #2997
authorIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 18:00:29 +0000 (18:00 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 18:00:29 +0000 (18:00 +0000)
commit911860671d3f35a52b54869a7a3e7730d7c631dd
tree58c1dcd74568ddf7f3c437fadf319d8b3c06a088
parent80b4eda6de2ea0f524e52b59415d84e04f7b1d5d
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.
compiler/utils/Encoding.hs