git.iko.soy/Idris-dev
on master help sign in
javascript: fixed commas in name
1b2fd0araichoo
src/IRTS/CodegenJavaScript.hs+1
compare with master
unifiedsplit
@@ -118,6 +118,7 @@ translateIdentifier =
118 replaceBadChars '!' = "__bang__"
118 replaceBadChars '!' = "__bang__"
119 replaceBadChars '#' = "__hash__"
119 replaceBadChars '#' = "__hash__"
120 replaceBadChars '.' = "__dot__"
120 replaceBadChars '.' = "__dot__"
121+ replaceBadChars ',' = "__comma__"
121 replaceBadChars ':' = "__colon__"
122 replaceBadChars ':' = "__colon__"
122 replaceBadChars '+' = "__plus__"
123 replaceBadChars '+' = "__plus__"
123 replaceBadChars '-' = "__minus__"
124 replaceBadChars '-' = "__minus__"