[project @ 1999-01-13 11:06:24 by simonm]
authorsimonm <unknown>
Wed, 13 Jan 1999 11:06:24 +0000 (11:06 +0000)
committersimonm <unknown>
Wed, 13 Jan 1999 11:06:24 +0000 (11:06 +0000)
Z-encodings for '/' and '.' were both 'Zd'.  Change '.' to 'Zs'.

ghc/compiler/basicTypes/OccName.lhs

index 4a0901f..f17156c 100644 (file)
@@ -581,7 +581,7 @@ encode_ch '#'  = "Zh"
 encode_ch '<'  = "Zl"
 encode_ch '-'  = "Zm"
 encode_ch '!'  = "Zn"
-encode_ch '.'  = "Zd"
+encode_ch '.'  = "Zs"
 encode_ch '\'' = "Zq"
 encode_ch '*'  = "Zt"
 encode_ch '+'  = "Zp"