@@ -225,7 +225,7 @@ void* iallocate(VM * vm, size_t isize, int outerlock) {
225225 vm->heap.next += size;
226226 assert(vm->heap.next <= vm->heap.end);
227227 memset(ptr, 0, size);
228− ((Hdr*)ptr)->sz = isize;
228+ ((Hdr*)ptr)->sz = isize;
229229
230230#ifdef HAS_PTHREAD
231231 if (lock) { // not message passing
@@ -419,29 +419,37 @@ void dumpVal(VAL v) {
419419 return;
420420 }
421421 switch(GETTY(v)) {
422− case CT_CON: {
423− Con * cl = (Con*)v;
424− printf("%d[", (int)TAG(cl));
425− for(i = 0; i < CARITY(cl); ++i) {
426− dumpVal(cl->args[i]);
427− }
428− printf("] ");
429− } break;
430− case CT_STRING: {
431− String * cl = (String*)v;
432− printf("STR[%s]", cl->str);
433− } break;
434− case CT_STROFFSET: {
435− StrOffset * cl = (StrOffset*)v;
436− printf("OFFSET[");
437− dumpVal((VAL)cl->base);
438− printf("]");
439− } break;
440− case CT_FWD: {
441− Fwd * cl = (Fwd*)v;
442− printf("CT_FWD ");
443− dumpVal((VAL)cl->fwd);
444− } break;
422+ case CT_CON:
423+ {
424+ Con * cl = (Con*)v;
425+ printf("%d[", (int)TAG(cl));
426+ for(i = 0; i < CARITY(cl); ++i) {
427+ dumpVal(cl->args[i]);
428+ }
429+ printf("] ");
430+ }
431+ break;
432+ case CT_STRING:
433+ {
434+ String * cl = (String*)v;
435+ printf("STR[%s]", cl->str);
436+ }
437+ break;
438+ case CT_STROFFSET:
439+ {
440+ StrOffset * cl = (StrOffset*)v;
441+ printf("OFFSET[");
442+ dumpVal((VAL)cl->base);
443+ printf("]");
444+ }
445+ break;
446+ case CT_FWD:
447+ {
448+ Fwd * cl = (Fwd*)v;
449+ printf("CT_FWD ");
450+ dumpVal((VAL)cl->fwd);
451+ }
452+ break;
445453 default:
446454 printf("val");
447455 }
@@ -641,7 +649,7 @@ VAL idris_strShift(VM* vm, VAL str, int num) {
641649
642650 while(root!=NULL && !ISSTR(root)) { // find the root, carry on.
643651 // In theory, at most one step here!
644− offset += root->offset;
652+ offset += root->offset;
645653 root = (StrOffset*)root->base;
646654 }
647655
@@ -670,7 +678,7 @@ VAL idris_strCons(VM* vm, VAL x, VAL xs) {
670678 memcpy(cl->str+1, xstr, xlen);
671679 } else {
672680 char *init = idris_utf8_fromChar(xval);
673− size_t ilen = strlen(init);
681+ size_t ilen = strlen(init);
674682 int newlen = ilen + xlen;
675683 cl = allocStr(vm, newlen, 0);
676684 memcpy(cl->str, init, ilen);
@@ -741,7 +749,7 @@ VAL idris_newArray(VM* vm, int size, VAL def) {
741749 int i;
742750 cl = allocArrayF(vm, size, 0);
743751 for(i=0; i<size; ++i) {
744− cl->array[i] = def;
752+ cl->array[i] = def;
745753 }
746754 return (VAL)cl;
747755}
@@ -854,25 +862,25 @@ static VAL doCopyTo(VM* vm, VAL x) {
854862 switch(GETTY(x)) {
855863 case CT_CDATA:
856864 cl = MKCDATAc(vm, GETCDATA(x));
857− break;
865+ break;
858866 case CT_BIGINT:
859867 cl = MKBIGMc(vm, GETMPZ(x));
860− break;
868+ break;
861869 case CT_CON:
862870 ar = CARITY(x);
863871 if (ar == 0 && CTAG(x) < 256) { // globally allocated
864872 cl = x;
865873 } else {
866− Con * c = allocConF(vm, CTAG(x), ar, 1);
867− copyArray(vm, c->args, ((Con*)x)->args, ar);
868− cl = (VAL)c;
874+ Con * c = allocConF(vm, CTAG(x), ar, 1);
875+ copyArray(vm, c->args, ((Con*)x)->args, ar);
876+ cl = (VAL)c;
869877 }
870878 break;
871879 case CT_ARRAY: {
872880 size_t len = CELEM(x);
873881 Array * a = allocArrayF(vm, len, 1);
874− copyArray(vm, a->array, ((Array*)x)->array, len);
875− cl = (VAL)a;
882+ copyArray(vm, a->array, ((Array*)x)->array, len);
883+ cl = (VAL)a;
876884 } break;
877885 case CT_STRING:
878886 case CT_FLOAT:
@@ -1115,7 +1123,7 @@ void init_nullaries(void) {
11151123 int i;
11161124 for(i = 0; i < 256; ++i) {
11171125 Con * cl = nullary_cons + i;
1118− cl->hdr.sz = sizeof(*cl);
1126+ cl->hdr.sz = sizeof(*cl);
11191127 SETTY(cl, CT_CON);
11201128 cl->tag = i;
11211129 }