git.iko.soy/Idris-dev
on master help sign in
javascript: add time function
312967araichoo
src/IRTS/CodegenJavaScript.hs+3
compare with master
unifiedsplit
@@ -1964,6 +1964,9 @@ translateExpression (SForeign _ _ "isNull" [(FPtr, var)]) =
1964translateExpression (SForeign _ _ "idris_eqPtr" [(FPtr, lhs),(FPtr, rhs)]) =
1964translateExpression (SForeign _ _ "idris_eqPtr" [(FPtr, lhs),(FPtr, rhs)]) =
1965 JSBinOp "==" (JSVar lhs) (JSVar rhs)
1965 JSBinOp "==" (JSVar lhs) (JSVar rhs)
1966
1966
1967+translateExpression (SForeign _ _ "idris_time" []) =
1968+ JSRaw "(new Date()).getTime()"
1969+
1967translateExpression (SForeign _ _ fun args) =
1970translateExpression (SForeign _ _ fun args) =
1968 JSFFI fun (map generateWrapper args)
1971 JSFFI fun (map generateWrapper args)
1969 where
1972 where