dunham/newt
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

escape some javascript keywords

Browse Source
This commit is contained in:
Steve Dunham
2024-10-26 08:02:57 -07:00
parent e1ef6b5ee5
commit 3379e6ba3f
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/Lib/Compile.idr
View File

@@ -159,9 +159,15 @@ termToJS env (CCase t alts) f =
jsString : String -> Doc
jsString str = text (show str)
keywords : List String
keywords = [
"var", "true", "false", "let", "case", "switch", "if", "then", "else",
"function", "void", "undefined", "null", "await", "async", "return", "const"
]
||| escape identifiers for js
jsIdent : String -> Doc
jsIdent id = text $ pack $ fix (unpack id)
jsIdent id = if elem id keywords then text ("$" ++ id) else text $ pack $ fix (unpack id)
where
chars : List Char
chars = unpack "0123456789ABCDEF"