git.iko.soy/Idris-dev
on master help sign in
javascript: JSNull is a constant
064e6d1raichoo
src/IRTS/CodegenJavaScript.hs+1
compare with master
unifiedsplit
@@ -385,6 +385,7 @@ isJSConstant js
385 | JSChar _ <- js = True
385 | JSChar _ <- js = True
386 | JSNum _ <- js = True
386 | JSNum _ <- js = True
387 | JSType _ <- js = True
387 | JSType _ <- js = True
388+ | JSNull <- js = True
388
389
389 | JSApp (JSIdent "__IDRRT__bigInt") _ <- js = True
390 | JSApp (JSIdent "__IDRRT__bigInt") _ <- js = True
390 | otherwise = False
391 | otherwise = False