git.iko.soy/Idris-dev
on master help sign in
javascript: inline isNull
84db89craichoo
jsrts/Runtime-common.js−4
compare with master
unifiedsplit
@@ -37,7 +37,3 @@ var __IDRRT__tailcall = function(k) {
37
37
38 return ret;
38 return ret;
39};
39};
40−
41−var __IDRRT__isNull = function(s) {
42− return s == null;
43−};
src/IRTS/CodegenJavaScript.hs+1−1
@@ -1848,7 +1848,7 @@ translateExpression (SForeign _ _ "putStr" [(FString, var)]) =
1848 jsCall (idrRTNamespace ++ "print") [JSVar var]
1848 jsCall (idrRTNamespace ++ "print") [JSVar var]
1849
1849
1850translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
1850translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
1851− jsCall (idrRTNamespace ++ "isNull") [JSVar var]
1851+ JSBinOp "==" (JSVar var) JSNull
1852
1852
1853translateExpression (SForeign _ _ fun args) =
1853translateExpression (SForeign _ _ fun args) =
1854 ffi fun (map generateWrapper args)
1854 ffi fun (map generateWrapper args)