@@ -1811,6 +1811,9 @@ translateExpression (SForeign _ _ "putStr" [(FString, var)]) =
18111811translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
18121812 JSBinOp "==" (JSVar var) JSNull
18131813
1814+translateExpression (SForeign _ _ "idris_eqPtr" [(FPtr, lhs),(FPtr, rhs)]) =
1815+ JSBinOp "==" (JSVar lhs) (JSVar rhs)
1816+
18141817translateExpression (SForeign _ _ fun args) =
18151818 ffi fun (map generateWrapper args)
18161819 where