git.iko.soy/Idris-dev
on master help sign in
javascript: implemented eqPtr
caf50ddraichoo
src/IRTS/CodegenJavaScript.hs+3
compare with master
unifiedsplit
@@ -1811,6 +1811,9 @@ translateExpression (SForeign _ _ "putStr" [(FString, var)]) =
1811translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
1811translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
1812 JSBinOp "==" (JSVar var) JSNull
1812 JSBinOp "==" (JSVar var) JSNull
1813
1813
1814+translateExpression (SForeign _ _ "idris_eqPtr" [(FPtr, lhs),(FPtr, rhs)]) =
1815+ JSBinOp "==" (JSVar lhs) (JSVar rhs)
1816+
1814translateExpression (SForeign _ _ fun args) =
1817translateExpression (SForeign _ _ fun args) =
1815 ffi fun (map generateWrapper args)
1818 ffi fun (map generateWrapper args)
1816 where
1819 where