@@ -54,7 +54,8 @@ void idris_setBufferDouble(void* buffer, int loc, double val) {
5454 // I am not proud of this
5555 if (loc >= 0 && loc + sizeof(double) <= b->size) {
5656 unsigned char* c = (unsigned char*)(& val);
57− for (int i = 0; i < sizeof(double); ++i) {
57+ int i;
58+ for (i = 0; i < sizeof(double); ++i) {
5859 b->data[loc+i] = c[i];
5960 }
6061 }
@@ -96,7 +97,8 @@ double idris_getBufferDouble(void* buffer, int loc) {
9697 // I am even less proud of this
9798 unsigned char *c = (unsigned char*)(& d);
9899 if (loc >= 0 && loc + sizeof(double) <= b->size) {
99− for (int i = 0; i < sizeof(double); ++i) {
100+ int i;
101+ for (i = 0; i < sizeof(double); ++i) {
100102 c[i] = b->data[loc+i];
101103 }
102104 return d;