git.iko.soy/Idris-dev
on master help sign in
javascript: fix detection of constant constructors
82750fdraichoo
src/IRTS/CodegenJavaScript.hs+2−1
compare with master
unifiedsplit
@@ -428,7 +428,8 @@ isJSConstantConstructor constants js
428 all (isJSConstantConstructor constants) vals
428 all (isJSConstantConstructor constants) vals
429 | JSNew "__IDRRT__Con" args <- js =
429 | JSNew "__IDRRT__Con" args <- js =
430 all (isJSConstantConstructor constants) args
430 all (isJSConstantConstructor constants) args
431− | JSIndex (JSProj (JSIdent _) "vars") (JSNum _) <- js =
431+ | JSIndex (JSProj (JSIdent name) "vars") (JSNum _) <- js
432+ , name `elem` constants =
432 True
433 True
433 | JSIdent name <- js
434 | JSIdent name <- js
434 , name `elem` constants =
435 , name `elem` constants =