@@ -111,29 +111,30 @@ translateIdentifier =
111 concatMap replaceBadChars
111 concatMap replaceBadChars
112 where replaceBadChars :: Char -> String
112 where replaceBadChars :: Char -> String
113 replaceBadChars ' ' = "_"
113 replaceBadChars ' ' = "_"
114− replaceBadChars '@' = "__at__"
114+ replaceBadChars '_' = "__"
115+ replaceBadChars '@' = "_at"
115− replaceBadChars '[' = "__OSB__"
116+ replaceBadChars '[' = "_OSB"
116− replaceBadChars ']' = "__CSB__"
117+ replaceBadChars ']' = "_CSB"
117− replaceBadChars '(' = "__OP__"
118+ replaceBadChars '(' = "_OP"
118− replaceBadChars ')' = "__CP__"
119+ replaceBadChars ')' = "_CP"
119− replaceBadChars '{' = "__OB__"
120+ replaceBadChars '{' = "_OB"
120− replaceBadChars '}' = "__CB__"
121+ replaceBadChars '}' = "_CB"
121− replaceBadChars '!' = "__bang__"
122+ replaceBadChars '!' = "_bang"
122− replaceBadChars '#' = "__hash__"
123+ replaceBadChars '#' = "_hash"
123− replaceBadChars '.' = "__dot__"
124+ replaceBadChars '.' = "_dot"
124− replaceBadChars ',' = "__comma__"
125+ replaceBadChars ',' = "_comma"
125− replaceBadChars ':' = "__colon__"
126+ replaceBadChars ':' = "_colon"
126− replaceBadChars '+' = "__plus__"
127+ replaceBadChars '+' = "_plus"
127− replaceBadChars '-' = "__minus__"
128+ replaceBadChars '-' = "_minus"
128− replaceBadChars '*' = "__times__"
129+ replaceBadChars '*' = "_times"
129− replaceBadChars '<' = "__lt__"
130+ replaceBadChars '<' = "_lt"
130− replaceBadChars '>' = "__gt__"
131+ replaceBadChars '>' = "_gt"
131− replaceBadChars '=' = "__eq__"
132+ replaceBadChars '=' = "_eq"
132− replaceBadChars '|' = "__pipe__"
133+ replaceBadChars '|' = "_pipe"
133− replaceBadChars '&' = "__amp__"
134+ replaceBadChars '&' = "_amp"
134− replaceBadChars '\'' = "__apo__"
135+ replaceBadChars '\'' = "_apo"
135 replaceBadChars c
136 replaceBadChars c
136− | isDigit c = "__" ++ [c] ++ "__"
137+ | isDigit c = "_" ++ [c] ++ "_"
137 | otherwise = [c]
138 | otherwise = [c]
139translateNamespace :: Name -> [String]
140translateNamespace :: Name -> [String]