From 9039da35d72a9551be7a54b4c432f43218bee61c Mon Sep 17 00:00:00 2001 From: simonm <unknown> Date: Wed, 13 Jan 1999 11:06:24 +0000 Subject: [PATCH] [project @ 1999-01-13 11:06:24 by simonm] Z-encodings for '/' and '.' were both 'Zd'. Change '.' to 'Zs'. --- ghc/compiler/basicTypes/OccName.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/basicTypes/OccName.lhs b/ghc/compiler/basicTypes/OccName.lhs index 4a0901f703b2..f17156c09b5a 100644 --- a/ghc/compiler/basicTypes/OccName.lhs +++ b/ghc/compiler/basicTypes/OccName.lhs @@ -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" -- GitLab