on master help sign in
javascript: more name fixes
commitc1420f0e8031899c0582464b5d09e83da1f265b5 authorraichoo <raichoo@googlemail.com> dateFri 18 Jan 2013, 18:23 (14 years ago) parent8e95553
1 file changed+5
src/IRTS/CodegenJavaScript.hs+5
src/IRTS/CodegenJavaScript.hs+5
@@ -142,6 +142,11 @@ translateIdentifier =
142142 replaceBadChars '=' = "_eq"
143143 replaceBadChars '|' = "_pipe"
144144 replaceBadChars '&' = "_amp"
145+ replaceBadChars '/' = "_SL"
146+ replaceBadChars '\\' = "_BSL"
147+ replaceBadChars '%' = "_per"
148+ replaceBadChars '?' = "_que"
149+ replaceBadChars '~' = "_til"
145150 replaceBadChars '\'' = "_apo"
146151 replaceBadChars c
147152 | isDigit c = "_" ++ [c] ++ "_"