on master help sign in
javascript: more name fixes
c1420f0raichoo
src/IRTS/CodegenJavaScript.hs+5
@@ -142,6 +142,11 @@ translateIdentifier =
142 replaceBadChars '=' = "_eq"
142 replaceBadChars '=' = "_eq"
143 replaceBadChars '|' = "_pipe"
143 replaceBadChars '|' = "_pipe"
144 replaceBadChars '&' = "_amp"
144 replaceBadChars '&' = "_amp"
145+ replaceBadChars '/' = "_SL"
146+ replaceBadChars '\\' = "_BSL"
147+ replaceBadChars '%' = "_per"
148+ replaceBadChars '?' = "_que"
149+ replaceBadChars '~' = "_til"
145 replaceBadChars '\'' = "_apo"
150 replaceBadChars '\'' = "_apo"
146 replaceBadChars c
151 replaceBadChars c
147 | isDigit c = "_" ++ [c] ++ "_"
152 | isDigit c = "_" ++ [c] ++ "_"