@@ -57,7 +57,7 @@ VAL idris_b64(VM *vm, VAL a) {
5757}
5858
5959VAL idris_castB32Int(VM *vm, VAL a) {
60− return MKINT(a->info.bits32);
60+ return MKINT((i_int)a->info.bits32);
6161}
6262
6363VAL idris_b8Plus(VM *vm, VAL a, VAL b) {
@@ -110,23 +110,23 @@ VAL idris_b8SRem(VM *vm, VAL a, VAL b) {
110110}
111111
112112VAL idris_b8Lt(VM *vm, VAL a, VAL b) {
113− return MKINT(a->info.bits8 < b->info.bits8);
113+ return MKINT((i_int) (a->info.bits8 < b->info.bits8));
114114}
115115
116116VAL idris_b8Gt(VM *vm, VAL a, VAL b) {
117− return MKINT(a->info.bits8 > b->info.bits8);
117+ return MKINT((i_int) (a->info.bits8 > b->info.bits8));
118118}
119119
120120VAL idris_b8Eq(VM *vm, VAL a, VAL b) {
121− return MKINT(a->info.bits8 == b->info.bits8);
121+ return MKINT((i_int) (a->info.bits8 == b->info.bits8));
122122}
123123
124124VAL idris_b8Lte(VM *vm, VAL a, VAL b) {
125− return MKINT(a->info.bits8 <= b->info.bits8);
125+ return MKINT((i_int) (a->info.bits8 <= b->info.bits8));
126126}
127127
128128VAL idris_b8Gte(VM *vm, VAL a, VAL b) {
129− return MKINT(a->info.bits8 >= b->info.bits8);
129+ return MKINT((i_int) (a->info.bits8 >= b->info.bits8));
130130}
131131
132132VAL idris_b8Compl(VM *vm, VAL a) {
@@ -230,23 +230,23 @@ VAL idris_b16SRem(VM *vm, VAL a, VAL b) {
230230}
231231
232232VAL idris_b16Lt(VM *vm, VAL a, VAL b) {
233− return MKINT(a->info.bits16 < b->info.bits16);
233+ return MKINT((i_int) (a->info.bits16 < b->info.bits16));
234234}
235235
236236VAL idris_b16Gt(VM *vm, VAL a, VAL b) {
237− return MKINT(a->info.bits16 > b->info.bits16);
237+ return MKINT((i_int) (a->info.bits16 > b->info.bits16));
238238}
239239
240240VAL idris_b16Eq(VM *vm, VAL a, VAL b) {
241− return MKINT(a->info.bits16 == b->info.bits16);
241+ return MKINT((i_int) (a->info.bits16 == b->info.bits16));
242242}
243243
244244VAL idris_b16Lte(VM *vm, VAL a, VAL b) {
245− return MKINT(a->info.bits16 <= b->info.bits16);
245+ return MKINT((i_int) (a->info.bits16 <= b->info.bits16));
246246}
247247
248248VAL idris_b16Gte(VM *vm, VAL a, VAL b) {
249− return MKINT(a->info.bits16 >= b->info.bits16);
249+ return MKINT((i_int) (a->info.bits16 >= b->info.bits16));
250250}
251251
252252VAL idris_b16Compl(VM *vm, VAL a) {
@@ -350,23 +350,23 @@ VAL idris_b32SRem(VM *vm, VAL a, VAL b) {
350350}
351351
352352VAL idris_b32Lt(VM *vm, VAL a, VAL b) {
353− return MKINT(a->info.bits32 < b->info.bits32);
353+ return MKINT((i_int) (a->info.bits32 < b->info.bits32));
354354}
355355
356356VAL idris_b32Gt(VM *vm, VAL a, VAL b) {
357− return MKINT(a->info.bits32 > b->info.bits32);
357+ return MKINT((i_int) (a->info.bits32 > b->info.bits32));
358358}
359359
360360VAL idris_b32Eq(VM *vm, VAL a, VAL b) {
361− return MKINT(a->info.bits32 == b->info.bits32);
361+ return MKINT((i_int) (a->info.bits32 == b->info.bits32));
362362}
363363
364364VAL idris_b32Lte(VM *vm, VAL a, VAL b) {
365− return MKINT(a->info.bits32 <= b->info.bits32);
365+ return MKINT((i_int) (a->info.bits32 <= b->info.bits32));
366366}
367367
368368VAL idris_b32Gte(VM *vm, VAL a, VAL b) {
369− return MKINT(a->info.bits32 >= b->info.bits32);
369+ return MKINT((i_int) (a->info.bits32 >= b->info.bits32));
370370}
371371
372372VAL idris_b32Compl(VM *vm, VAL a) {
@@ -470,23 +470,23 @@ VAL idris_b64SRem(VM *vm, VAL a, VAL b) {
470470}
471471
472472VAL idris_b64Lt(VM *vm, VAL a, VAL b) {
473− return MKINT(a->info.bits64 < b->info.bits64);
473+ return MKINT((i_int) (a->info.bits64 < b->info.bits64));
474474}
475475
476476VAL idris_b64Gt(VM *vm, VAL a, VAL b) {
477− return MKINT(a->info.bits64 > b->info.bits64);
477+ return MKINT((i_int) (a->info.bits64 > b->info.bits64));
478478}
479479
480480VAL idris_b64Eq(VM *vm, VAL a, VAL b) {
481− return MKINT(a->info.bits64 == b->info.bits64);
481+ return MKINT((i_int) (a->info.bits64 == b->info.bits64));
482482}
483483
484484VAL idris_b64Lte(VM *vm, VAL a, VAL b) {
485− return MKINT(a->info.bits64 <= b->info.bits64);
485+ return MKINT((i_int) (a->info.bits64 <= b->info.bits64));
486486}
487487
488488VAL idris_b64Gte(VM *vm, VAL a, VAL b) {
489− return MKINT(a->info.bits64 >= b->info.bits64);
489+ return MKINT((i_int) (a->info.bits64 >= b->info.bits64));
490490}
491491
492492VAL idris_b64Compl(VM *vm, VAL a) {