Skip to content

Instantly share code, notes, and snippets.

@trillioneyes

trillioneyes/NonBlocking.idr

Last active August 29, 2015 14:21
Show Gist options
  • Save trillioneyes/b1332edd227683437d19 to your computer and use it in GitHub Desktop.
Save trillioneyes/b1332edd227683437d19 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
main.html
<script src="main.js"></script>
Raw
main.js
/** @constructor */
var i$VM = function() {
this.valstack = [];
this.valstack_top = 0;
this.valstack_base = 0;
this.ret = null;
this.callstack = [];
}
var i$vm;
var i$valstack;
var i$valstack_top;
var i$valstack_base;
var i$ret;
var i$callstack;
var i$Int = {};
var i$String = {};
var i$Integer = {};
var i$Float = {};
var i$Char = {};
var i$Ptr = {};
var i$Forgot = {};
/** @constructor */
var i$CON = function(tag,args,app,ev) {
this.tag = tag;
this.args = args;
this.app = app;
this.ev = ev;
}
/** @constructor */
var i$POINTER = function(addr) {
this.addr = addr;
}
var i$SCHED = function(vm) {
i$vm = vm;
i$valstack = vm.valstack;
i$valstack_top = vm.valstack_top;
i$valstack_base = vm.valstack_base;
i$ret = vm.ret;
i$callstack = vm.callstack;
}
var i$SLIDE = function(args) {
for (var i = 0; i < args; ++i)
i$valstack[i$valstack_base + i] = i$valstack[i$valstack_top + i];
}
var i$PROJECT = function(val,loc,arity) {
for (var i = 0; i < arity; ++i)
i$valstack[i$valstack_base + i + loc] = val.args[i];
}
var i$CALL = function(fun,args) {
i$callstack.push(args);
i$callstack.push(fun);
}
var i$ffiWrap = function(fid,oldbase,myoldbase) {
return function() {
i$callstack = [];
var res = fid;
for(var i = 0; i < (arguments.length ? arguments.length : 1); ++i) {
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 = i$vm.callstack;
return i$ret;
}
}
var i$charCode = function(str) {
if (typeof str == "string")
return str.charCodeAt(0);
else
return str;
}
var i$fromCharCode = function(chr) {
if (typeof chr == "string")
return chr;
else
return String.fromCharCode(chr);
}
var i$putStr = function(s) {
console.log(s);
};
var i$systemInfo = function(index) {
switch(index) {
case 0:
return "javascript";
case 1:
return navigator.platform;
}
return "";
}
var _idris_Prelude_46_Applicative_46__42__62_$5 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 6] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 5];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_Prelude_46_Applicative_46__42__62_$4 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 7] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 7];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$5,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__42__62_$3 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 7] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 4];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$4,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__42__62_$2 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 7] = i$ret;
i$valstack[i$valstack_base + 8] = null;
i$valstack[i$valstack_base + 9] = null;
i$valstack[i$valstack_base + 10] = null;
i$valstack[i$valstack_base + 10] = new i$CON(65663,[i$valstack[i$valstack_base + 10]],_idris__123_APPLY0_125_$65663,null);
i$valstack[i$valstack_base + 8] = new i$CON(65662,[i$valstack[i$valstack_base + 8],i$valstack[i$valstack_base + 9],i$valstack[i$valstack_base + 10]],_idris__123_APPLY0_125_$65662,null);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 8];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$3,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__42__62_$1 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 8];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 9];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 10];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 4;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$2,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_Functor_46_map,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__42__62_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 6] = i$ret;
i$valstack[i$valstack_base + 7] = null;
i$valstack[i$valstack_base + 8] = null;
i$valstack[i$valstack_base + 9] = null;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$1,[oldbase,myoldbase]);
i$PROJECT(i$valstack[i$valstack_base + 3],10,2);
;
}
var _idris_Prelude_46_Applicative_46__42__62_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 5;
i$valstack[i$valstack_base + 6] = null;
i$valstack[i$valstack_base + 7] = null;
i$valstack[i$valstack_base + 8] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 8];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 3];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 4;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_$0,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_Applicative_46__60__42__62_,[myoldbase]);
}
var _idris_Prelude_46_Basics_46__46_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 6] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 6];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_Prelude_46_Basics_46__46_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 5];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Basics_46__46_$0,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__60__42__62_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 6] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 2];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_Prelude_46_Applicative_46__60__42__62_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$PROJECT(i$valstack[i$valstack_base + 3],4,2);
;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Applicative_46__60__42__62_$0,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Basics_46_const = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$valstack[i$valstack_base + 2];
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_control = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = requestAnimationFrame(function() {console.log('4')});
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_differentVersion = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$ffiWrap(i$valstack[i$valstack_base],oldbase,myoldbase);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46_Basics_46_id = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$valstack[i$valstack_base + 1];
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_io_95_bind$1 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 7] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 7];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_io_95_bind$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 6] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 5];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_io_95_bind$1,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_io_95_bind = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 2;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 5];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 6;
i$CALL(_idris_io_95_bind$0,[oldbase,myoldbase]);
i$CALL(_idris__123_io_95_bind2_125_,[myoldbase]);
}
var _idris_io_95_return = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$valstack[i$valstack_base + 2];
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46_main$5 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 5] = i$ret;
i$valstack[i$valstack_base + 5] = new i$CON(65657,[i$valstack[i$valstack_base + 5]],_idris__123_APPLY0_125_$65657,null);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 5];
i$SLIDE(6);
i$valstack_top = i$valstack_base + 6;
i$CALL(_idris_Prelude_46_Applicative_46__42__62_,[oldbase]);
}
var _idris_NonBlocking_46_Main_46_main$4 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 4] = i$ret;
i$valstack[i$valstack_base + 5] = null;
i$valstack[i$valstack_base + 6] = "5";
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 6];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_NonBlocking_46_Main_46_main$5,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_putStr,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46_main$3 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 8] = i$ret;
i$valstack[i$valstack_base + 9] = null;
i$valstack[i$valstack_base + 10] = null;
i$valstack[i$valstack_base + 11] = null;
i$valstack[i$valstack_base + 12] = null;
i$valstack[i$valstack_base + 12] = new i$CON(65665,[i$valstack[i$valstack_base + 12]],_idris__123_APPLY0_125_$65665,null);
i$valstack[i$valstack_base + 13] = i$CON$65648;
i$valstack[i$valstack_base + 9] = new i$CON(65661,[i$valstack[i$valstack_base + 9],i$valstack[i$valstack_base + 10],i$valstack[i$valstack_base + 11],i$valstack[i$valstack_base + 12],i$valstack[i$valstack_base + 13]],_idris__123_APPLY0_125_$65661,null);
i$valstack[i$valstack_base + 9] = new i$CON(65658,[i$valstack[i$valstack_base + 9]],_idris__123_APPLY0_125_$65658,null);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 8];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 9];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 6;
i$CALL(_idris_NonBlocking_46_Main_46_main$4,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_Applicative_46__42__62_,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46_main$2 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 13] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 8];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 9];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 10];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 11];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 12];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 13];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 6;
i$CALL(_idris_NonBlocking_46_Main_46_main$3,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_Applicative_46__42__62_,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46_main$1 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 12] = i$ret;
i$valstack[i$valstack_base + 13] = null;
i$valstack[i$valstack_base + 14] = "One more!";
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 13];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 14];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_NonBlocking_46_Main_46_main$2,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_putStr,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46_main$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 16] = i$ret;
i$valstack[i$valstack_base + 17] = i$CON$65656;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 12];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 13];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 14];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 15];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 16];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 17];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 6;
i$CALL(_idris_NonBlocking_46_Main_46_main$1,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_Applicative_46__42__62_,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46_main = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 18;
i$valstack[i$valstack_base] = null;
i$valstack[i$valstack_base + 1] = null;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = i$CON$65649;
i$valstack[i$valstack_base + 4] = i$CON$65653;
i$valstack[i$valstack_base + 3] = new i$CON(0,[i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4]],null,null);
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_base + 5] = null;
i$valstack[i$valstack_base + 6] = null;
i$valstack[i$valstack_base + 7] = i$CON$65625;
i$valstack[i$valstack_base + 8] = i$CON$65629;
i$valstack[i$valstack_base + 7] = new i$CON(0,[i$valstack[i$valstack_base + 7],i$valstack[i$valstack_base + 8]],null,null);
i$valstack[i$valstack_base + 8] = null;
i$valstack[i$valstack_base + 9] = null;
i$valstack[i$valstack_base + 10] = null;
i$valstack[i$valstack_base + 11] = i$CON$65633;
i$valstack[i$valstack_base + 12] = i$CON$65638;
i$valstack[i$valstack_base + 11] = new i$CON(0,[i$valstack[i$valstack_base + 11],i$valstack[i$valstack_base + 12]],null,null);
i$valstack[i$valstack_base + 12] = null;
i$valstack[i$valstack_base + 13] = null;
i$valstack[i$valstack_base + 14] = null;
i$valstack[i$valstack_base + 15] = i$CON$65642;
i$valstack[i$valstack_base + 16] = i$CON$65647;
i$valstack[i$valstack_base + 15] = new i$CON(0,[i$valstack[i$valstack_base + 15],i$valstack[i$valstack_base + 16]],null,null);
i$valstack[i$valstack_base + 16] = null;
i$valstack[i$valstack_base + 17] = "Just a moment...";
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 16];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 17];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_NonBlocking_46_Main_46_main$0,[oldbase,myoldbase]);
i$CALL(_idris_Prelude_46_putStr,[myoldbase]);
}
var _idris_Prelude_46_Functor_46_map$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 4] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 2];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_Prelude_46_Functor_46_map = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Functor_46_map$0,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_putStr = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 5;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_base + 5] = new i$CON(65666,[i$valstack[i$valstack_base + 1]],_idris__123_APPLY0_125_$65666,null);
i$valstack[i$valstack_base + 6] = i$CON$65667;
i$ret = new i$CON(65668,[i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4],i$valstack[i$valstack_base + 5],i$valstack[i$valstack_base + 6]],_idris__123_APPLY0_125_$65668,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_requestAnimationFrame = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = requestAnimationFrame(i$ffiWrap(i$valstack[i$valstack_base],oldbase,myoldbase));
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris__123_APPLY0_125_$65623 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main0_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65624 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main10_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65625 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main11_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65626 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main12_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65627 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main13_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65628 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main14_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65629 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main15_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65630 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main16_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65631 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main17_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65632 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main18_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65633 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main19_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65634 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main1_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65635 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main20_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65636 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main21_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65637 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main22_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65638 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main23_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65639 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main24_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65640 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main25_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65641 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main26_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65642 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main27_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65643 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main28_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65644 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main29_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65645 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main2_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65646 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main30_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65647 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main31_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65648 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main32_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65649 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main3_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65650 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main4_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65651 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main5_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65652 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main6_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65653 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main7_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65654 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_Main_46__123_main8_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65655 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_Main_46__123_main9_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65656 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_NonBlocking_46_control,[oldbase]);
}
var _idris__123_APPLY0_125_$65657 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_differentVersion,[oldbase]);
}
var _idris__123_APPLY0_125_$65658 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_NonBlocking_46_requestAnimationFrame,[oldbase]);
}
var _idris__123_APPLY0_125_$65659 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam0_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65660 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam1_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65661 = function(oldbase,myoldbase){
i$PROJECT(i$valstack[i$valstack_base],2,5);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 1];
i$SLIDE(6);
i$valstack_top = i$valstack_base + 6;
i$CALL(_idris_Prelude_46_Basics_46__46_,[oldbase]);
}
var _idris__123_APPLY0_125_$65662 = function(oldbase,myoldbase){
i$PROJECT(i$valstack[i$valstack_base],2,3);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 1];
i$SLIDE(4);
i$valstack_top = i$valstack_base + 4;
i$CALL(_idris_Prelude_46_Basics_46_const,[oldbase]);
}
var _idris__123_APPLY0_125_$65663 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46_Basics_46_id,[oldbase]);
}
var _idris__123_APPLY0_125_$65664 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46_Functor_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Functor_46_Functor_44__32_method_32_map_95_lam0_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65665 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46_putStr,[oldbase]);
}
var _idris__123_APPLY0_125_$65666 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 2] = i$valstack[i$valstack_base].args[0];
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris_Prelude_46__123_putStr0_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65667 = function(oldbase,myoldbase){
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris_Prelude_46__123_putStr1_125_,[oldbase]);
}
var _idris__123_APPLY0_125_$65668 = function(oldbase,myoldbase){
i$PROJECT(i$valstack[i$valstack_base],2,5);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 1];
i$SLIDE(6);
i$valstack_top = i$valstack_base + 6;
i$CALL(_idris_io_95_bind,[oldbase]);
}
var _idris__123_APPLY0_125_$65669 = function(oldbase,myoldbase){
i$PROJECT(i$valstack[i$valstack_base],2,3);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 1];
i$SLIDE(4);
i$valstack_top = i$valstack_base + 4;
i$CALL(_idris_io_95_return,[oldbase]);
}
var _idris__123_APPLY0_125_$65670 = function(oldbase,myoldbase){
i$PROJECT(i$valstack[i$valstack_base],2,6);
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 6];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 6] = i$valstack[i$valstack_base + 1];
i$SLIDE(7);
i$valstack_top = i$valstack_base + 7;
i$CALL(_idris__123_io_95_bind1_125_,[oldbase]);
}
var _idris__123_APPLY0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 6;
if (i$valstack[i$valstack_base] instanceof i$CON && i$valstack[i$valstack_base].app) {
i$valstack[i$valstack_base].app(oldbase,myoldbase);
} else {
i$ret = null;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
};
}
var _idris__123_EVAL0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
if (i$valstack[i$valstack_base] instanceof i$CON && i$valstack[i$valstack_base].ev) {
i$valstack[i$valstack_base].ev(oldbase,myoldbase);
} else {
i$ret = i$valstack[i$valstack_base];
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
};
}
var _idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam0_125_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 4] = i$ret;
i$ret = new i$CON(65669,[i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4]],_idris__123_APPLY0_125_$65669,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam0_125_$0,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris_Prelude_46_Functor_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Functor_46_Functor_44__32_method_32_map_95_lam0_125_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 4] = i$ret;
i$ret = new i$CON(65669,[i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4]],_idris__123_APPLY0_125_$65669,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46_Functor_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Functor_46_Functor_44__32_method_32_map_95_lam0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris_Prelude_46_Functor_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Functor_46_Functor_44__32_method_32_map_95_lam0_125_$0,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris__123_io_95_bind0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 6];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Functor_46_Prelude_46__64_Prelude_46_Functor_46_Functor_36_IO_39__32_ffi_58__33_map_58_0,[oldbase]);
}
var _idris_Prelude_46__123_putStr0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$ret = i$putStr(i$valstack[i$valstack_base]);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris__123_runMain0_125_$1 = function(oldbase,myoldbase){
i$valstack[i$valstack_base] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_base] = i$valstack[i$valstack_top];
i$valstack_top = i$valstack_base + 1;
i$CALL(_idris__123_EVAL0_125_,[oldbase]);
}
var _idris__123_runMain0_125_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base] = i$ret;
i$valstack[i$valstack_base + 1] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 2;
i$CALL(_idris__123_runMain0_125_$1,[oldbase,myoldbase]);
i$CALL(_idris__123_APPLY0_125_,[myoldbase]);
}
var _idris__123_runMain0_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 2;
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$CALL(_idris__123_runMain0_125_$0,[oldbase,myoldbase]);
i$CALL(_idris_NonBlocking_46_Main_46_main,[myoldbase]);
}
var _idris_Prelude_46_Applicative_46__123_Prelude_46_IO_39__32_ffi_32_instance_32_of_32_Prelude_46_Applicative_46_Applicative_44__32_method_32__60__42__62__95_lam1_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 4;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_base + 5] = new i$CON(65659,[i$valstack[i$valstack_base + 1]],_idris__123_APPLY0_125_$65659,null);
i$ret = new i$CON(65668,[i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4],i$valstack[i$valstack_base],i$valstack[i$valstack_base + 5]],_idris__123_APPLY0_125_$65668,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris__123_io_95_bind1_125_$0 = function(oldbase,myoldbase){
i$valstack[i$valstack_base + 7] = i$ret;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 7];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 5];
i$SLIDE(2);
i$valstack_top = i$valstack_base + 2;
i$CALL(_idris__123_APPLY0_125_,[oldbase]);
}
var _idris__123_io_95_bind1_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 1];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 5] = i$valstack[i$valstack_base + 5];
i$valstack[i$valstack_top + 6] = i$valstack[i$valstack_base + 6];
myoldbase.addr = i$valstack_base;
i$valstack_base = i$valstack_top;
i$valstack_top += 7;
i$CALL(_idris__123_io_95_bind1_125_$0,[oldbase,myoldbase]);
i$CALL(_idris__123_io_95_bind0_125_,[myoldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main1_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65623,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65623,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46__123_putStr1_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 1] = null;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = i$CON$0;
i$ret = new i$CON(65669,[i$valstack[i$valstack_base + 1],i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3]],_idris__123_APPLY0_125_$65669,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris__123_io_95_bind2_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65670,[i$valstack[i$valstack_base],i$valstack[i$valstack_base + 1],i$valstack[i$valstack_base + 2],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 4],i$valstack[i$valstack_base + 5]],_idris__123_APPLY0_125_$65670,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main2_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65634;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main3_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65645;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main4_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Applicative_46_Prelude_46__64_Prelude_46_Applicative_46_Applicative_36_IO_39__32_ffi_58__33__60__42__62__58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main5_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65650,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65650,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main6_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65651;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main7_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65652;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main8_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Functor_46_Prelude_46__64_Prelude_46_Functor_46_Functor_36_IO_39__32_ffi_58__33_map_58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main9_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65654,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65654,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main10_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65655;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main11_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65624;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main12_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Applicative_46_Prelude_46__64_Prelude_46_Applicative_46_Applicative_36_IO_39__32_ffi_58__33__60__42__62__58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main13_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65626,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65626,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main14_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65627;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main15_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65628;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main16_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Functor_46_Prelude_46__64_Prelude_46_Functor_46_Functor_36_IO_39__32_ffi_58__33_map_58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main17_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65630,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65630,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main18_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65631;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main19_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65632;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main20_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Applicative_46_Prelude_46__64_Prelude_46_Applicative_46_Applicative_36_IO_39__32_ffi_58__33__60__42__62__58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main21_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65635,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65635,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main22_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65636;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main23_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65637;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main24_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Functor_46_Prelude_46__64_Prelude_46_Functor_46_Functor_36_IO_39__32_ffi_58__33_map_58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main25_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65639,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65639,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main26_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65640;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main27_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65641;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main28_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 3;
i$valstack[i$valstack_base + 2] = null;
i$valstack[i$valstack_base + 3] = null;
i$valstack[i$valstack_base + 4] = null;
i$valstack[i$valstack_top] = i$valstack[i$valstack_base + 2];
i$valstack[i$valstack_top + 1] = i$valstack[i$valstack_base + 3];
i$valstack[i$valstack_top + 2] = i$valstack[i$valstack_base + 4];
i$valstack[i$valstack_top + 3] = i$valstack[i$valstack_base];
i$valstack[i$valstack_top + 4] = i$valstack[i$valstack_base + 1];
i$SLIDE(5);
i$valstack_top = i$valstack_base + 5;
i$CALL(_idris_Prelude_46_Applicative_46_Prelude_46__64_Prelude_46_Applicative_46_Applicative_36_IO_39__32_ffi_58__33__60__42__62__58_0,[oldbase]);
}
var _idris_NonBlocking_46_Main_46__123_main29_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = new i$CON(65643,[i$valstack[i$valstack_base]],_idris__123_APPLY0_125_$65643,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main30_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65644;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main31_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = i$CON$65646;
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_NonBlocking_46_Main_46__123_main32_125_ = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 1;
i$ret = String(i$valstack[i$valstack_base]);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46_Applicative_46_Prelude_46__64_Prelude_46_Applicative_46_Applicative_36_IO_39__32_ffi_58__33__60__42__62__58_0 = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 4;
i$valstack[i$valstack_base + 5] = null;
i$valstack[i$valstack_base + 6] = null;
i$valstack[i$valstack_base + 7] = null;
i$valstack[i$valstack_base + 8] = new i$CON(65660,[i$valstack[i$valstack_base + 4]],_idris__123_APPLY0_125_$65660,null);
i$ret = new i$CON(65668,[i$valstack[i$valstack_base + 5],i$valstack[i$valstack_base + 6],i$valstack[i$valstack_base + 7],i$valstack[i$valstack_base + 3],i$valstack[i$valstack_base + 8]],_idris__123_APPLY0_125_$65668,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var _idris_Prelude_46_Functor_46_Prelude_46__64_Prelude_46_Functor_46_Functor_36_IO_39__32_ffi_58__33_map_58_0 = function(oldbase){
var myoldbase = new i$POINTER();
i$valstack_top += 4;
i$valstack[i$valstack_base + 5] = null;
i$valstack[i$valstack_base + 6] = null;
i$valstack[i$valstack_base + 7] = null;
i$valstack[i$valstack_base + 8] = new i$CON(65664,[i$valstack[i$valstack_base + 3]],_idris__123_APPLY0_125_$65664,null);
i$ret = new i$CON(65668,[i$valstack[i$valstack_base + 5],i$valstack[i$valstack_base + 6],i$valstack[i$valstack_base + 7],i$valstack[i$valstack_base + 4],i$valstack[i$valstack_base + 8]],_idris__123_APPLY0_125_$65668,null);
i$valstack_top = i$valstack_base;
i$valstack_base = oldbase.addr;
}
var i$CON$0 = new i$CON(0,[],null,null);
var i$CON$65624 = new i$CON(65624,[],_idris__123_APPLY0_125_$65624,null);
var i$CON$65625 = new i$CON(65625,[],_idris__123_APPLY0_125_$65625,null);
var i$CON$65627 = new i$CON(65627,[],_idris__123_APPLY0_125_$65627,null);
var i$CON$65628 = new i$CON(65628,[],_idris__123_APPLY0_125_$65628,null);
var i$CON$65629 = new i$CON(65629,[],_idris__123_APPLY0_125_$65629,null);
var i$CON$65631 = new i$CON(65631,[],_idris__123_APPLY0_125_$65631,null);
var i$CON$65632 = new i$CON(65632,[],_idris__123_APPLY0_125_$65632,null);
var i$CON$65633 = new i$CON(65633,[],_idris__123_APPLY0_125_$65633,null);
var i$CON$65634 = new i$CON(65634,[],_idris__123_APPLY0_125_$65634,null);
var i$CON$65636 = new i$CON(65636,[],_idris__123_APPLY0_125_$65636,null);
var i$CON$65637 = new i$CON(65637,[],_idris__123_APPLY0_125_$65637,null);
var i$CON$65638 = new i$CON(65638,[],_idris__123_APPLY0_125_$65638,null);
var i$CON$65640 = new i$CON(65640,[],_idris__123_APPLY0_125_$65640,null);
var i$CON$65641 = new i$CON(65641,[],_idris__123_APPLY0_125_$65641,null);
var i$CON$65642 = new i$CON(65642,[],_idris__123_APPLY0_125_$65642,null);
var i$CON$65644 = new i$CON(65644,[],_idris__123_APPLY0_125_$65644,null);
var i$CON$65645 = new i$CON(65645,[],_idris__123_APPLY0_125_$65645,null);
var i$CON$65646 = new i$CON(65646,[],_idris__123_APPLY0_125_$65646,null);
var i$CON$65647 = new i$CON(65647,[],_idris__123_APPLY0_125_$65647,null);
var i$CON$65648 = new i$CON(65648,[],_idris__123_APPLY0_125_$65648,null);
var i$CON$65649 = new i$CON(65649,[],_idris__123_APPLY0_125_$65649,null);
var i$CON$65651 = new i$CON(65651,[],_idris__123_APPLY0_125_$65651,null);
var i$CON$65652 = new i$CON(65652,[],_idris__123_APPLY0_125_$65652,null);
var i$CON$65653 = new i$CON(65653,[],_idris__123_APPLY0_125_$65653,null);
var i$CON$65655 = new i$CON(65655,[],_idris__123_APPLY0_125_$65655,null);
var i$CON$65656 = new i$CON(65656,[],_idris__123_APPLY0_125_$65656,null);
var i$CON$65667 = new i$CON(65667,[],_idris__123_APPLY0_125_$65667,null);
var main = function(){
if (typeof document != "undefined" && (document.readyState == "complete" || document.readyState == "loaded")) {
var vm = new i$VM();
i$SCHED(vm);
_idris__123_runMain0_125_(new i$POINTER(0));
while (i$callstack.length) {
var func = i$callstack.pop();
var args = i$callstack.pop();
func.apply(this,args);
};
} else if (typeof window != "undefined") {
window.addEventListener("DOMContentLoaded",function(){
var vm = new i$VM();
i$SCHED(vm);
_idris__123_runMain0_125_(new i$POINTER(0));
while (i$callstack.length) {
var func = i$callstack.pop();
var args = i$callstack.pop();
func.apply(this,args);
};
}
,false);
} else if (true) {
var vm = new i$VM();
i$SCHED(vm);
_idris__123_runMain0_125_(new i$POINTER(0));
while (i$callstack.length) {
var func = i$callstack.pop();
var args = i$callstack.pop();
func.apply(this,args);
};
}
}
main()
Raw
NonBlocking.idr
module NonBlocking
-- this is what I'd ideally like to do, and it seems like it should
-- work -- but it doesn't
requestAnimationFrame : (Float -> JS_IO ()) -> JS_IO ()
requestAnimationFrame act = foreign FFI_JS
"requestAnimationFrame(%0)"
(JsFn (Float -> JS_IO ()) -> JS_IO ())
(MkJsFn act)
-- this should definitely work, because it's entirely in javascript, and
-- it does.
control : JS_IO ()
control = foreign FFI_JS
"requestAnimationFrame(function() {console.log('4')})"
(JS_IO ())
-- here's a stripped down version of what I'm attempting in the ideal case.
-- this doesn't work either, which makes me pretty sure that IO actions
-- passed through the FFI don't automatically run.
differentVersion : JS_IO () -> JS_IO ()
differentVersion act =
foreign FFI_JS
"%0"
(JsFn (JS_IO ()) -> JS_IO ())
(MkJsFn act)
namespace Main
main : JS_IO ()
main = putStr "Just a moment..."
*> control
*> putStr "One more!"
*> requestAnimationFrame (putStr . show)
*> differentVersion (putStr "5")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment