diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-09-08 20:43:39 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-09-08 20:43:39 +0200 |
| commit | 47c8f99b6ef812dbc22ca56a39ba21bccad47796 (patch) | |
| tree | 7c057a6d408f9b30801767ed528f7f4c207bfbce /testsuite/fail_compilation/generic_uninferrable.elna | |
| parent | 8f9ba0c67479d8926edead8aa828458c5b3bc1be (diff) | |
| download | elna-47c8f99b6ef812dbc22ca56a39ba21bccad47796.tar.gz | |
Implement generic pointers
Diffstat (limited to 'testsuite/fail_compilation/generic_uninferrable.elna')
| -rw-r--r-- | testsuite/fail_compilation/generic_uninferrable.elna | 10 |
1 files changed, 10 insertions, 0 deletions
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. |