git.iko.soy/Idris-dev
on master help sign in
javascript: fixed times-operator in names
2729962raichoo
src/IRTS/CodegenJavaScript.hs+1
compare with master
unifiedsplit
@@ -122,6 +122,7 @@ translateIdentifier =
122 replaceBadChars ':' = "__colon__"
122 replaceBadChars ':' = "__colon__"
123 replaceBadChars '+' = "__plus__"
123 replaceBadChars '+' = "__plus__"
124 replaceBadChars '-' = "__minus__"
124 replaceBadChars '-' = "__minus__"
125+ replaceBadChars '*' = "__times__"
125 replaceBadChars '<' = "__lt__"
126 replaceBadChars '<' = "__lt__"
126 replaceBadChars '>' = "__gt__"
127 replaceBadChars '>' = "__gt__"
127 replaceBadChars '=' = "__eq__"
128 replaceBadChars '=' = "__eq__"