From 47c8f99b6ef812dbc22ca56a39ba21bccad47796 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 8 Sep 2026 20:43:39 +0200 Subject: Implement generic pointers --- testsuite/fail_compilation/generic_uninferrable.elna | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 testsuite/fail_compilation/generic_uninferrable.elna (limited to 'testsuite/fail_compilation/generic_uninferrable.elna') 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