diff options
Diffstat (limited to 'testsuite/fail_compilation')
24 files changed, 49 insertions, 0 deletions
diff --git a/testsuite/fail_compilation/assign_array_length.elna b/testsuite/fail_compilation/assign_array_length.elna index bf6f96c..92d6769 100644 --- a/testsuite/fail_compilation/assign_array_length.elna +++ b/testsuite/fail_compilation/assign_array_length.elna @@ -5,4 +5,6 @@ var program() begin array.length := slice.length (* @Error Cannot assign to a value of type 'const Word', because it is constant or contains constant members *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_const_to_pointer.elna b/testsuite/fail_compilation/assign_const_to_pointer.elna index 7e26679..50e4a44 100644 --- a/testsuite/fail_compilation/assign_const_to_pointer.elna +++ b/testsuite/fail_compilation/assign_const_to_pointer.elna @@ -5,4 +5,6 @@ var program() begin p := @c (* @Error Expected type 'Pointer', but got '\^const Int' *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_from_const_pointer.elna b/testsuite/fail_compilation/assign_from_const_pointer.elna index 5dc050d..4c383cc 100644 --- a/testsuite/fail_compilation/assign_from_const_pointer.elna +++ b/testsuite/fail_compilation/assign_from_const_pointer.elna @@ -5,4 +5,6 @@ var program() begin p := cv (* @Error Expected type 'Pointer', but got 'const Pointer' *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_slice_ptr.elna b/testsuite/fail_compilation/assign_slice_ptr.elna index 6f09f00..fa3dd22 100644 --- a/testsuite/fail_compilation/assign_slice_ptr.elna +++ b/testsuite/fail_compilation/assign_slice_ptr.elna @@ -5,4 +5,6 @@ var program() begin slice.ptr := array.ptr (* @Error Cannot assign to a value of type 'const \^Int', because it is constant or contains constant members *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_to_call_result_field.elna b/testsuite/fail_compilation/assign_to_call_result_field.elna index 25096ed..50cd135 100644 --- a/testsuite/fail_compilation/assign_to_call_result_field.elna +++ b/testsuite/fail_compilation/assign_to_call_result_field.elna @@ -13,4 +13,6 @@ return result program() begin make().x := 5 (* @Error Expression of type 'Int' is not addressable *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_to_slicing.elna b/testsuite/fail_compilation/assign_to_slicing.elna index 6743e06..92d0dae 100644 --- a/testsuite/fail_compilation/assign_to_slicing.elna +++ b/testsuite/fail_compilation/assign_to_slicing.elna @@ -5,4 +5,6 @@ var program() begin s[1 to 2] := t[1 to 2] (* @Error Expression of type '\[\]Int' is not addressable *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/assign_void_call.elna b/testsuite/fail_compilation/assign_void_call.elna index 381bb06..75f7c6b 100644 --- a/testsuite/fail_compilation/assign_void_call.elna +++ b/testsuite/fail_compilation/assign_void_call.elna @@ -7,4 +7,6 @@ return program() begin x := v() (* @Error Expected type 'Int', but the expression has no value *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/case_label_overflow.elna b/testsuite/fail_compilation/case_label_overflow.elna index 787f043..def83e9 100644 --- a/testsuite/fail_compilation/case_label_overflow.elna +++ b/testsuite/fail_compilation/case_label_overflow.elna @@ -9,4 +9,6 @@ begin else assert(false) end +return 0u8 + end. diff --git a/testsuite/fail_compilation/case_non_constant.elna b/testsuite/fail_compilation/case_non_constant.elna index a446c29..0345653 100644 --- a/testsuite/fail_compilation/case_non_constant.elna +++ b/testsuite/fail_compilation/case_non_constant.elna @@ -14,4 +14,6 @@ begin case x of r: (* @Error Case label must be a constant expression *) end +return 0u8 + end. diff --git a/testsuite/fail_compilation/case_type_mismatch.elna b/testsuite/fail_compilation/case_type_mismatch.elna index 57afd1f..56be244 100644 --- a/testsuite/fail_compilation/case_type_mismatch.elna +++ b/testsuite/fail_compilation/case_type_mismatch.elna @@ -7,4 +7,6 @@ begin 1: (* ok *) | true: (* @Error Invalid operands of type 'Int' and 'Bool' for operator = *) end +return 0u8 + end. diff --git a/testsuite/fail_compilation/case_unique_label.elna b/testsuite/fail_compilation/case_unique_label.elna index 7ee8391..95d5f53 100644 --- a/testsuite/fail_compilation/case_unique_label.elna +++ b/testsuite/fail_compilation/case_unique_label.elna @@ -5,4 +5,6 @@ begin | 3: | 1 + 2: (* @Error Duplicate case label *) end +return 0u8 + end. diff --git a/testsuite/fail_compilation/compare_unrelated_records.elna b/testsuite/fail_compilation/compare_unrelated_records.elna index 1699406..4b04aa7 100644 --- a/testsuite/fail_compilation/compare_unrelated_records.elna +++ b/testsuite/fail_compilation/compare_unrelated_records.elna @@ -15,4 +15,6 @@ var program() begin ok := b = a (* @Error Invalid operands of type 'B' and 'A' for operator = *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/constant_enum_to_int.elna b/testsuite/fail_compilation/constant_enum_to_int.elna index 52c31c3..85f6d4c 100644 --- a/testsuite/fail_compilation/constant_enum_to_int.elna +++ b/testsuite/fail_compilation/constant_enum_to_int.elna @@ -8,4 +8,6 @@ var program() begin y := x[Enumeration.one to Enumeration.two] (* @Error Array index must be an integral type, but got 'Enumeration' *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/import_local_collision/sut.elna b/testsuite/fail_compilation/import_local_collision/sut.elna index 8b52586..ecac1ca 100644 --- a/testsuite/fail_compilation/import_local_collision/sut.elna +++ b/testsuite/fail_compilation/import_local_collision/sut.elna @@ -4,5 +4,6 @@ var X: Int (* @Error Symbol 'X' has been already defined *) program() +return 0u8 end. diff --git a/testsuite/fail_compilation/non_constant_array_dimension.elna b/testsuite/fail_compilation/non_constant_array_dimension.elna index e3661c7..8efb9e9 100644 --- a/testsuite/fail_compilation/non_constant_array_dimension.elna +++ b/testsuite/fail_compilation/non_constant_array_dimension.elna @@ -7,4 +7,6 @@ begin program() begin f(5) +return 0u8 + end. diff --git a/testsuite/fail_compilation/opaque_pointer_arithmetic.elna b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna index 0223cc8..cb3a20e 100644 --- a/testsuite/fail_compilation/opaque_pointer_arithmetic.elna +++ b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna @@ -7,4 +7,6 @@ var program() begin p := p + 1 (* @Error Opaque type 'Handle' cannot be used as an element type in pointer arithmetic *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/proc_type_without_parameters.elna b/testsuite/fail_compilation/proc_type_without_parameters.elna index 3868e1b..f7cdffe 100644 --- a/testsuite/fail_compilation/proc_type_without_parameters.elna +++ b/testsuite/fail_compilation/proc_type_without_parameters.elna @@ -7,4 +7,6 @@ return program() begin x := f (* @Error Expected type 'Int', but got 'proc\(\)' *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/program_arguments.elna b/testsuite/fail_compilation/program_arguments.elna new file mode 100644 index 0000000..e614368 --- /dev/null +++ b/testsuite/fail_compilation/program_arguments.elna @@ -0,0 +1,4 @@ +program(first, second) (* @Error Program entry point should have no or one argument *) +return 0u8 + +end. diff --git a/testsuite/fail_compilation/record-base-cycle-indirect.elna b/testsuite/fail_compilation/record-base-cycle-indirect.elna index 1ea6ca5..f60b1aa 100644 --- a/testsuite/fail_compilation/record-base-cycle-indirect.elna +++ b/testsuite/fail_compilation/record-base-cycle-indirect.elna @@ -11,4 +11,6 @@ var program() begin +return 0u8 + end. diff --git a/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna index fbba47c..621a06c 100644 --- a/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna +++ b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna @@ -12,4 +12,6 @@ var program() begin c := Child{a: "wrong", b: 9} (* @Error Expected type 'Int', but got '\[\]const Word8' *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/reference_call_result_field.elna b/testsuite/fail_compilation/reference_call_result_field.elna index 2a721f4..d339ed9 100644 --- a/testsuite/fail_compilation/reference_call_result_field.elna +++ b/testsuite/fail_compilation/reference_call_result_field.elna @@ -16,4 +16,6 @@ return result program() begin p := @make().x (* @Error Expression of type 'Int' is not addressable *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/reference_literal.elna b/testsuite/fail_compilation/reference_literal.elna index 1eef82f..26d5a22 100644 --- a/testsuite/fail_compilation/reference_literal.elna +++ b/testsuite/fail_compilation/reference_literal.elna @@ -4,4 +4,6 @@ var program() begin p := @5 (* @Error Expression of type 'Int' is not addressable *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/reference_slicing.elna b/testsuite/fail_compilation/reference_slicing.elna index 078b48a..3875a5d 100644 --- a/testsuite/fail_compilation/reference_slicing.elna +++ b/testsuite/fail_compilation/reference_slicing.elna @@ -5,4 +5,6 @@ var program() begin p := @s[1 to 2] (* @Error Expression of type '\[\]Int' is not addressable *) +return 0u8 + end. diff --git a/testsuite/fail_compilation/while_condition.elna b/testsuite/fail_compilation/while_condition.elna index bd54796..0e4aa3c 100644 --- a/testsuite/fail_compilation/while_condition.elna +++ b/testsuite/fail_compilation/while_condition.elna @@ -2,4 +2,6 @@ program() begin while 1 do (* @Error Condition must be a boolean expression, but got 'Int' *) end +return 0u8 + end. |