git.iko.soy/Idris-dev
on master help sign in
Try to fix Windows build
d6b2be4Jorge Acereda
rts/idris_rts.c+1−1
compare with master
unifiedsplit
@@ -436,7 +436,7 @@ void dumpVal(VAL v) {
436 }
436 }
437 switch(GETTY(v)) {
437 switch(GETTY(v)) {
438 case CT_CON:
438 case CT_CON:
439− printf("%lu[", TAG(v));
439+ printf("%d[", (int)TAG(v));
440 for(i = 0; i < ARITY(v); ++i) {
440 for(i = 0; i < ARITY(v); ++i) {
441 dumpVal(v->info.cargs[i]);
441 dumpVal(v->info.cargs[i]);
442 }
442 }
rts/idris_rts.h+2−2
@@ -33,8 +33,8 @@ typedef enum {
33typedef struct Closure *VAL;
33typedef struct Closure *VAL;
34
34
35typedef struct Closure {
35typedef struct Closure {
36− ClosureType ty:8;
36+ uint64_t ty:8;
37− size_t sz:56;
37+ uint64_t sz:56;
38 union {
38 union {
39// A constructor, consisting of a tag (encoded in the sz field),
39// A constructor, consisting of a tag (encoded in the sz field),
40// an arity (encoded in 8 bits in the sz field), and arguments
40// an arity (encoded in 8 bits in the sz field), and arguments