Implement generic pointers

1 files changed, 42 insertions, 0 deletions

diff --git a/testsuite/runnable/generic_base.elna b/testsuite/runnable/generic_base.elna
new file mode 100644
index 0000000..c36eccf
--- /dev/null
+++ b/testsuite/runnable/generic_base.elna
@@ -0,0 +1,42 @@
+type
+  File = record
+    fd: Int
+  end
+
+  List#[T] = record
+    head: T;
+    count: Word
+  end
+
+  Queue#[T] = record(List#[T])
+    tail: T
+  end
+
+var
+  jobs: Queue#[^File]
+  seen: ^List#[^File]
+  f: File
+
+proc push#[T](target: ^List#[T]; value: T)
+begin
+  target^.head := value;
+  target^.count := target^.count + 1u
+return
+
+proc enqueue#[T](target: ^Queue#[T]; value: T)
+begin
+  push(target, value);
+  target^.tail := value
+return
+
+program()
+begin
+  seen := @jobs;
+  enqueue(@jobs, @f);
+  assert(jobs.count = 1u);
+  assert(jobs.head = @f);
+  assert(jobs.tail = @f);
+  assert(#size(Queue#[^File]) = #size(Pointer) * 3u)
+return 0u8
+
+end.