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/fail_compilation/generic_arity.elna      | 13 +++++++++++
 .../fail_compilation/generic_base_mismatch.elna    | 26 ++++++++++++++++++++++
 .../generic_parameter_arithmetic.elna              | 11 +++++++++
 .../fail_compilation/generic_uninferrable.elna     | 10 +++++++++
 4 files changed, 60 insertions(+)
 create mode 100644 testsuite/fail_compilation/generic_arity.elna
 create mode 100644 testsuite/fail_compilation/generic_base_mismatch.elna
 create mode 100644 testsuite/fail_compilation/generic_parameter_arithmetic.elna
 create mode 100644 testsuite/fail_compilation/generic_uninferrable.elna

(limited to 'testsuite/fail_compilation')

diff --git a/testsuite/fail_compilation/generic_arity.elna b/testsuite/fail_compilation/generic_arity.elna
new file mode 100644
index 0000000..bb234af
--- /dev/null
+++ b/testsuite/fail_compilation/generic_arity.elna
@@ -0,0 +1,13 @@
+type
+  Stack#[T] = record
+    items: T
+  end
+
+var
+  broken: Stack (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *)
+
+program()
+begin
+return 0u8
+
+end.
diff --git a/testsuite/fail_compilation/generic_base_mismatch.elna b/testsuite/fail_compilation/generic_base_mismatch.elna
new file mode 100644
index 0000000..64e0c40
--- /dev/null
+++ b/testsuite/fail_compilation/generic_base_mismatch.elna
@@ -0,0 +1,26 @@
+type
+  File = record
+    fd: Int
+  end
+  Socket = record
+    handle: Int
+  end
+
+  List#[T] = record
+    head: T
+  end
+
+  Queue#[T] = record(List#[T])
+    tail: T
+  end
+
+var
+  jobs: Queue#[^File]
+  wrong: ^List#[^Socket]
+
+program()
+begin
+  wrong := @jobs (* @Error Expected type '\^List#\[\^Socket\]', but got '\^Queue#\[\^File\]' *)
+return 0u8
+
+end.
diff --git a/testsuite/fail_compilation/generic_parameter_arithmetic.elna b/testsuite/fail_compilation/generic_parameter_arithmetic.elna
new file mode 100644
index 0000000..969c5c7
--- /dev/null
+++ b/testsuite/fail_compilation/generic_parameter_arithmetic.elna
@@ -0,0 +1,11 @@
+proc walk#[T](value: T; step: ^T)
+begin
+  step := step + 1;
+  value := value + 1 (* @Error Type parameter 'T' cannot be used in pointer arithmetic *)
+return
+
+program()
+begin
+return 0u8
+
+end.
diff --git a/testsuite/fail_compilation/generic_uninferrable.elna b/testsuite/fail_compilation/generic_uninferrable.elna
new file mode 100644
index 0000000..20d3d25
--- /dev/null
+++ b/testsuite/fail_compilation/generic_uninferrable.elna
@@ -0,0 +1,10 @@
+proc allocate#[R](size: Word) -> R extern
+
+program()
+var
+  got: ^Word8
+begin
+  got := allocate(8u) (* @Error Type parameter 'R' of 'allocate' cannot be inferred *)
+return 0u8
+
+end.
-- 
cgit v1.2.3