From 47c8f99b6ef812dbc22ca56a39ba21bccad47796 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Tue, 8 Sep 2026 20:43:39 +0200
Subject: Implement generic pointers

---
 testsuite/runnable/generic_erasure.elna | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 testsuite/runnable/generic_erasure.elna

(limited to 'testsuite/runnable/generic_erasure.elna')

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.
-- 
cgit v1.2.3