Merge pull request #153 from puffnfresh/name-mangling
Mangle '.' to "$dot"
commit856ca36d2a7ad3da32ab48b1bfcc8bba30a011be
authorPhil Freeman <paf31@cantab.net>
dateFri 31 Jan 2014, 14:22 (13 years ago)
parent80141e605b4bdd
src/Language/PureScript/Pretty/Common.hs+1
@@ -41,6 +41,7 @@ identToJs (Escaped name) = name
4141identCharToString :: Char -> String
4242identCharToString c | isAlphaNum c = [c]
4343identCharToString '_' = "_"
44+identCharToString '.' = "$dot"
4445identCharToString '$' = "$dollar"
4546identCharToString '~' = "$tilde"
4647identCharToString '=' = "$eq"