@effekt-lang/effekt 0.25.0 → 0.27.0

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@effekt-lang/effekt",
   "author": "Jonathan Brachthäuser",
-  "version": "0.25.0",
+  "version": "0.27.0",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/effekt-lang/effekt.git"

package/libraries/llvm/array.c

@@ -1,57 +0,0 @@
-#ifndef EFFEKT_ARRAY_C
-#define EFFEKT_ARRAY_C
-
-/** We represent arrays like positive types.
- *  The tag is 0 and the obj points to memory with the following layout:
- *
- *   +--[ Header ]--+------+------------+
- *   | Rc  | Eraser | Size | Fields ... |
- *   +--------------+------+------------+
- */
-
-void c_array_erase_fields(void *envPtr) {
-  uint64_t *sizePtr = envPtr;
-  struct Pos *dataPtr = envPtr + sizeof(uint64_t);
-  uint64_t size = *sizePtr;
-  for (uint64_t i = 0; i < size; i++) {
-    erasePositive(dataPtr[i]);
-  }
-}
-
-struct Pos c_array_new(const Int size) {
-  void *objPtr = calloc(sizeof(struct Header) + sizeof(uint64_t) + size * sizeof(struct Pos), 1);
-  struct Header *headerPtr = objPtr;
-  uint64_t *sizePtr = objPtr + sizeof(struct Header);
-  *headerPtr = (struct Header) { .rc = 0, .eraser = c_array_erase_fields, };
-  *sizePtr = size;
-  return (struct Pos) {
-    .tag = 0,
-    .obj = objPtr,
-  };
-}
-
-Int c_array_size(const struct Pos arr) {
-  uint64_t *sizePtr = arr.obj + sizeof(struct Header);
-  uint64_t size = *sizePtr;
-  erasePositive(arr);
-  return size;
-}
-
-struct Pos c_array_get(const struct Pos arr, const Int index) {
-  struct Pos *dataPtr = arr.obj + sizeof(struct Header) + sizeof(uint64_t);
-  struct Pos element = dataPtr[index];
-  sharePositive(element);
-  erasePositive(arr);
-  return element;
-}
-
-struct Pos c_array_set(const struct Pos arr, const Int index, const struct Pos value) {
-  struct Pos *dataPtr = arr.obj + sizeof(struct Header) + sizeof(uint64_t);
-  struct Pos element = dataPtr[index];
-  erasePositive(element);
-  dataPtr[index] = value;
-  erasePositive(arr);
-  return Unit;
-}
-
-#endif

package/libraries/llvm/ref.c

@@ -1,47 +0,0 @@
-#ifndef EFFEKT_REF_C
-#define EFFEKT_REF_C
-
-/** We represent references like positive types.
- *  The tag is 0 and the obj points to memory with the following layout:
- *
- *   +--[ Header ]--------------+------------+
- *   | ReferenceCount  | Eraser | Field      |
- *   +--------------------------+------------+
- */
-
-void c_ref_erase_field(void *envPtr) {
-  struct Pos *fieldPtr = envPtr;
-  struct Pos element = *fieldPtr;
-  erasePositive(element);
-}
-
-struct Pos c_ref_fresh(const struct Pos value) {
-  void *objPtr = malloc(sizeof(struct Header) + sizeof(struct Pos));
-  struct Header *headerPtr = objPtr;
-  struct Pos *fieldPtr = objPtr + sizeof(struct Header);
-  *headerPtr = (struct Header) { .rc = 0, .eraser = c_ref_erase_field, };
-  *fieldPtr = value;
-  return (struct Pos) {
-    .tag = 0,
-    .obj = objPtr,
-  };
-}
-
-struct Pos c_ref_get(const struct Pos ref) {
-  struct Pos *fieldPtr = ref.obj + sizeof(struct Header);
-  struct Pos element = *fieldPtr;
-  sharePositive(element);
-  erasePositive(ref);
-  return element;
-}
-
-struct Pos c_ref_set(const struct Pos ref, const struct Pos value) {
-  struct Pos *fieldPtr = ref.obj + sizeof(struct Header);
-  struct Pos element = *fieldPtr;
-  erasePositive(element);
-  *fieldPtr = value;
-  erasePositive(ref);
-  return Unit;
-}
-
-#endif