diff options
Diffstat (limited to 'testsuite/fail_compilation/generic_base_mismatch.elna')
| -rw-r--r-- | testsuite/fail_compilation/generic_base_mismatch.elna | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/fail_compilation/generic_base_mismatch.elna b/testsuite/fail_compilation/generic_base_mismatch.elna index e361052..dd3bec7 100644 --- a/testsuite/fail_compilation/generic_base_mismatch.elna +++ b/testsuite/fail_compilation/generic_base_mismatch.elna @@ -8,17 +8,17 @@ type end List#[T] = record - head: T + head: ^T end Queue#[T] = record(List#[T]) - tail: T + tail: ^T end var - jobs: Queue#[^File] - wrong: ^List#[^Socket] + jobs: Queue#[File] + wrong: ^List#[Socket] begin - wrong := @jobs (* @Error Expected type '\^List#\[\^Socket\]', but got '\^Queue#\[\^File\]' *) + wrong := @jobs (* @Error Expected type '\^List#\[Socket\]', but got '\^Queue#\[File\]' *) end. |
