50eacbd · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

should have been in the last commit.

50eacbdstepcut13 years ago

rts/idris_rts.h+2−2

compare with master

@@ -174,7 +174,7 @@ typedef intptr_t i_int;

174VAL MKFLOAT(VM* vm, double val);

174VAL MKFLOAT(VM* vm, double val);

175VAL MKSTR(VM* vm, const char* str);

175VAL MKSTR(VM* vm, const char* str);

176VAL MKPTR(VM* vm, void* ptr);

176VAL MKPTR(VM* vm, void* ptr);

177−VAL MKMPTR(VM* vm, void* ptr, int size);

177+VAL MKMPTR(VM* vm, void* ptr, size_t size);

178VAL MKB8(VM* vm, uint8_t b);

178VAL MKB8(VM* vm, uint8_t b);

179VAL MKB16(VM* vm, uint16_t b);

179VAL MKB16(VM* vm, uint16_t b);

180VAL MKB32(VM* vm, uint32_t b);

180VAL MKB32(VM* vm, uint32_t b);

@@ -185,7 +185,7 @@ VAL MKFLOATc(VM* vm, double val);

185VAL MKSTROFFc(VM* vm, StrOffset* off);

185VAL MKSTROFFc(VM* vm, StrOffset* off);

186VAL MKSTRc(VM* vm, char* str);

186VAL MKSTRc(VM* vm, char* str);

187VAL MKPTRc(VM* vm, void* ptr);

187VAL MKPTRc(VM* vm, void* ptr);

188−VAL MKMPTRc(VM* vm, void* ptr, int size);

188+VAL MKMPTRc(VM* vm, void* ptr, size_t size);

189VAL MKBUFFERc(VM* vm, Buffer* buf);

189VAL MKBUFFERc(VM* vm, Buffer* buf);

190

190

191char* GETSTROFF(VAL stroff);

191char* GETSTROFF(VAL stroff);