@@ -1964,6 +1964,9 @@ translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
19641964translateExpression (SForeign _ _ "idris_eqPtr" [(FPtr, lhs),(FPtr, rhs)]) =
19651965 JSBinOp "==" (JSVar lhs) (JSVar rhs)
19661966
1967+translateExpression (SForeign _ _ "idris_time" []) =
1968+ JSRaw "(new Date()).getTime()"
1969+
19671970translateExpression (SForeign _ _ fun args) =
19681971 JSFFI fun (map generateWrapper args)
19691972 where