diff options
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. |