diff options
Diffstat (limited to 'testsuite/fail_compilation/generic_base_mismatch.elna')
| -rw-r--r-- | testsuite/fail_compilation/generic_base_mismatch.elna | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/fail_compilation/generic_base_mismatch.elna b/testsuite/fail_compilation/generic_base_mismatch.elna index 64e0c40..e361052 100644 --- a/testsuite/fail_compilation/generic_base_mismatch.elna +++ b/testsuite/fail_compilation/generic_base_mismatch.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -18,9 +19,6 @@ var jobs: Queue#[^File] wrong: ^List#[^Socket] -program() begin wrong := @jobs (* @Error Expected type '\^List#\[\^Socket\]', but got '\^Queue#\[\^File\]' *) -return 0u8 - end. |