b2c56c3 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

added JS_Float to available js foreign args

commitb2c56c36a2e68811169ec284564dda2bffc2ccb9 authorRui Barreiro <rui.barreiro@gmail.com> dateWed 10 May 2017, 18:58 (9 years ago) parent3e44eee

1 file changed+1

unifiedsplit

src/IRTS/JavaScript/Codegen.hs+1

@@ -437,6 +437,7 @@ cgForeignArg (FApp (UN "JS_IntT") _, v) = pure v

437437cgForeignArg (FCon (UN "JS_Str"), v) = pure v

438438cgForeignArg (FCon (UN "JS_Ptr"), v) = pure v

439439cgForeignArg (FCon (UN "JS_Unit"), v) = pure v

440+cgForeignArg (FCon (UN "JS_Float"), v) = pure v

440441cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnBase") [_,b]]], f) =

441442 pure f

442443cgForeignArg (FApp (UN "JS_FnT") [_,FApp (UN "JS_Fn") [_,_, a, FApp (UN "JS_FnIO") [_,_, b]]], f) =