Remove some leftovers from the rts
This commit
* removes some leftovers of Buffers from the rts
* removes the pointer-to-128bit type from Closure
* updates a docstring
commit1a6f20ff338f19210a37877ff1da49b1c288bd5b
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
dateTue 5 May 2015, 00:14 (11 years ago)
parentab333a7
rts/idris_rts.h−10
@@ -41,14 +41,6 @@ typedef struct {
4141 size_t offset;
4242} StrOffset;
4343
44−typedef struct {
45− // If we ever have multithreaded access to the same heap,
46− // fill is mutable so needs synchronization!
47− size_t fill;
48− size_t cap;
49− unsigned char store[];
50−} Buffer;
51−
5244// A foreign pointer, managed by the idris GC
5345typedef struct {
5446 size_t size;
@@ -73,8 +65,6 @@ typedef struct Closure {
7365 uint16_t bits16;
7466 uint32_t bits32;
7567 uint64_t bits64;
76− __m128i* bits128p;
77− Buffer* buf;
7868 ManagedPtr* mptr;
7969 size_t size;
8070 } info;
src/Idris/ParseExpr.hs−1
@@ -1180,7 +1180,6 @@ Constant ::=
11801180 | 'String'
11811181 | 'Ptr'
11821182 | 'ManagedPtr'
1183− | 'prim__UnsafeBuffer'
11841183 | 'Bits8'
11851184 | 'Bits16'
11861185 | 'Bits32'