git.iko.soy/Idris-dev
on master help sign in
javascript: adjust jsFOREIGN
90a0928raichoo
jsrts/Runtime-common.js−4
compare with master
unifiedsplit
@@ -62,7 +62,3 @@ var __IDRRT__fromCharCode = function(chr) {
62 else
62 else
63 return String.fromCharCode(chr);
63 return String.fromCharCode(chr);
64}
64}
65−
66−var isNull = function(v) {
67− return v == null;
68−}
src/IRTS/CodegenJavaScript.hs+24−6
@@ -577,12 +577,30 @@ jsTAILCALL _ n =
577 ) [JSIdent (translateName n), JSArray [jsOLDBASE]]
577 ) [JSIdent (translateName n), JSArray [jsOLDBASE]]
578
578
579jsFOREIGN :: CompileInfo -> Reg -> String -> [(FType, Reg)] -> JS
579jsFOREIGN :: CompileInfo -> Reg -> String -> [(FType, Reg)] -> JS
580−jsFOREIGN _ reg n args =
580+jsFOREIGN _ reg n args
581+ | n == "putStr"
582+ , [(FString, arg)] <- args =
581− JSAssign (
583+ JSAssign (
582− translateReg reg
584+ translateReg reg
583− ) (
585+ ) (
586+ JSApp (JSIdent n) [translateReg arg]
587+ )
588+
589+ | n == "isNull"
590+ , [(FPtr, arg)] <- args =
591+ JSAssign (
584− JSApp (JSIdent n) (map (translateReg . snd) args)
592+ translateReg reg
593+ ) (
594+ JSBinOp "==" (translateReg arg) JSNull
595+ )
596+
597+ | n == "idris_eqPtr"
598+ , [(_, lhs),(_, rhs)] <- args =
599+ JSAssign (
600+ translateReg reg
601+ ) (
602+ JSBinOp "==" (translateReg lhs) (translateReg rhs)
585− )
603+ )
586
604
587jsREBASE :: CompileInfo -> JS
605jsREBASE :: CompileInfo -> JS
588jsREBASE _ = JSAssign jsSTACKBASE jsOLDBASE
606jsREBASE _ = JSAssign jsSTACKBASE jsOLDBASE