javascript: fixed commas in name
commit1b2fd0aeb47a49f2e1d546ee55fc1af0e481fd51
authorraichoo <raichoo@googlemail.com>
dateSat 12 Jan 2013, 00:44 (14 years ago)
parentfc72370
src/IRTS/CodegenJavaScript.hs+1
@@ -118,6 +118,7 @@ translateIdentifier =
118118 replaceBadChars '!' = "__bang__"
119119 replaceBadChars '#' = "__hash__"
120120 replaceBadChars '.' = "__dot__"
121+ replaceBadChars ',' = "__comma__"
121122 replaceBadChars ':' = "__colon__"
122123 replaceBadChars '+' = "__plus__"
123124 replaceBadChars '-' = "__minus__"