git.iko.soy/Idris-dev
on master help sign in
Try to fix Windows build
commitd6b2be4b427dd534cb9fdacdbb8fb4a01b0f9767 authorJorge Acereda <jacereda@gmail.com> dateMon 19 Mar 2018, 01:19 (9 years ago) parentd16e78f
2 files changed+3−3
compare with master
unifiedsplit
rts/idris_rts.c+1−1 rts/idris_rts.h+2−2
rts/idris_rts.c+1−1
@@ -436,7 +436,7 @@ void dumpVal(VAL v) {
436436 }
437437 switch(GETTY(v)) {
438438 case CT_CON:
439− printf("%lu[", TAG(v));
439+ printf("%d[", (int)TAG(v));
440440 for(i = 0; i < ARITY(v); ++i) {
441441 dumpVal(v->info.cargs[i]);
442442 }
rts/idris_rts.h+2−2
@@ -33,8 +33,8 @@ typedef enum {
3333typedef struct Closure *VAL;
3434
3535typedef struct Closure {
36− ClosureType ty:8;
37− size_t sz:56;
36+ uint64_t ty:8;
37+ uint64_t sz:56;
3838 union {
3939// A constructor, consisting of a tag (encoded in the sz field),
4040// an arity (encoded in 8 bits in the sz field), and arguments