@@ -41,14 +41,6 @@ typedef struct {
41 size_t offset;
41 size_t offset;
42} StrOffset;
42} StrOffset;
45− // If we ever have multithreaded access to the same heap,
46− // fill is mutable so needs synchronization!
49− unsigned char store[];
52// A foreign pointer, managed by the idris GC
44// A foreign pointer, managed by the idris GC
53typedef struct {
45typedef struct {
54 size_t size;
46 size_t size;
@@ -73,8 +65,6 @@ typedef struct Closure {
73 uint16_t bits16;
65 uint16_t bits16;
74 uint32_t bits32;
66 uint32_t bits32;
75 uint64_t bits64;
67 uint64_t bits64;
78 ManagedPtr* mptr;
68 ManagedPtr* mptr;
79 size_t size;
69 size_t size;