Skip to content

Instantly share code, notes, and snippets.

@be5invis

be5invis/idris_main.c

Created February 3, 2017 04:18
Show Gist options
  • Save be5invis/42fb8b155a1a3121619559390a5bea27 to your computer and use it in GitHub Desktop.
Save be5invis/42fb8b155a1a3121619559390a5bea27 to your computer and use it in GitHub Desktop.
Download ZIP
main.c compiled from main.idr
Raw
idris_main.c
#include "math.h"
#include "idris_rts.h"
#include "idris_bitstring.h"
#include "idris_stdfgn.h"
void _idris_assert_95_unreachable(VM*, VAL*);
void _idris_call_95__95_IO(VM*, VAL*);
void _idris_io_95_bind(VM*, VAL*);
void _idris_io_95_pure(VM*, VAL*);
void _idris_Main_46_main(VM*, VAL*);
void _idris_mkForeignPrim(VM*, VAL*);
void _idris_prim_95__95_asPtr(VM*, VAL*);
void _idris_prim_95__95_eqManagedPtr(VM*, VAL*);
void _idris_prim_95__95_eqPtr(VM*, VAL*);
void _idris_prim_95__95_null(VM*, VAL*);
void _idris_prim_95__95_peek16(VM*, VAL*);
void _idris_prim_95__95_peek32(VM*, VAL*);
void _idris_prim_95__95_peek64(VM*, VAL*);
void _idris_prim_95__95_peek8(VM*, VAL*);
void _idris_prim_95__95_peekDouble(VM*, VAL*);
void _idris_prim_95__95_peekPtr(VM*, VAL*);
void _idris_prim_95__95_peekSingle(VM*, VAL*);
void _idris_prim_95__95_poke16(VM*, VAL*);
void _idris_prim_95__95_poke32(VM*, VAL*);
void _idris_prim_95__95_poke64(VM*, VAL*);
void _idris_prim_95__95_poke8(VM*, VAL*);
void _idris_prim_95__95_pokeDouble(VM*, VAL*);
void _idris_prim_95__95_pokePtr(VM*, VAL*);
void _idris_prim_95__95_pokeSingle(VM*, VAL*);
void _idris_prim_95__95_ptrOffset(VM*, VAL*);
void _idris_prim_95__95_readFile(VM*, VAL*);
void _idris_prim_95__95_registerPtr(VM*, VAL*);
void _idris_prim_95__95_sizeofPtr(VM*, VAL*);
void _idris_prim_95__95_stderr(VM*, VAL*);
void _idris_prim_95__95_stdin(VM*, VAL*);
void _idris_prim_95__95_stdout(VM*, VAL*);
void _idris_prim_95__95_vm(VM*, VAL*);
void _idris_prim_95__95_writeFile(VM*, VAL*);
void _idris_prim_95__95_writeString(VM*, VAL*);
void _idris_prim_95_io_95_bind(VM*, VAL*);
void _idris_prim_95_write(VM*, VAL*);
void _idris_Prelude_46_Interactive_46_putStr_39_(VM*, VAL*);
void _idris_run_95__95_IO(VM*, VAL*);
void _idris_unsafePerformPrimIO(VM*, VAL*);
void _idris_world(VM*, VAL*);
void _idris__123_APPLY0_125_(VM*, VAL*);
void _idris__123_APPLY20_125_(VM*, VAL*);
void _idris__123_EVAL0_125_(VM*, VAL*);
void _idris__123_io_95_bind0_125_(VM*, VAL*);
void _idris_Prelude_46_Interactive_46__123_putStr_39_0_125_(VM*, VAL*);
void _idris__123_runMain0_125_(VM*, VAL*);
void _idris__123_io_95_bind1_125_(VM*, VAL*);
void _idris__123_io_95_bind2_125_(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Char_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Int_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Integer_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_ManagedPtr_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Ptr_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_String_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM*, VAL*);
void _idris_io_95_bind_95_IO_95__95_idr_95_107_95_34_95_case(VM*, VAL*);
void _idris_Void_95__95__95_casefun_95__95_Void_95__95__95_case(VM*, VAL*);
void _idris_Void_95_elim(VM*, VAL*);
void _idris_assert_95_unreachable(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_call_95__95_IO(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
LOC(3) = NULL;
RESERVE(2);
TOP(0) = LOC(2);
TOP(1) = LOC(3);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_io_95_bind(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(2);
ADDTOP(2);
RESERVE(6);
TOP(0) = LOC(0);
TOP(1) = LOC(1);
TOP(2) = LOC(2);
TOP(3) = LOC(3);
TOP(4) = LOC(4);
TOP(5) = LOC(5);
STOREOLD;
BASETOP(0);
ADDTOP(6);
CALL(_idris__123_io_95_bind2_125_);
LOC(6) = RVAL;
RESERVE(2);
TOP(0) = LOC(3);
TOP(1) = LOC(5);
STOREOLD;
BASETOP(0);
ADDTOP(2);
CALL(_idris__123_APPLY0_125_);
LOC(7) = RVAL;
RESERVE(2);
TOP(0) = LOC(6);
TOP(1) = LOC(7);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_io_95_pure(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = LOC(2);
TOPBASE(0);
REBASE;
}
void _idris_Main_46_main(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(2);
ADDTOP(2);
LOC(0) = NULL;
LOC(1) = MKSTR(vm, "Hello""\x0a""");
RESERVE(2);
TOP(0) = LOC(0);
TOP(1) = LOC(1);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris_Prelude_46_Interactive_46_putStr_39_);
}
void _idris_mkForeignPrim(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_asPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, GETMPTR(LOC(0)));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_eqManagedPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT((i_int)(GETMPTR(LOC(0)) == GETMPTR(LOC(1))));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_eqPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT((i_int)(GETPTR(LOC(0)) == GETPTR(LOC(1))));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_null(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, NULL);
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peek16(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekB16(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peek32(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekB32(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peek64(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekB64(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peek8(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekB8(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peekDouble(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekDouble(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peekPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekPtr(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_peekSingle(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_peekSingle(vm,LOC(1),LOC(2));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_poke16(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeB16(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_poke32(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeB32(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_poke64(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeB64(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_poke8(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeB8(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_pokeDouble(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeDouble(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_pokePtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokePtr(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_pokeSingle(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_pokeSingle(LOC(1),LOC(2),LOC(3));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_ptrOffset(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, GETPTR(LOC(0)) + GETINT(LOC(1)));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_readFile(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = idris_readStr(vm, GETPTR(LOC(1)));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_registerPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKMPTR(vm, GETPTR(LOC(0)), GETINT(LOC(1)));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_sizeofPtr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT(sizeof(void*));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_stderr(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, stderr);
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_stdin(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, stdin);
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_stdout(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, stdout);
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_vm(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKPTR(vm, vm);
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_writeFile(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT((i_int)(idris_writeStr(GETPTR(LOC(1)),GETSTR(LOC(2)))));
TOPBASE(0);
REBASE;
}
void _idris_prim_95__95_writeString(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT((i_int)(idris_writeStr(stdout,GETSTR(LOC(1)))));
TOPBASE(0);
REBASE;
}
void _idris_prim_95_io_95_bind(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RESERVE(2);
TOP(0) = LOC(3);
TOP(1) = LOC(2);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_prim_95_write(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = MKINT((i_int)(idris_writeStr(stdout,GETSTR(LOC(1)))));
TOPBASE(0);
REBASE;
}
void _idris_Prelude_46_Interactive_46_putStr_39_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(5);
ADDTOP(5);
LOC(2) = NULL;
LOC(3) = NULL;
LOC(4) = NULL;
LOC(5) = NULL;
allocCon(REG1, vm, 65649, 2, 0);
SETARG(REG1, 0, LOC(5)); SETARG(REG1, 1, LOC(1));
LOC(5) = REG1;
allocCon(REG1, vm, 65646, 0, 0);
LOC(6) = REG1;
allocCon(REG1, vm, 65647, 5, 0);
SETARG(REG1, 0, LOC(2)); SETARG(REG1, 1, LOC(3)); SETARG(REG1, 2, LOC(4)); SETARG(REG1, 3, LOC(5)); SETARG(REG1, 4, LOC(6));
RVAL = REG1;
TOPBASE(0);
REBASE;
}
void _idris_run_95__95_IO(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
LOC(2) = NULL;
RESERVE(2);
TOP(0) = LOC(1);
TOP(1) = LOC(2);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_unsafePerformPrimIO(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_world(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = LOC(0);
TOPBASE(0);
REBASE;
}
void _idris__123_APPLY0_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(6);
ADDTOP(6);
switch(TAG(LOC(0))) {
case 65646:
PROJECT(vm, LOC(0), 2, 0);
RESERVE(1);
TOP(0) = LOC(1);
SLIDE(vm, 1);
TOPBASE(1);
TAILCALL(_idris_Prelude_46_Interactive_46__123_putStr_39_0_125_);
break;
case 65647:
PROJECT(vm, LOC(0), 2, 5);
RESERVE(6);
TOP(0) = LOC(2);
TOP(1) = LOC(3);
TOP(2) = LOC(4);
TOP(3) = LOC(5);
TOP(4) = LOC(6);
TOP(5) = LOC(1);
SLIDE(vm, 6);
TOPBASE(6);
TAILCALL(_idris_io_95_bind);
break;
case 65648:
PROJECT(vm, LOC(0), 2, 3);
RESERVE(4);
TOP(0) = LOC(2);
TOP(1) = LOC(3);
TOP(2) = LOC(4);
TOP(3) = LOC(1);
SLIDE(vm, 4);
TOPBASE(4);
TAILCALL(_idris_io_95_pure);
break;
case 65649:
PROJECT(vm, LOC(0), 2, 2);
RESERVE(3);
TOP(0) = LOC(2);
TOP(1) = LOC(3);
TOP(2) = LOC(1);
SLIDE(vm, 3);
TOPBASE(3);
TAILCALL(_idris_prim_95_write);
break;
case 65650:
PROJECT(vm, LOC(0), 2, 6);
RESERVE(7);
TOP(0) = LOC(2);
TOP(1) = LOC(3);
TOP(2) = LOC(4);
TOP(3) = LOC(5);
TOP(4) = LOC(6);
TOP(5) = LOC(7);
TOP(6) = LOC(1);
SLIDE(vm, 7);
TOPBASE(7);
TAILCALL(_idris__123_io_95_bind1_125_);
break;
default:
RVAL = NULL;
TOPBASE(0);
REBASE;
break;
}
}
void _idris__123_APPLY20_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris__123_EVAL0_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
switch(TAG(LOC(0))) {
default:
RVAL = LOC(0);
TOPBASE(0);
REBASE;
break;
}
}
void _idris__123_io_95_bind0_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RESERVE(2);
TOP(0) = LOC(4);
TOP(1) = LOC(6);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_Prelude_46_Interactive_46__123_putStr_39_0_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(3);
ADDTOP(3);
LOC(1) = NULL;
LOC(2) = NULL;
LOC(3) = NULL_CON(0);
allocCon(REG1, vm, 65648, 3, 0);
SETARG(REG1, 0, LOC(1)); SETARG(REG1, 1, LOC(2)); SETARG(REG1, 2, LOC(3));
RVAL = REG1;
TOPBASE(0);
REBASE;
}
void _idris__123_runMain0_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(2);
ADDTOP(2);
STOREOLD;
BASETOP(0);
CALL(_idris_Main_46_main);
LOC(0) = RVAL;
LOC(1) = NULL;
RESERVE(2);
TOP(0) = LOC(0);
TOP(1) = LOC(1);
STOREOLD;
BASETOP(0);
ADDTOP(2);
CALL(_idris__123_APPLY0_125_);
LOC(0) = RVAL;
RESERVE(1);
TOP(0) = LOC(0);
SLIDE(vm, 1);
TOPBASE(1);
TAILCALL(_idris__123_EVAL0_125_);
}
void _idris__123_io_95_bind1_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RESERVE(7);
TOP(0) = LOC(0);
TOP(1) = LOC(1);
TOP(2) = LOC(2);
TOP(3) = LOC(3);
TOP(4) = LOC(4);
TOP(5) = LOC(5);
TOP(6) = LOC(6);
STOREOLD;
BASETOP(0);
ADDTOP(7);
CALL(_idris__123_io_95_bind0_125_);
LOC(7) = RVAL;
RESERVE(2);
TOP(0) = LOC(7);
TOP(1) = LOC(5);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris__123_io_95_bind2_125_(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
allocCon(REG1, vm, 65650, 6, 0);
SETARG(REG1, 0, LOC(0)); SETARG(REG1, 1, LOC(1)); SETARG(REG1, 2, LOC(2)); SETARG(REG1, 3, LOC(3)); SETARG(REG1, 4, LOC(4)); SETARG(REG1, 5, LOC(5));
RVAL = REG1;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Char_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Int_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Integer_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_ManagedPtr_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_Ptr_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Decidable_46_Equality_46_Decidable_46_Equality_46__64_Decidable_46_Equality_46_DecEq_36_String_58__33_decEq_58_0_58_primitiveNotEq_58_0(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_io_95_bind_95_IO_95__95_idr_95_107_95_34_95_case(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RESERVE(2);
TOP(0) = LOC(7);
TOP(1) = LOC(5);
SLIDE(vm, 2);
TOPBASE(2);
TAILCALL(_idris__123_APPLY0_125_);
}
void _idris_Void_95__95__95_casefun_95__95_Void_95__95__95_case(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
void _idris_Void_95_elim(VM* vm, VAL* oldbase) {
INITFRAME;
RESERVE(1);
ADDTOP(1);
RVAL = NULL;
TOPBASE(0);
REBASE;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment