Merge pull request #152 from puffnfresh/name-mangling
Mangle '$' identifier to "$dollar"
commit752c6cff71a421d93ecc6c61258e42754aebc508
authorPhil Freeman <paf31@cantab.net>
dateFri 31 Jan 2014, 10:28 (13 years ago)
parent9ab0ff20a178b0
src/Language/PureScript/Pretty/Common.hs+1
@@ -40,6 +40,7 @@ identToJs (Op op) = concatMap identCharToString op
4040identCharToString :: Char -> String
4141identCharToString c | isAlphaNum c = [c]
4242identCharToString '_' = "_"
43+identCharToString '$' = "$dollar"
4344identCharToString '~' = "$tilde"
4445identCharToString '=' = "$eq"
4546identCharToString '<' = "$less"