8742224 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

javascript: handle tailcalls for FFI

8742224raichoo13 years ago

js/Runtime-common.js+3−1

@@ -18,7 +18,9 @@ __IDRRT__.Forgot = new __IDRRT__.Type('Forgot');

18__IDRRT__.Tailcall = function(f) { this.f = f };

19__IDRRT__.ffiWrap = function(fid) {

20 return function(arg) {

21+ return __IDRRT__.tailcall(function(){

21− return __IDR__.APPLY0(fid, arg);

22+ return __IDR__.APPLY0(fid, arg);

23+ });

22 };

24 };

23};

25};