git.iko.soy/Idris-dev
on master help sign in
added JS_Float to available js foreign args
b2c56c3Rui Barreiro
src/IRTS/JavaScript/Codegen.hs+1
compare with master
unifiedsplit
@@ -437,6 +437,7 @@ cgForeignArg (FApp (UN "JS_IntT") _, v) = pure v
437cgForeignArg (FCon (UN "JS_Str"), v) = pure v
437cgForeignArg (FCon (UN "JS_Str"), v) = pure v
438cgForeignArg (FCon (UN "JS_Ptr"), v) = pure v
438cgForeignArg (FCon (UN "JS_Ptr"), v) = pure v
439cgForeignArg (FCon (UN "JS_Unit"), v) = pure v
439cgForeignArg (FCon (UN "JS_Unit"), v) = pure v
440+cgForeignArg (FCon (UN "JS_Float"), v) = pure v
440cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnBase") [_,b]]], f) =
441cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnBase") [_,b]]], f) =
441 pure f
442 pure f
442cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnIO") [_,_, b]]], f) =
443cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnIO") [_,_, b]]], f) =