820bd29 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Merge pull request #1 from melted/c-heap

820bd29Matúš Tejiščák11 years ago

rts/idris_rts.c+2−2

@@ -287,18 +287,18 @@ char* GETSTROFF(VAL stroff) {

287}

288

289VAL MKCDATA(VM* vm, CHeapItem * item) {

290+ c_heap_insert_if_needed(vm, &vm->c_heap, item);

290 Closure* cl = allocate(sizeof(Closure), 0);

291 Closure* cl = allocate(sizeof(Closure), 0);

291 SETTY(cl, CDATA);

292 SETTY(cl, CDATA);

292 cl->info.c_heap_item = item;

293 cl->info.c_heap_item = item;

293− c_heap_insert_if_needed(vm, &vm->c_heap, item);

294 return cl;

295}

296

297VAL MKCDATAc(VM* vm, CHeapItem * item) {

298+ c_heap_insert_if_needed(vm, &vm->c_heap, item);

298 Closure* cl = allocate(sizeof(Closure), 1);

299 Closure* cl = allocate(sizeof(Closure), 1);

299 SETTY(cl, CDATA);

300 SETTY(cl, CDATA);

300 cl->info.c_heap_item = item;

301 cl->info.c_heap_item = item;

301− c_heap_insert_if_needed(vm, &vm->c_heap, item);

302 return cl;

303}

304

test/primitives006/load-test.idr+2−2

@@ -39,8 +39,8 @@ alloc x i = do

40main : IO ()

41main = do

42− -- First allocate 4096 64M arrays to break the C heap if there's a bug

42+ -- First allocate 1024 64M arrays to break the C heap if there's a bug

43− alloc 0 4096 >>= printLn

43+ alloc 0 1024 >>= printLn

45 -- Then, test Bytes

46 traverse_ (unit n . prim__truncInt_B8) [1..n]