git.iko.soy/Idris-dev
on master help sign in
added prim op LFloatInt ITBig
1fa3bbfRui Barreiro
src/IRTS/JavaScript/PrimOp.hs+1
compare with master
unifiedsplit
@@ -200,6 +200,7 @@ primDB =
200 , item (LIntFloat ITNative) False PTAny $ head
200 , item (LIntFloat ITNative) False PTAny $ head
201 , item (LIntFloat ITBig) True PTAny $ JsForeign "%0.intValue()"
201 , item (LIntFloat ITBig) True PTAny $ JsForeign "%0.intValue()"
202 , item (LFloatInt ITNative) False PTAny $ JsForeign "%0|0"
202 , item (LFloatInt ITNative) False PTAny $ JsForeign "%0|0"
203+ , item (LFloatInt ITBig) True PTAny $ JsForeign "new $JSRTS.jsbn.BigInteger(Math.trunc(%0)+ '')"
203 , item (LIntStr ITNative) False PTAny $ JsForeign "''+%0"
204 , item (LIntStr ITNative) False PTAny $ JsForeign "''+%0"
204 , item (LIntStr ITBig) True PTAny $ JsForeign "%0.toString()"
205 , item (LIntStr ITBig) True PTAny $ JsForeign "%0.toString()"
205 , item (LStrInt ITNative) False PTAny $ JsForeign "parseInt(%0)|0"
206 , item (LStrInt ITNative) False PTAny $ JsForeign "parseInt(%0)|0"