aboutsummaryrefslogtreecommitdiff
path: root/testsuite/fail_compilation/generic_base_mismatch.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/fail_compilation/generic_base_mismatch.elna')
-rw-r--r--testsuite/fail_compilation/generic_base_mismatch.elna10
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.