Examples fail with missing continuation

[gergoerdi]

Examples fail with missing continuation

[gergoerdi]

I added some trace messages, and the failure seems to come from the call to Js.ASync.getFromQueue in the ASync implementation of Dom for getInput:

export
getFromQueue : JSIOFifoQueue a -> ASync a
getFromQueue (MkJSIOFifoQueue q) =
  MkASync $ \proc =>
    believe_me <$>
      jscall
        "$JSLIB$async.getFromQueue(%0, %1)"
        (Ptr -> JsFn (Ptr -> JS_IO ()) -> JS_IO Ptr)
        q
        (MkJsFn (\x => proc $ believe_me x) )

[gergoerdi]

The above is compiled into the following:

var _idris_Js_46_ASync_46__123_getFromQueue_95_1_125_ = function(oldbase){
  var myoldbase = new i$POINTER();
  i$valstack_top += 1;
  i$valstack[i$valstack_base + 3] = new i$CON(65764,[i$valstack[i$valstack_base + 1]],_idris__123_APPLY_95_0_125_$65764,null);
  i$ret = $JSLIB$async.getFromQueue(i$valstack[i$valstack_base], i$ffiWrap(i$valstack[i$valstack_base + 3],oldbase,myoldbase));
  i$valstack_top = i$valstack_base;
  i$valstack_base = oldbase.addr;
}

It is this i$ffiWrap callback which tries to call the missing function:

var i$ffiWrap = function(fid,oldbase,myoldbase) {
  return function() {
    var oldstack = i$callstack;
    i$callstack = [];

    var res = fid;

    for(var i = 0; i < (arguments.length ? arguments.length : 1); ++i) {
      while (res instanceof i$CON) {
        i$valstack_top += 1;
        i$valstack[i$valstack_top] = res;
        i$valstack[i$valstack_top + 1] = arguments[i];
        i$SLIDE(2);
        i$valstack_top = i$valstack_base + 2;
        i$CALL(_idris__123_APPLY0_125_,[oldbase])
        while (i$callstack.length) {
          var func = i$callstack.pop();
          var args = i$callstack.pop();
          func.apply(this,args);
        }
        res = i$ret;
      }
    }

    i$callstack = oldstack;

    return i$ret;
  }
}

[gergoerdi]

NVM recompiling with Idris 1.1.1, it works as expected.