663fb20 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #4305 from idris-lang/make-idris-buffers-kandr

663fb20Ahmad Salim Al-Sibahi9 years ago

rts/idris_buffer.c+4−2

@@ -54,7 +54,8 @@ void idris_setBufferDouble(void* buffer, int loc, double val) {

54 // I am not proud of this

55 if (loc >= 0 && loc + sizeof(double) <= b->size) {

56 unsigned char* c = (unsigned char*)(& val);

57+ int i;

57− for (int i = 0; i < sizeof(double); ++i) {

58+ for (i = 0; i < sizeof(double); ++i) {

58 b->data[loc+i] = c[i];

59 b->data[loc+i] = c[i];

59 }

60 }

61 }

@@ -96,7 +97,8 @@ double idris_getBufferDouble(void* buffer, int loc) {

96 // I am even less proud of this

97 // I am even less proud of this

97 unsigned char *c = (unsigned char*)(& d);

98 unsigned char *c = (unsigned char*)(& d);

98 if (loc >= 0 && loc + sizeof(double) <= b->size) {

99 if (loc >= 0 && loc + sizeof(double) <= b->size) {

100+ int i;

99− for (int i = 0; i < sizeof(double); ++i) {

101+ for (i = 0; i < sizeof(double); ++i) {

100 c[i] = b->data[loc+i];

102 c[i] = b->data[loc+i];

101 }

103 }

102 return d;

104 return d;