diff options
Diffstat (limited to 'testsuite/fail_compilation')
8 files changed, 6 insertions, 8 deletions
diff --git a/testsuite/fail_compilation/access_record_type_field.elna b/testsuite/fail_compilation/access_record_type_field.elna index 4e8bc6a..4378404 100644 --- a/testsuite/fail_compilation/access_record_type_field.elna +++ b/testsuite/fail_compilation/access_record_type_field.elna @@ -3,7 +3,7 @@ type field1, field2: Int end -proc f(): Int +proc f() -> Int return R.field1 (* @Error Cannot access field 'field1' on type 'R' *) end. diff --git a/testsuite/fail_compilation/enumeration_member_missing.elna b/testsuite/fail_compilation/enumeration_member_missing.elna index 84a13d1..6f82131 100644 --- a/testsuite/fail_compilation/enumeration_member_missing.elna +++ b/testsuite/fail_compilation/enumeration_member_missing.elna @@ -1,7 +1,7 @@ type Enumeration = (one, two, three) -proc f(): Enumeration +proc f() -> Enumeration return Enumeration.four (* @Error Enumeration 'Enumeration' does not have a member named 'four' *) end. diff --git a/testsuite/fail_compilation/non_constant_array_dimension.elna.s b/testsuite/fail_compilation/non_constant_array_dimension.elna.s deleted file mode 100644 index 8dc704d..0000000 --- a/testsuite/fail_compilation/non_constant_array_dimension.elna.s +++ /dev/null @@ -1 +0,0 @@ - .file "non_constant_array_dimension.elna" diff --git a/testsuite/fail_compilation/procedure-cycle.elna b/testsuite/fail_compilation/procedure-cycle.elna index aaed14c..796cccf 100644 --- a/testsuite/fail_compilation/procedure-cycle.elna +++ b/testsuite/fail_compilation/procedure-cycle.elna @@ -1,3 +1,3 @@ type - A = proc(): A (* @Error Type declaration forms a cycle: A -> A *) + A = proc() -> A (* @Error Type declaration forms a cycle: A -> A *) end. diff --git a/testsuite/fail_compilation/record-base-cycle.elna.s b/testsuite/fail_compilation/record-base-cycle.elna.s deleted file mode 100644 index 64f8722..0000000 --- a/testsuite/fail_compilation/record-base-cycle.elna.s +++ /dev/null @@ -1 +0,0 @@ - .file "record-base-cycle.elna" diff --git a/testsuite/fail_compilation/unary_minus_on_record.elna b/testsuite/fail_compilation/unary_minus_on_record.elna index cfd76a2..d86995b 100644 --- a/testsuite/fail_compilation/unary_minus_on_record.elna +++ b/testsuite/fail_compilation/unary_minus_on_record.elna @@ -3,7 +3,7 @@ type x: Int end -proc f(r: R): Int +proc f(r: R) -> Int return -r (* @Error Type 'R' cannot be used with unary '-' *) end. diff --git a/testsuite/fail_compilation/unary_negation_on_record.elna b/testsuite/fail_compilation/unary_negation_on_record.elna index 370f04d..d08d2e3 100644 --- a/testsuite/fail_compilation/unary_negation_on_record.elna +++ b/testsuite/fail_compilation/unary_negation_on_record.elna @@ -3,7 +3,7 @@ type x: Int end -proc f(r: R): Int +proc f(r: R) -> Int return ~r (* @Error Type 'R' cannot be used with unary '~' *) end. diff --git a/testsuite/fail_compilation/unary_plus_on_record.elna b/testsuite/fail_compilation/unary_plus_on_record.elna index 7289873..e1f6f4c 100644 --- a/testsuite/fail_compilation/unary_plus_on_record.elna +++ b/testsuite/fail_compilation/unary_plus_on_record.elna @@ -3,7 +3,7 @@ type x: Int end -proc f(r: R): Int +proc f(r: R) -> Int return +r (* @Error Type 'R' cannot be used with unary '\+' *) end. |