diff options
| author | Eugen Wissner <belka@caraus.de> | 2026-09-24 00:39:51 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2026-09-24 00:39:51 +0200 |
| commit | f7b035a505e86ad916a43ab1dc1a662a6066b011 (patch) | |
| tree | a54369ae8ad56352d148c4583ab568f7d4869d30 /testsuite/fail_compilation/generic_uninferrable.elna | |
| parent | 74e75e41fe12f19e5365a3152ffafa1a29376240 (diff) | |
| download | elna-f7b035a505e86ad916a43ab1dc1a662a6066b011.tar.gz | |
Move module heading to the top
Diffstat (limited to 'testsuite/fail_compilation/generic_uninferrable.elna')
| -rw-r--r-- | testsuite/fail_compilation/generic_uninferrable.elna | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/fail_compilation/generic_uninferrable.elna b/testsuite/fail_compilation/generic_uninferrable.elna index 20d3d25..b3556d6 100644 --- a/testsuite/fail_compilation/generic_uninferrable.elna +++ b/testsuite/fail_compilation/generic_uninferrable.elna @@ -1,10 +1,10 @@ -proc allocate#[R](size: Word) -> R extern - program() var got: ^Word8 + +proc allocate#[R](size: Word) -> R +extern + begin got := allocate(8u) (* @Error Type parameter 'R' of 'allocate' cannot be inferred *) -return 0u8 - end. |