Implement generic pointers

1 files changed, 31 insertions, 0 deletions

diff --git a/testsuite/runnable/generic_erasure.elna b/testsuite/runnable/generic_erasure.elna
new file mode 100644
index 0000000..eccc1d2
--- /dev/null
+++ b/testsuite/runnable/generic_erasure.elna
@@ -0,0 +1,31 @@
+type
+  File = record
+    fd: Int
+  end
+
+  Cell#[T] = record
+    held: T
+  end
+
+var
+  files: Cell#[^File]
+  bytes: Cell#[^Word8]
+  f: File
+  b: Word8
+
+proc store#[T](target: ^Cell#[T]; value: T)
+begin
+  target^.held := value
+return
+
+program()
+begin
+  f.fd := 7;
+  b := 3u8;
+  store#[^File](@files, @f);
+  store#[^Word8](@bytes, @b);
+  assert(files.held^.fd = 7);
+  assert(bytes.held^ = 3u8)
+return 0u8
+
+end.