diff options
Diffstat (limited to 'testsuite')
157 files changed, 225 insertions, 296 deletions
diff --git a/testsuite/compilable/aliased_type_constant.elna b/testsuite/compilable/aliased_type_constant.elna index 16a52c2..e4054c7 100644 --- a/testsuite/compilable/aliased_type_constant.elna +++ b/testsuite/compilable/aliased_type_constant.elna @@ -1,3 +1,5 @@ +module + type Handle = Int diff --git a/testsuite/compilable/assign_record_to_base.elna b/testsuite/compilable/assign_record_to_base.elna index 303bde0..14bc3f5 100644 --- a/testsuite/compilable/assign_record_to_base.elna +++ b/testsuite/compilable/assign_record_to_base.elna @@ -1,3 +1,4 @@ +program() type B = record x: Int @@ -10,9 +11,6 @@ var x: ^B := nil y: ^R := nil -program() begin - x := y; -return 0u8 - + x := y end. diff --git a/testsuite/compilable/compile_time_array_length.elna b/testsuite/compilable/compile_time_array_length.elna index e38919e..9e2c896 100644 --- a/testsuite/compilable/compile_time_array_length.elna +++ b/testsuite/compilable/compile_time_array_length.elna @@ -1,3 +1,5 @@ +module + var source: const [3]Int := [1, 2, 3] target: Word := source.length diff --git a/testsuite/compilable/const_alias.elna b/testsuite/compilable/const_alias.elna index 3a6b365..e4b6434 100644 --- a/testsuite/compilable/const_alias.elna +++ b/testsuite/compilable/const_alias.elna @@ -1,3 +1,5 @@ +module + type CI = const Int CCI = const CI diff --git a/testsuite/compilable/const_element_array.elna b/testsuite/compilable/const_element_array.elna index 2d68ff5..d6419fa 100644 --- a/testsuite/compilable/const_element_array.elna +++ b/testsuite/compilable/const_element_array.elna @@ -1,3 +1,5 @@ +module + type CI = const Int diff --git a/testsuite/compilable/const_extern.elna b/testsuite/compilable/const_extern.elna index 9e8fbb0..6f4b058 100644 --- a/testsuite/compilable/const_extern.elna +++ b/testsuite/compilable/const_extern.elna @@ -1,3 +1,5 @@ +module + var errno_like: const Int := extern diff --git a/testsuite/compilable/const_negation.elna b/testsuite/compilable/const_negation.elna index 82a4cb6..1dd45f4 100644 --- a/testsuite/compilable/const_negation.elna +++ b/testsuite/compilable/const_negation.elna @@ -1,11 +1,9 @@ +program() var x: const Int := -5 y: const Int := -x -program() begin assert(x = -5); assert(y = 5); -return 0u8 - end. diff --git a/testsuite/compilable/const_var_chain.elna b/testsuite/compilable/const_var_chain.elna index ad85f48..438b79a 100644 --- a/testsuite/compilable/const_var_chain.elna +++ b/testsuite/compilable/const_var_chain.elna @@ -1,10 +1,8 @@ +program() var x: const Int := 42 y: Int := x -program() begin assert(y = 42) -return 0u8 - end. diff --git a/testsuite/compilable/double_literals.elna b/testsuite/compilable/double_literals.elna index 9e8a73d..2f2bcdd 100644 --- a/testsuite/compilable/double_literals.elna +++ b/testsuite/compilable/double_literals.elna @@ -1,3 +1,5 @@ +module + proc f() var x: const Double := 3.14 diff --git a/testsuite/compilable/empty_proc.elna b/testsuite/compilable/empty_proc.elna index bf3bd84..d08593b 100644 --- a/testsuite/compilable/empty_proc.elna +++ b/testsuite/compilable/empty_proc.elna @@ -1,3 +1,5 @@ +module + proc f() return diff --git a/testsuite/compilable/empty_proc_type_expression.elna b/testsuite/compilable/empty_proc_type_expression.elna index 7738cae..f9c0819 100644 --- a/testsuite/compilable/empty_proc_type_expression.elna +++ b/testsuite/compilable/empty_proc_type_expression.elna @@ -1,3 +1,5 @@ +module + type P = proc() diff --git a/testsuite/compilable/empty_statements_in_a_row.elna b/testsuite/compilable/empty_statements_in_a_row.elna index 7cf723c..465ab19 100644 --- a/testsuite/compilable/empty_statements_in_a_row.elna +++ b/testsuite/compilable/empty_statements_in_a_row.elna @@ -1,3 +1,5 @@ +module + proc f() begin ; diff --git a/testsuite/compilable/generic_alias.elna b/testsuite/compilable/generic_alias.elna index 3b431be..47ac638 100644 --- a/testsuite/compilable/generic_alias.elna +++ b/testsuite/compilable/generic_alias.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -20,12 +21,9 @@ var raw: ^^File boxed: Boxed#[^File] -program() begin chain.next := nil; aliased := raw; raw := aliased; boxed.inner := @chain -return 0u8 - end. diff --git a/testsuite/compilable/generic_arguments.elna b/testsuite/compilable/generic_arguments.elna index 6bc5242..4d33db5 100644 --- a/testsuite/compilable/generic_arguments.elna +++ b/testsuite/compilable/generic_arguments.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -11,18 +12,15 @@ type var entry: Pair#[^File, ^Word8] -proc allocate#[T](size: Word) -> T extern +proc allocate#[T](size: Word) -> T +extern proc first#[K, V](entry_ptr: ^Pair#[K, V]) -> K -begin return entry_ptr^.key -program() begin entry.key := allocate#[^File](#size(File)); assert(#size(Pair#[^File, ^Word8]) = #size(Pointer) * 2u); assert(#offset(Pair#[^File, ^Word8], value) = #size(Pointer)); assert(first#[^File, ^Word8](@entry) = entry.key) -return 0u8 - end. diff --git a/testsuite/compilable/generic_base_chain.elna b/testsuite/compilable/generic_base_chain.elna index 736042b..c303e6d 100644 --- a/testsuite/compilable/generic_base_chain.elna +++ b/testsuite/compilable/generic_base_chain.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -22,10 +23,7 @@ begin target^.key := key return -program() begin upcast := @store; put(@store, byte_key) -return 0u8 - end. diff --git a/testsuite/compilable/generic_inference.elna b/testsuite/compilable/generic_inference.elna index 25faca4..ab1ff3a 100644 --- a/testsuite/compilable/generic_inference.elna +++ b/testsuite/compilable/generic_inference.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -23,11 +24,8 @@ begin store(target, value) return -program() begin store(@files, @f); relay(@bytes, @b); store(@files, nil) -return 0u8 - end. diff --git a/testsuite/compilable/opaque_type.elna b/testsuite/compilable/opaque_type.elna index c570e0d..6474337 100644 --- a/testsuite/compilable/opaque_type.elna +++ b/testsuite/compilable/opaque_type.elna @@ -1,3 +1,4 @@ +program() type Handle = extern Alias = Handle @@ -9,9 +10,6 @@ var proc take(h: ^Handle) -> ^Handle return h -program() begin alias := take(handle) -return 0u8 - end. diff --git a/testsuite/compilable/pointer_cast.elna b/testsuite/compilable/pointer_cast.elna index ad15432..2b986c0 100644 --- a/testsuite/compilable/pointer_cast.elna +++ b/testsuite/compilable/pointer_cast.elna @@ -1,11 +1,9 @@ +program() var c: ^Char := nil p: Pointer := nil -program() begin p := c; c := p -return 0u8 - end. diff --git a/testsuite/compilable/pointer_const_conversion.elna b/testsuite/compilable/pointer_const_conversion.elna index a5bd297..c08862b 100644 --- a/testsuite/compilable/pointer_const_conversion.elna +++ b/testsuite/compilable/pointer_const_conversion.elna @@ -1,10 +1,8 @@ +program() var x: Int p: ^const Int -program() begin p := @x -return 0u8 - end. diff --git a/testsuite/compilable/pointer_subtraction.elna b/testsuite/compilable/pointer_subtraction.elna index 8dd1ff6..738845d 100644 --- a/testsuite/compilable/pointer_subtraction.elna +++ b/testsuite/compilable/pointer_subtraction.elna @@ -1,3 +1,5 @@ +module + proc test(a, b: ^Char) -> Int return a - b diff --git a/testsuite/compilable/procedure_forward_reference.elna b/testsuite/compilable/procedure_forward_reference.elna index cdf3008..0e6f93c 100644 --- a/testsuite/compilable/procedure_forward_reference.elna +++ b/testsuite/compilable/procedure_forward_reference.elna @@ -1,3 +1,5 @@ +module + proc first() -> Int return second() + 1 diff --git a/testsuite/compilable/record_const_base.elna b/testsuite/compilable/record_const_base.elna index f24d27b..a4c6b7b 100644 --- a/testsuite/compilable/record_const_base.elna +++ b/testsuite/compilable/record_const_base.elna @@ -1,3 +1,5 @@ +module + type B = record x: Int diff --git a/testsuite/compilable/self-referencing-record.elna b/testsuite/compilable/self-referencing-record.elna index 311f148..d340492 100644 --- a/testsuite/compilable/self-referencing-record.elna +++ b/testsuite/compilable/self-referencing-record.elna @@ -1,3 +1,5 @@ +module + type R = record field: ^R diff --git a/testsuite/compilable/semicolon_parameter_separator.elna b/testsuite/compilable/semicolon_parameter_separator.elna index 229fde0..c998606 100644 --- a/testsuite/compilable/semicolon_parameter_separator.elna +++ b/testsuite/compilable/semicolon_parameter_separator.elna @@ -1,3 +1,5 @@ +module + proc f(a: Int; b: Word) return diff --git a/testsuite/compilable/single_literals.elna b/testsuite/compilable/single_literals.elna index ac03623..a18d2ca 100644 --- a/testsuite/compilable/single_literals.elna +++ b/testsuite/compilable/single_literals.elna @@ -1,3 +1,5 @@ +module + proc f() var x: const Single := 3.14f diff --git a/testsuite/compilable/slice_index.elna b/testsuite/compilable/slice_index.elna index 70d26ae..13121eb 100644 --- a/testsuite/compilable/slice_index.elna +++ b/testsuite/compilable/slice_index.elna @@ -1,3 +1,5 @@ +module + proc f() var a: []Int diff --git a/testsuite/compilable/take_const_address.elna b/testsuite/compilable/take_const_address.elna index 4f82b2a..a60b1c2 100644 --- a/testsuite/compilable/take_const_address.elna +++ b/testsuite/compilable/take_const_address.elna @@ -1,10 +1,8 @@ +program() var x: ^const Int y: const Int := 1 -program() begin x := @y -return 0u8 - end. diff --git a/testsuite/compilable/trailing_text.elna b/testsuite/compilable/trailing_text.elna index 1eb3595..0a95516 100644 --- a/testsuite/compilable/trailing_text.elna +++ b/testsuite/compilable/trailing_text.elna @@ -1,3 +1,5 @@ +module + end. Everything after the module terminator is ignored and is never scanned, so it diff --git a/testsuite/compilable/traits_size.elna b/testsuite/compilable/traits_size.elna index f245637..ad49b61 100644 --- a/testsuite/compilable/traits_size.elna +++ b/testsuite/compilable/traits_size.elna @@ -1,3 +1,4 @@ +program() var i: Int := 1 s: Int := cast(#size(Int): Int) @@ -5,11 +6,8 @@ var as: Int := cast(#size([10]Int): Int) p: Int := cast(#size(Pointer): Int) -program() begin assert(s > 0); assert(as = 10 * cast(#size(Int): Int)); assert(p > 0) -return 0u8 - end. diff --git a/testsuite/fail_compilation/access_record_type_field.elna b/testsuite/fail_compilation/access_record_type_field.elna index 4378404..4dcdceb 100644 --- a/testsuite/fail_compilation/access_record_type_field.elna +++ b/testsuite/fail_compilation/access_record_type_field.elna @@ -1,3 +1,5 @@ +module + type R = record field1, field2: Int diff --git a/testsuite/fail_compilation/alias-cycle-behind-const.elna b/testsuite/fail_compilation/alias-cycle-behind-const.elna index 0c3b626..a05240b 100644 --- a/testsuite/fail_compilation/alias-cycle-behind-const.elna +++ b/testsuite/fail_compilation/alias-cycle-behind-const.elna @@ -1,4 +1,7 @@ +module + type A = B B = const A (* @Error Type declaration forms a cycle: A -> B -> A *) + end. diff --git a/testsuite/fail_compilation/alias-cycle.elna b/testsuite/fail_compilation/alias-cycle.elna index e6c822b..ba05947 100644 --- a/testsuite/fail_compilation/alias-cycle.elna +++ b/testsuite/fail_compilation/alias-cycle.elna @@ -1,4 +1,7 @@ +module + type A = B B = A (* @Error Type declaration forms a cycle: A -> B -> A *) + end. diff --git a/testsuite/fail_compilation/alias-field-cycle.elna b/testsuite/fail_compilation/alias-field-cycle.elna index f4a554a..8296c69 100644 --- a/testsuite/fail_compilation/alias-field-cycle.elna +++ b/testsuite/fail_compilation/alias-field-cycle.elna @@ -1,5 +1,8 @@ +module + type A = record (* @Error Type declaration forms a cycle: A -> A *) field: A end + end. diff --git a/testsuite/fail_compilation/aligned_attribute.elna b/testsuite/fail_compilation/aligned_attribute.elna index aab5513..46a9b94 100644 --- a/testsuite/fail_compilation/aligned_attribute.elna +++ b/testsuite/fail_compilation/aligned_attribute.elna @@ -1,3 +1,4 @@ +module type Uneven = record x #{aligned 3}: Word8 (* @Error Alignment must be a power of two *) @@ -10,11 +11,6 @@ type end proc takes(p #{aligned 8}: Int) (* @Error Attribute 'aligned' is not supported in this position *) -begin return -program() -begin -return 0u8 - end. diff --git a/testsuite/fail_compilation/array-cycle.elna b/testsuite/fail_compilation/array-cycle.elna index 617e23d..a5b79c2 100644 --- a/testsuite/fail_compilation/array-cycle.elna +++ b/testsuite/fail_compilation/array-cycle.elna @@ -1,3 +1,6 @@ +module + type A = [2]A (* @Error Type declaration forms a cycle: A -> A *) + end. diff --git a/testsuite/fail_compilation/assign_array_length.elna b/testsuite/fail_compilation/assign_array_length.elna index 92d6769..c794b11 100644 --- a/testsuite/fail_compilation/assign_array_length.elna +++ b/testsuite/fail_compilation/assign_array_length.elna @@ -1,10 +1,8 @@ +program() var slice: []Int array: [2]Int -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_array_pointer.elna b/testsuite/fail_compilation/assign_const_array_pointer.elna index 32dc66d..d8ecb72 100644 --- a/testsuite/fail_compilation/assign_const_array_pointer.elna +++ b/testsuite/fail_compilation/assign_const_array_pointer.elna @@ -1,3 +1,5 @@ +module + proc f() var p: ^[2]Int diff --git a/testsuite/fail_compilation/assign_const_element.elna b/testsuite/fail_compilation/assign_const_element.elna index 9b9c341..721d337 100644 --- a/testsuite/fail_compilation/assign_const_element.elna +++ b/testsuite/fail_compilation/assign_const_element.elna @@ -1,3 +1,5 @@ +module + type CI = const Int diff --git a/testsuite/fail_compilation/assign_const_member.elna b/testsuite/fail_compilation/assign_const_member.elna index 8aecb01..a603729 100644 --- a/testsuite/fail_compilation/assign_const_member.elna +++ b/testsuite/fail_compilation/assign_const_member.elna @@ -1,3 +1,5 @@ +module + type R = record x: const Int diff --git a/testsuite/fail_compilation/assign_const_primitive.elna b/testsuite/fail_compilation/assign_const_primitive.elna index 22fef25..2db9c85 100644 --- a/testsuite/fail_compilation/assign_const_primitive.elna +++ b/testsuite/fail_compilation/assign_const_primitive.elna @@ -1,3 +1,5 @@ +module + proc f() var x: const Int := 4 diff --git a/testsuite/fail_compilation/assign_const_record_pointer.elna b/testsuite/fail_compilation/assign_const_record_pointer.elna index 5e6f3df..adf3d91 100644 --- a/testsuite/fail_compilation/assign_const_record_pointer.elna +++ b/testsuite/fail_compilation/assign_const_record_pointer.elna @@ -1,3 +1,5 @@ +module + type B = record x: Int diff --git a/testsuite/fail_compilation/assign_const_to_pointer.elna b/testsuite/fail_compilation/assign_const_to_pointer.elna index 50e4a44..796b60c 100644 --- a/testsuite/fail_compilation/assign_const_to_pointer.elna +++ b/testsuite/fail_compilation/assign_const_to_pointer.elna @@ -1,10 +1,8 @@ +program() var c: const Int := 2 p: Pointer -program() begin p := @c (* @Error Expected type 'Pointer', but got '\^const Int' *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/assign_deep_const_pointer.elna b/testsuite/fail_compilation/assign_deep_const_pointer.elna index 7ed3840..7c977d4 100644 --- a/testsuite/fail_compilation/assign_deep_const_pointer.elna +++ b/testsuite/fail_compilation/assign_deep_const_pointer.elna @@ -1,3 +1,5 @@ +module + proc f() var p: ^^const Int diff --git a/testsuite/fail_compilation/assign_element_of_const.elna b/testsuite/fail_compilation/assign_element_of_const.elna index 8235448..a51822b 100644 --- a/testsuite/fail_compilation/assign_element_of_const.elna +++ b/testsuite/fail_compilation/assign_element_of_const.elna @@ -1,3 +1,5 @@ +module + proc f() var a: const [2]Int := [1, 3] diff --git a/testsuite/fail_compilation/assign_from_const_pointer.elna b/testsuite/fail_compilation/assign_from_const_pointer.elna index 4c383cc..64f7f5d 100644 --- a/testsuite/fail_compilation/assign_from_const_pointer.elna +++ b/testsuite/fail_compilation/assign_from_const_pointer.elna @@ -1,10 +1,8 @@ +program() var cv: const Pointer := nil p: Pointer -program() begin p := cv (* @Error Expected type 'Pointer', but got 'const Pointer' *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/assign_member_of_const.elna b/testsuite/fail_compilation/assign_member_of_const.elna index fc945bb..efdf67b 100644 --- a/testsuite/fail_compilation/assign_member_of_const.elna +++ b/testsuite/fail_compilation/assign_member_of_const.elna @@ -1,3 +1,5 @@ +module + type R = record x: Int diff --git a/testsuite/fail_compilation/assign_slice_ptr.elna b/testsuite/fail_compilation/assign_slice_ptr.elna index fa3dd22..b4e72f1 100644 --- a/testsuite/fail_compilation/assign_slice_ptr.elna +++ b/testsuite/fail_compilation/assign_slice_ptr.elna @@ -1,10 +1,8 @@ +program() var slice: []Int array: [2]Int -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 50cd135..e4995e5 100644 --- a/testsuite/fail_compilation/assign_to_call_result_field.elna +++ b/testsuite/fail_compilation/assign_to_call_result_field.elna @@ -1,3 +1,4 @@ +program() type R = record x: Int @@ -10,9 +11,6 @@ begin result.x := 1 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 92d0dae..da369b3 100644 --- a/testsuite/fail_compilation/assign_to_slicing.elna +++ b/testsuite/fail_compilation/assign_to_slicing.elna @@ -1,10 +1,8 @@ +program() var s: [3]Int t: [2]Int -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 75f7c6b..ecdba8d 100644 --- a/testsuite/fail_compilation/assign_void_call.elna +++ b/testsuite/fail_compilation/assign_void_call.elna @@ -1,12 +1,10 @@ +program() var x: Int proc v() 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 def83e9..cfed88a 100644 --- a/testsuite/fail_compilation/case_label_overflow.elna +++ b/testsuite/fail_compilation/case_label_overflow.elna @@ -1,7 +1,7 @@ +program() var x: Int8 := 100i8 -program() begin case x of 100i8: assert(true) @@ -9,6 +9,4 @@ 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 0345653..9f7ba9a 100644 --- a/testsuite/fail_compilation/case_non_constant.elna +++ b/testsuite/fail_compilation/case_non_constant.elna @@ -1,3 +1,4 @@ +program() type R = record a: Int; @@ -8,12 +9,9 @@ var r: R x: R -program() begin x := r; 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 56be244..f2db7e7 100644 --- a/testsuite/fail_compilation/case_type_mismatch.elna +++ b/testsuite/fail_compilation/case_type_mismatch.elna @@ -1,12 +1,10 @@ +program() var x: Int -program() begin case x of 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 95d5f53..7ee8391 100644 --- a/testsuite/fail_compilation/case_unique_label.elna +++ b/testsuite/fail_compilation/case_unique_label.elna @@ -5,6 +5,4 @@ begin | 3: | 1 + 2: (* @Error Duplicate case label *) end -return 0u8 - end. diff --git a/testsuite/fail_compilation/circular_import/sut.elna b/testsuite/fail_compilation/circular_import/sut.elna index f6452fb..7641a73 100644 --- a/testsuite/fail_compilation/circular_import/sut.elna +++ b/testsuite/fail_compilation/circular_import/sut.elna @@ -1,3 +1,5 @@ +module + import sut (* @Error Circular import of module 'sut' *) end. diff --git a/testsuite/fail_compilation/compare_unrelated_records.elna b/testsuite/fail_compilation/compare_unrelated_records.elna index 4b04aa7..a113809 100644 --- a/testsuite/fail_compilation/compare_unrelated_records.elna +++ b/testsuite/fail_compilation/compare_unrelated_records.elna @@ -1,3 +1,4 @@ +program() type A = record x: Int @@ -12,9 +13,6 @@ var b: B ok: Bool -program() begin ok := b = a (* @Error Invalid operands of type 'B' and 'A' for operator = *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/compile_time_array_ptr.elna b/testsuite/fail_compilation/compile_time_array_ptr.elna index bd630ac..f11f2f2 100644 --- a/testsuite/fail_compilation/compile_time_array_ptr.elna +++ b/testsuite/fail_compilation/compile_time_array_ptr.elna @@ -1,3 +1,5 @@ +module + var source: [3]Int := [1, 2, 3] target: ^Int := source.ptr (* @Error Variable initializers must be constant expressions *) diff --git a/testsuite/fail_compilation/const_array.elna b/testsuite/fail_compilation/const_array.elna index 7a1a6f5..d42f0b4 100644 --- a/testsuite/fail_compilation/const_array.elna +++ b/testsuite/fail_compilation/const_array.elna @@ -1,7 +1,8 @@ +module + proc f() var a: [10]const Int (* @Error const must be written before the array size, not after *) -begin return end. diff --git a/testsuite/fail_compilation/const_uninitialized.elna b/testsuite/fail_compilation/const_uninitialized.elna index 06db3d7..a3be5d3 100644 --- a/testsuite/fail_compilation/const_uninitialized.elna +++ b/testsuite/fail_compilation/const_uninitialized.elna @@ -1,3 +1,5 @@ +module + var x: const Int (* @Error All constants should be initialized *) diff --git a/testsuite/fail_compilation/constant_enum_to_int.elna b/testsuite/fail_compilation/constant_enum_to_int.elna index 85f6d4c..194109b 100644 --- a/testsuite/fail_compilation/constant_enum_to_int.elna +++ b/testsuite/fail_compilation/constant_enum_to_int.elna @@ -1,3 +1,4 @@ +program() type Enumeration = (one, two, three) @@ -5,9 +6,6 @@ var x: [3]Int := [1, 2, 3] y: []Int -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/double_const.elna b/testsuite/fail_compilation/double_const.elna index 204a7f7..fe1b134 100644 --- a/testsuite/fail_compilation/double_const.elna +++ b/testsuite/fail_compilation/double_const.elna @@ -1,7 +1,8 @@ +module + proc f() var x: const const Int (* @Error Duplicate 'const' qualifier is not allowed *) -begin return end. diff --git a/testsuite/fail_compilation/enumeration_member_missing.elna b/testsuite/fail_compilation/enumeration_member_missing.elna index 6f82131..69f1eed 100644 --- a/testsuite/fail_compilation/enumeration_member_missing.elna +++ b/testsuite/fail_compilation/enumeration_member_missing.elna @@ -1,3 +1,5 @@ +module + type Enumeration = (one, two, three) diff --git a/testsuite/fail_compilation/float_remainder.elna b/testsuite/fail_compilation/float_remainder.elna index ec6c9e2..f2eba60 100644 --- a/testsuite/fail_compilation/float_remainder.elna +++ b/testsuite/fail_compilation/float_remainder.elna @@ -1,3 +1,5 @@ +module + proc f() var x: Double diff --git a/testsuite/fail_compilation/generic_arity.elna b/testsuite/fail_compilation/generic_arity.elna index bb234af..645aded 100644 --- a/testsuite/fail_compilation/generic_arity.elna +++ b/testsuite/fail_compilation/generic_arity.elna @@ -1,3 +1,5 @@ +module + type Stack#[T] = record items: T @@ -6,8 +8,4 @@ type var broken: Stack (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *) -program() -begin -return 0u8 - end. 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. diff --git a/testsuite/fail_compilation/generic_parameter_arithmetic.elna b/testsuite/fail_compilation/generic_parameter_arithmetic.elna index 969c5c7..e05b1ee 100644 --- a/testsuite/fail_compilation/generic_parameter_arithmetic.elna +++ b/testsuite/fail_compilation/generic_parameter_arithmetic.elna @@ -1,11 +1,9 @@ +module + proc walk#[T](value: T; step: ^T) begin step := step + 1; value := value + 1 (* @Error Type parameter 'T' cannot be used in pointer arithmetic *) return -program() -begin -return 0u8 - end. diff --git a/testsuite/fail_compilation/generic_uninferrable.elna b/testsuite/fail_compilation/generic_uninferrable.elna index 20d3d25..b3556d6 100644 --- a/testsuite/fail_compilation/generic_uninferrable.elna +++ b/testsuite/fail_compilation/generic_uninferrable.elna @@ -1,10 +1,10 @@ -proc allocate#[R](size: Word) -> R extern - program() var got: ^Word8 + +proc allocate#[R](size: Word) -> R +extern + begin got := allocate(8u) (* @Error Type parameter 'R' of 'allocate' cannot be inferred *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/import_import_collision/first.elna b/testsuite/fail_compilation/import_import_collision/first.elna index e60ca8e..251eaee 100644 --- a/testsuite/fail_compilation/import_import_collision/first.elna +++ b/testsuite/fail_compilation/import_import_collision/first.elna @@ -1,3 +1,5 @@ +module + var X*: Int := 1 diff --git a/testsuite/fail_compilation/import_import_collision/second.elna b/testsuite/fail_compilation/import_import_collision/second.elna index 0a3d8e0..65f1ed3 100644 --- a/testsuite/fail_compilation/import_import_collision/second.elna +++ b/testsuite/fail_compilation/import_import_collision/second.elna @@ -1,3 +1,5 @@ +module + var X*: Int := 2 diff --git a/testsuite/fail_compilation/import_import_collision/sut.elna b/testsuite/fail_compilation/import_import_collision/sut.elna index 208aa21..657113d 100644 --- a/testsuite/fail_compilation/import_import_collision/sut.elna +++ b/testsuite/fail_compilation/import_import_collision/sut.elna @@ -1,3 +1,5 @@ +module + import first, second (* @Error Symbol 'X' has been already defined *) end. diff --git a/testsuite/fail_compilation/import_local_collision/helper.elna b/testsuite/fail_compilation/import_local_collision/helper.elna index e60ca8e..251eaee 100644 --- a/testsuite/fail_compilation/import_local_collision/helper.elna +++ b/testsuite/fail_compilation/import_local_collision/helper.elna @@ -1,3 +1,5 @@ +module + var X*: Int := 1 diff --git a/testsuite/fail_compilation/import_local_collision/sut.elna b/testsuite/fail_compilation/import_local_collision/sut.elna index ecac1ca..c628941 100644 --- a/testsuite/fail_compilation/import_local_collision/sut.elna +++ b/testsuite/fail_compilation/import_local_collision/sut.elna @@ -1,9 +1,8 @@ +program() + import helper var X: Int (* @Error Symbol 'X' has been already defined *) -program() -return 0u8 - end. diff --git a/testsuite/fail_compilation/local_var_exported.elna b/testsuite/fail_compilation/local_var_exported.elna index 307d34f..be0183d 100644 --- a/testsuite/fail_compilation/local_var_exported.elna +++ b/testsuite/fail_compilation/local_var_exported.elna @@ -1,3 +1,5 @@ +module + proc test_local_export() var v* : Int (* @Error Local symbols cannot be exported *) diff --git a/testsuite/fail_compilation/local_var_extern.elna b/testsuite/fail_compilation/local_var_extern.elna index d0eb22f..948689c 100644 --- a/testsuite/fail_compilation/local_var_extern.elna +++ b/testsuite/fail_compilation/local_var_extern.elna @@ -1,3 +1,5 @@ +module + proc test_local_extern() var v : Int := extern (* @Error Local symbols cannot be extern *) diff --git a/testsuite/fail_compilation/negative_integer_literal_overflow.elna b/testsuite/fail_compilation/negative_integer_literal_overflow.elna index 7db4888..fa90009 100644 --- a/testsuite/fail_compilation/negative_integer_literal_overflow.elna +++ b/testsuite/fail_compilation/negative_integer_literal_overflow.elna @@ -1,3 +1,5 @@ +module + var a: Int8 := -200i8 (* @Error Integer literal overflows *) diff --git a/testsuite/fail_compilation/non_constant_array_dimension.elna b/testsuite/fail_compilation/non_constant_array_dimension.elna index 8efb9e9..3c69b7e 100644 --- a/testsuite/fail_compilation/non_constant_array_dimension.elna +++ b/testsuite/fail_compilation/non_constant_array_dimension.elna @@ -1,12 +1,10 @@ +program() + proc f(len: Int) var array: [len]Int (* @Error Array dimensions for type 'Int' should be constant *) -begin - return +return -program() begin f(5) -return 0u8 - end. diff --git a/testsuite/fail_compilation/offset_not_record.elna b/testsuite/fail_compilation/offset_not_record.elna index d19e608..93459e4 100644 --- a/testsuite/fail_compilation/offset_not_record.elna +++ b/testsuite/fail_compilation/offset_not_record.elna @@ -1,9 +1,7 @@ +program() var n: Word -program() begin n := #offset(Int, top) (* @Error Type 'Int' does not support trait '#offset' *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/opaque_pointer_arithmetic.elna b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna index cb3a20e..117994a 100644 --- a/testsuite/fail_compilation/opaque_pointer_arithmetic.elna +++ b/testsuite/fail_compilation/opaque_pointer_arithmetic.elna @@ -1,12 +1,10 @@ +program() type Handle = extern var p: ^Handle -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/opaque_slice_element.elna b/testsuite/fail_compilation/opaque_slice_element.elna index f50be8a..1dc341d 100644 --- a/testsuite/fail_compilation/opaque_slice_element.elna +++ b/testsuite/fail_compilation/opaque_slice_element.elna @@ -1,3 +1,5 @@ +module + type Handle = extern diff --git a/testsuite/fail_compilation/pointer-cycle.elna b/testsuite/fail_compilation/pointer-cycle.elna index fe0258a..f2ed05c 100644 --- a/testsuite/fail_compilation/pointer-cycle.elna +++ b/testsuite/fail_compilation/pointer-cycle.elna @@ -1,3 +1,5 @@ +module + type A = ^A (* @Error Type declaration forms a cycle: A -> A *) diff --git a/testsuite/fail_compilation/proc_type_without_parameters.elna b/testsuite/fail_compilation/proc_type_without_parameters.elna index f7cdffe..d15b7f5 100644 --- a/testsuite/fail_compilation/proc_type_without_parameters.elna +++ b/testsuite/fail_compilation/proc_type_without_parameters.elna @@ -1,12 +1,10 @@ +program() var x: Int proc f() return -program() begin x := f (* @Error Expected type 'Int', but got 'proc\(\)' *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/procedure-cycle.elna b/testsuite/fail_compilation/procedure-cycle.elna index 2284605..f9a128d 100644 --- a/testsuite/fail_compilation/procedure-cycle.elna +++ b/testsuite/fail_compilation/procedure-cycle.elna @@ -1,3 +1,5 @@ +module + type A = proc() -> A (* @Error Type declaration forms a cycle: A -> A *) diff --git a/testsuite/fail_compilation/program_arguments.elna b/testsuite/fail_compilation/program_arguments.elna index e614368..73c38df 100644 --- a/testsuite/fail_compilation/program_arguments.elna +++ b/testsuite/fail_compilation/program_arguments.elna @@ -1,4 +1,2 @@ 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 f60b1aa..75c9805 100644 --- a/testsuite/fail_compilation/record-base-cycle-indirect.elna +++ b/testsuite/fail_compilation/record-base-cycle-indirect.elna @@ -1,3 +1,5 @@ +module + type A = record(B) x: Int @@ -9,8 +11,4 @@ type var v: A -program() -begin -return 0u8 - end. diff --git a/testsuite/fail_compilation/record-base-cycle.elna b/testsuite/fail_compilation/record-base-cycle.elna index 8af254d..ea3d888 100644 --- a/testsuite/fail_compilation/record-base-cycle.elna +++ b/testsuite/fail_compilation/record-base-cycle.elna @@ -1,3 +1,5 @@ +module + type R = record(R) (* @Error Type declaration forms a cycle: R -> R *) end diff --git a/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna index 621a06c..d7a8419 100644 --- a/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna +++ b/testsuite/fail_compilation/record_base_constructor_type_mismatch.elna @@ -1,3 +1,4 @@ +program() type Base = record a: Int @@ -9,9 +10,6 @@ type var c: Child -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/record_duplicate_field.elna b/testsuite/fail_compilation/record_duplicate_field.elna index 5cf69a9..0cdfbaa 100644 --- a/testsuite/fail_compilation/record_duplicate_field.elna +++ b/testsuite/fail_compilation/record_duplicate_field.elna @@ -1,3 +1,5 @@ +module + type R = record x: Int; diff --git a/testsuite/fail_compilation/record_duplicate_field_import_base/helper.elna b/testsuite/fail_compilation/record_duplicate_field_import_base/helper.elna index 0edb965..7865a3f 100644 --- a/testsuite/fail_compilation/record_duplicate_field_import_base/helper.elna +++ b/testsuite/fail_compilation/record_duplicate_field_import_base/helper.elna @@ -1,3 +1,5 @@ +module + type Parent* = record x: Int; diff --git a/testsuite/fail_compilation/record_duplicate_field_import_base/sut.elna b/testsuite/fail_compilation/record_duplicate_field_import_base/sut.elna index 58f2f3d..97d9a2f 100644 --- a/testsuite/fail_compilation/record_duplicate_field_import_base/sut.elna +++ b/testsuite/fail_compilation/record_duplicate_field_import_base/sut.elna @@ -1,3 +1,5 @@ +module + import helper type diff --git a/testsuite/fail_compilation/redefined_variable.elna b/testsuite/fail_compilation/redefined_variable.elna index 905f6ed..1856807 100644 --- a/testsuite/fail_compilation/redefined_variable.elna +++ b/testsuite/fail_compilation/redefined_variable.elna @@ -1,3 +1,5 @@ +module + var x: Int x: Int (* @Error Symbol 'x' has been already defined *) diff --git a/testsuite/fail_compilation/reference_call_result_field.elna b/testsuite/fail_compilation/reference_call_result_field.elna index d339ed9..b10d324 100644 --- a/testsuite/fail_compilation/reference_call_result_field.elna +++ b/testsuite/fail_compilation/reference_call_result_field.elna @@ -1,3 +1,4 @@ +program() type R = record x: Int @@ -13,9 +14,6 @@ begin result.x := 1 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 26d5a22..72eb986 100644 --- a/testsuite/fail_compilation/reference_literal.elna +++ b/testsuite/fail_compilation/reference_literal.elna @@ -1,9 +1,7 @@ +program() var p: ^Int -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 3875a5d..838e101 100644 --- a/testsuite/fail_compilation/reference_slicing.elna +++ b/testsuite/fail_compilation/reference_slicing.elna @@ -1,10 +1,8 @@ +program() var s: [3]Int p: ^Int -program() begin p := @s[1 to 2] (* @Error Expression of type '\[\]Int' is not addressable *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/slice-cycle.elna b/testsuite/fail_compilation/slice-cycle.elna index fe0a3e1..0ee44a9 100644 --- a/testsuite/fail_compilation/slice-cycle.elna +++ b/testsuite/fail_compilation/slice-cycle.elna @@ -1,3 +1,5 @@ +module + type A = []A (* @Error Type declaration forms a cycle: A -> A *) diff --git a/testsuite/fail_compilation/unary_minus_on_record.elna b/testsuite/fail_compilation/unary_minus_on_record.elna index d86995b..30da92c 100644 --- a/testsuite/fail_compilation/unary_minus_on_record.elna +++ b/testsuite/fail_compilation/unary_minus_on_record.elna @@ -1,3 +1,5 @@ +module + type R = record x: Int diff --git a/testsuite/fail_compilation/unary_negation_on_record.elna b/testsuite/fail_compilation/unary_negation_on_record.elna index d08d2e3..750f828 100644 --- a/testsuite/fail_compilation/unary_negation_on_record.elna +++ b/testsuite/fail_compilation/unary_negation_on_record.elna @@ -1,3 +1,5 @@ +module + type R = record x: Int diff --git a/testsuite/fail_compilation/unary_plus_on_record.elna b/testsuite/fail_compilation/unary_plus_on_record.elna index e1f6f4c..59485e3 100644 --- a/testsuite/fail_compilation/unary_plus_on_record.elna +++ b/testsuite/fail_compilation/unary_plus_on_record.elna @@ -1,3 +1,5 @@ +module + type R = record x: Int diff --git a/testsuite/fail_compilation/varargs_argument.elna b/testsuite/fail_compilation/varargs_argument.elna index 1325c29..b3b3459 100644 --- a/testsuite/fail_compilation/varargs_argument.elna +++ b/testsuite/fail_compilation/varargs_argument.elna @@ -1,12 +1,10 @@ +program() var written: Int32 proc printf(format: ^const Word8) #{varargs} -> Int32 extern -program() begin written := printf("%s".ptr, "text") (* @Error Type '\[\]const Word8' cannot be passed as a variadic argument *) -return 0u8 - end. diff --git a/testsuite/fail_compilation/varargs_attribute.elna b/testsuite/fail_compilation/varargs_attribute.elna index 1c6d3e0..ec42710 100644 --- a/testsuite/fail_compilation/varargs_attribute.elna +++ b/testsuite/fail_compilation/varargs_attribute.elna @@ -1,5 +1,6 @@ +module + proc with_body(x: Int) #{varargs} (* @Error Attribute 'varargs' is not supported in this position *) -begin return proc no_parameters() #{varargs} -> Int32 (* @Error Attribute 'varargs' requires at least one parameter *) diff --git a/testsuite/fail_compilation/while_condition.elna b/testsuite/fail_compilation/while_condition.elna index 0e4aa3c..bd54796 100644 --- a/testsuite/fail_compilation/while_condition.elna +++ b/testsuite/fail_compilation/while_condition.elna @@ -2,6 +2,4 @@ program() begin while 1 do (* @Error Condition must be a boolean expression, but got 'Int' *) end -return 0u8 - end. diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna index b36ccc3..7ae4947 100644 --- a/testsuite/runnable/aggregate_argument.elna +++ b/testsuite/runnable/aggregate_argument.elna @@ -1,3 +1,4 @@ +program() type R = record a: Int; @@ -7,9 +8,6 @@ type proc f(r: R) -> Bool return r.a = 1 & r.b = 2 -program() begin assert(f(R{a: 1, b: 2})) -return 0u8 - end. diff --git a/testsuite/runnable/aggregate_equality.elna b/testsuite/runnable/aggregate_equality.elna index be7b4f1..c9601f9 100644 --- a/testsuite/runnable/aggregate_equality.elna +++ b/testsuite/runnable/aggregate_equality.elna @@ -1,3 +1,4 @@ +program() type R = record a: Int; @@ -7,9 +8,6 @@ type proc f() -> Bool return R{a: 1, b: 2} = R{a: 1, b: 2} -program() begin assert(f()) -return 0u8 - end. diff --git a/testsuite/runnable/aligned_attribute.elna b/testsuite/runnable/aligned_attribute.elna index 45c0c37..e339faf 100644 --- a/testsuite/runnable/aligned_attribute.elna +++ b/testsuite/runnable/aligned_attribute.elna @@ -1,3 +1,4 @@ +program() type Plain = record a: Word8; @@ -23,7 +24,6 @@ var first: ^Word8 second: ^Word8 -program() begin assert(#size(Plain) = 2u); assert(#size(Spread) = 16u); @@ -36,6 +36,4 @@ begin first := @spread.a; second := @spread.b; assert(cast(second: Word) - cast(first: Word) = 8u) -return 0u8 - end. diff --git a/testsuite/runnable/array_constructor.elna b/testsuite/runnable/array_constructor.elna index 50d243a..fd22235 100644 --- a/testsuite/runnable/array_constructor.elna +++ b/testsuite/runnable/array_constructor.elna @@ -1,14 +1,12 @@ +program() var a: [3]Int := [1, 2, 3] b: [2]Int := [4, 0] -program() begin assert(a[1] = 1 & a[2] = 2 & a[3] = 3); assert(b[1] = 4 & b[2] = 0); a := [5, 6, 7]; assert(a[1] = 5 & a[2] = 6 & a[3] = 7) -return 0u8 - end. diff --git a/testsuite/runnable/binary_literal.elna b/testsuite/runnable/binary_literal.elna index 4f0fc97..6380f24 100644 --- a/testsuite/runnable/binary_literal.elna +++ b/testsuite/runnable/binary_literal.elna @@ -2,6 +2,4 @@ program() begin assert(0b11 = 3u); assert(0B011 = 3u) -return 0u8 - end. diff --git a/testsuite/runnable/block_local_variable.elna b/testsuite/runnable/block_local_variable.elna index 6287eec..8d52b1c 100644 --- a/testsuite/runnable/block_local_variable.elna +++ b/testsuite/runnable/block_local_variable.elna @@ -1,6 +1,7 @@ program() var total: Int := 0 + begin if total = 0 then var @@ -9,6 +10,4 @@ begin total := total + inner end; assert(total = 7) -return 0u8 - end. diff --git a/testsuite/runnable/case_constant_label.elna b/testsuite/runnable/case_constant_label.elna index 49fa2c2..1b01736 100644 --- a/testsuite/runnable/case_constant_label.elna +++ b/testsuite/runnable/case_constant_label.elna @@ -1,16 +1,14 @@ +program() var base: const Int := 2 limit: const Int := base x: Int := 2 matched: Bool := false -program() begin case x of 1: assert(false) | limit: matched := true end; assert(matched) -return 0u8 - end. diff --git a/testsuite/runnable/case_else.elna b/testsuite/runnable/case_else.elna index 68330da..bc84069 100644 --- a/testsuite/runnable/case_else.elna +++ b/testsuite/runnable/case_else.elna @@ -1,8 +1,8 @@ +program() var x: Int := 5 matched: Bool := false -program() begin case x of 1: assert(false) @@ -12,6 +12,4 @@ begin matched := true end; assert(matched) -return 0u8 - end. diff --git a/testsuite/runnable/case_int.elna b/testsuite/runnable/case_int.elna index 3a446d6..018018c 100644 --- a/testsuite/runnable/case_int.elna +++ b/testsuite/runnable/case_int.elna @@ -1,7 +1,7 @@ +program() var x: Int := 2 -program() begin case x of 1: assert(false) @@ -10,6 +10,4 @@ begin else assert(false) end -return 0u8 - end. diff --git a/testsuite/runnable/case_multilabel.elna b/testsuite/runnable/case_multilabel.elna index 3a042d2..44bb150 100644 --- a/testsuite/runnable/case_multilabel.elna +++ b/testsuite/runnable/case_multilabel.elna @@ -1,7 +1,7 @@ +program() var x: Int := 3 -program() begin case x of 1, 2, 3: assert(true) @@ -9,6 +9,4 @@ begin else assert(false) end -return 0u8 - end. diff --git a/testsuite/runnable/case_record.elna b/testsuite/runnable/case_record.elna index 25b3eb4..db8a6ff 100644 --- a/testsuite/runnable/case_record.elna +++ b/testsuite/runnable/case_record.elna @@ -1,3 +1,4 @@ +program() type R = record a: Int; @@ -7,7 +8,6 @@ type var r: R := R{a: 1, b: 2} -program() begin case r of R{a: 0, b: 0}: assert(false) @@ -15,6 +15,4 @@ begin else assert(false) end -return 0u8 - end. diff --git a/testsuite/runnable/compile_time_array_access.elna b/testsuite/runnable/compile_time_array_access.elna index 825e8d5..5ce10a0 100644 --- a/testsuite/runnable/compile_time_array_access.elna +++ b/testsuite/runnable/compile_time_array_access.elna @@ -1,10 +1,8 @@ +program() var array: const [3]Int := [1, 2, 3] i: const Int := array[2] -program() begin assert(i = 2) -return 0u8 - end. diff --git a/testsuite/runnable/const_copy.elna b/testsuite/runnable/const_copy.elna index fde423b..3b7cd1b 100644 --- a/testsuite/runnable/const_copy.elna +++ b/testsuite/runnable/const_copy.elna @@ -1,3 +1,4 @@ +program() proc f() var x: const Int := 5 @@ -7,9 +8,6 @@ begin assert(y = 5) return -program() begin f() -return 0u8 - end. diff --git a/testsuite/runnable/const_initialization.elna b/testsuite/runnable/const_initialization.elna index b388845..b4272f4 100644 --- a/testsuite/runnable/const_initialization.elna +++ b/testsuite/runnable/const_initialization.elna @@ -1,3 +1,4 @@ +program() proc f() var x: const Int := 5 @@ -5,9 +6,6 @@ begin assert(x = 5) return -program() begin f() -return 0u8 - end. diff --git a/testsuite/runnable/constant_string_initializer.elna b/testsuite/runnable/constant_string_initializer.elna index 0982373..b33b255 100644 --- a/testsuite/runnable/constant_string_initializer.elna +++ b/testsuite/runnable/constant_string_initializer.elna @@ -1,9 +1,7 @@ +program() var s: []const Word8 := "String value" -program() begin assert(s = "String value") -return 0u8 - end. diff --git a/testsuite/runnable/define_multiple_local_variables.elna b/testsuite/runnable/define_multiple_local_variables.elna index bd4ba68..13bb357 100644 --- a/testsuite/runnable/define_multiple_local_variables.elna +++ b/testsuite/runnable/define_multiple_local_variables.elna @@ -1,11 +1,9 @@ +program() proc f() -> Bool var a, b: Int := 5 return a = 5 & b = 5 -program() begin assert(f()) -return 0u8 - end. diff --git a/testsuite/runnable/exported_variable/helper.elna b/testsuite/runnable/exported_variable/helper.elna index 23924be..4b2c9ba 100644 --- a/testsuite/runnable/exported_variable/helper.elna +++ b/testsuite/runnable/exported_variable/helper.elna @@ -1,3 +1,5 @@ +module + var Shared*: Int := 42 diff --git a/testsuite/runnable/exported_variable/sut.elna b/testsuite/runnable/exported_variable/sut.elna index 753293d..1d0449e 100644 --- a/testsuite/runnable/exported_variable/sut.elna +++ b/testsuite/runnable/exported_variable/sut.elna @@ -1,8 +1,6 @@ +program() import helper -program() begin assert(Shared = 42) -return 0u8 - end. diff --git a/testsuite/runnable/fixed_int_max.elna b/testsuite/runnable/fixed_int_max.elna index 7ccf2fb..f00fd60 100644 --- a/testsuite/runnable/fixed_int_max.elna +++ b/testsuite/runnable/fixed_int_max.elna @@ -4,6 +4,4 @@ begin assert(#max(Int16) = 32767i16); assert(#max(Int32) = 2147483647i32); assert(#max(Int64) = 9223372036854775807i64) -return 0u8 - end. diff --git a/testsuite/runnable/fixed_int_min.elna b/testsuite/runnable/fixed_int_min.elna index f9522fd..fd6b110 100644 --- a/testsuite/runnable/fixed_int_min.elna +++ b/testsuite/runnable/fixed_int_min.elna @@ -4,6 +4,4 @@ begin assert(#min(Int16) = -32768i16); assert(#min(Int32) = -2147483648i32); assert(#min(Int64) = -9223372036854775808i64) -return 0u8 - end. diff --git a/testsuite/runnable/fixed_word_max.elna b/testsuite/runnable/fixed_word_max.elna index 8fb8d27..c657614 100644 --- a/testsuite/runnable/fixed_word_max.elna +++ b/testsuite/runnable/fixed_word_max.elna @@ -4,6 +4,4 @@ begin assert(#max(Word16) = 65535u16); assert(#max(Word32) = 4294967295u32); assert(#max(Word64) = 18446744073709551615u64) -return 0u8 - end. diff --git a/testsuite/runnable/float_arithmetic.elna b/testsuite/runnable/float_arithmetic.elna index e98a26d..f792b04 100644 --- a/testsuite/runnable/float_arithmetic.elna +++ b/testsuite/runnable/float_arithmetic.elna @@ -11,6 +11,4 @@ begin assert(3.0f * 0.5f = 1.5f); assert(1.0f / 4.0f = 0.25f); assert(-3.14f < 0.0f) -return 0u8 - end. diff --git a/testsuite/runnable/float_cast.elna b/testsuite/runnable/float_cast.elna index 08d14c5..26cb0d2 100644 --- a/testsuite/runnable/float_cast.elna +++ b/testsuite/runnable/float_cast.elna @@ -1,12 +1,10 @@ +program() var folded: Int := cast(2.9: Int) measure: Double := -2.9 -program() begin assert(folded = 2); assert(cast(measure: Int) = -2); assert(cast(folded: Double) = 2.0) -return 0u8 - end. diff --git a/testsuite/runnable/for_call.elna b/testsuite/runnable/for_call.elna index a2fcd06..6c72b38 100644 --- a/testsuite/runnable/for_call.elna +++ b/testsuite/runnable/for_call.elna @@ -1,3 +1,4 @@ +program() var actual: [2]Int := [0, 0] @@ -6,12 +7,9 @@ begin element^ := 1 return -program() begin for x of actual do set_element(x) end; assert(actual = [1, 1]) -return 0u8 - end. diff --git a/testsuite/runnable/for_defer.elna b/testsuite/runnable/for_defer.elna index 04f0404..7a350a0 100644 --- a/testsuite/runnable/for_defer.elna +++ b/testsuite/runnable/for_defer.elna @@ -1,7 +1,7 @@ +program() var array: [2]Int := [0, 0] -program() begin for x of array do defer @@ -9,6 +9,4 @@ begin end end; assert(array = [1, 1]) -return 0u8 - end. diff --git a/testsuite/runnable/for_each_array.elna b/testsuite/runnable/for_each_array.elna index 6eae577..5a754da 100644 --- a/testsuite/runnable/for_each_array.elna +++ b/testsuite/runnable/for_each_array.elna @@ -1,15 +1,13 @@ +program() var actual: [4]Word := [0u, 0u, 0u, 0u] input: [4]Word := [2u, 4u, 6u, 8u] i: Word := 1u -program() begin for element of input do actual[i] := element^ * 2u; i := i + 1u end; assert(actual = [4u, 8u, 12u, 16u]) -return 0u8 - end. diff --git a/testsuite/runnable/for_each_slice.elna b/testsuite/runnable/for_each_slice.elna index bfc8b44..31bc65a 100644 --- a/testsuite/runnable/for_each_slice.elna +++ b/testsuite/runnable/for_each_slice.elna @@ -1,10 +1,10 @@ +program() var actual: [4]Word := [0u, 0u, 0u, 0u] input: [4]Word := [2u, 4u, 6u, 8u] slice: []Word i: Word := 1u -program() begin slice := input[1u to input.length]; @@ -13,6 +13,4 @@ begin i := i + 1u end; assert(actual = [4u, 8u, 12u, 16u]) -return 0u8 - end. diff --git a/testsuite/runnable/for_with.elna b/testsuite/runnable/for_with.elna index 0859ed0..b3727f6 100644 --- a/testsuite/runnable/for_with.elna +++ b/testsuite/runnable/for_with.elna @@ -1,11 +1,10 @@ program() var actual: [3]Word := [0u, 0u, 0u] + begin for element of [1u, 2u, 3u] with i do actual[i] := i * element^ end; assert(actual = [1u, 4u, 9u]) -return 0u8 - end. diff --git a/testsuite/runnable/generic_base.elna b/testsuite/runnable/generic_base.elna index c36eccf..63737e0 100644 --- a/testsuite/runnable/generic_base.elna +++ b/testsuite/runnable/generic_base.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -29,7 +30,6 @@ begin target^.tail := value return -program() begin seen := @jobs; enqueue(@jobs, @f); @@ -37,6 +37,4 @@ begin assert(jobs.head = @f); assert(jobs.tail = @f); assert(#size(Queue#[^File]) = #size(Pointer) * 3u) -return 0u8 - end. diff --git a/testsuite/runnable/generic_constructor.elna b/testsuite/runnable/generic_constructor.elna index 201e1b1..d0a3f78 100644 --- a/testsuite/runnable/generic_constructor.elna +++ b/testsuite/runnable/generic_constructor.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -12,11 +13,8 @@ var s: Stack#[^File] f: File -program() begin s := Stack#[^File]{ top: 1u, items: @f }; assert(s.top = 1u); assert(s.items = @f) -return 0u8 - end. diff --git a/testsuite/runnable/generic_erasure.elna b/testsuite/runnable/generic_erasure.elna index eccc1d2..20862fa 100644 --- a/testsuite/runnable/generic_erasure.elna +++ b/testsuite/runnable/generic_erasure.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -18,7 +19,6 @@ begin target^.held := value return -program() begin f.fd := 7; b := 3u8; @@ -26,6 +26,4 @@ begin store#[^Word8](@bytes, @b); assert(files.held^.fd = 7); assert(bytes.held^ = 3u8) -return 0u8 - end. diff --git a/testsuite/runnable/generic_pointer_arithmetic.elna b/testsuite/runnable/generic_pointer_arithmetic.elna index fe1e197..209287d 100644 --- a/testsuite/runnable/generic_pointer_arithmetic.elna +++ b/testsuite/runnable/generic_pointer_arithmetic.elna @@ -1,16 +1,14 @@ +program() var base: [4]Int element: ^Int first: Pointer second: Pointer -program() begin element := base.ptr; first := element; second := first + 1; assert(cast(second : Word) - cast(first : Word) = 1u); assert(second - 1 = first) -return 0u8 - end. diff --git a/testsuite/runnable/generic_record.elna b/testsuite/runnable/generic_record.elna index 8a334ce..4164c3d 100644 --- a/testsuite/runnable/generic_record.elna +++ b/testsuite/runnable/generic_record.elna @@ -1,3 +1,4 @@ +program() type File = record fd: Int @@ -18,12 +19,9 @@ begin target^.top := target^.top + 1u return -program() begin s.top := 0u; push#[^File](@s, @f); assert(s.top = 1u); assert(s.items = @f) -return 0u8 - end. diff --git a/testsuite/runnable/hexadecimal_literal.elna b/testsuite/runnable/hexadecimal_literal.elna index 02bc4c5..a168bd2 100644 --- a/testsuite/runnable/hexadecimal_literal.elna +++ b/testsuite/runnable/hexadecimal_literal.elna @@ -2,6 +2,4 @@ program() begin assert(0xff = 255u); assert(0X0f = 15u) -return 0u8 - end. diff --git a/testsuite/runnable/multi_module/helper.elna b/testsuite/runnable/multi_module/helper.elna index 5fd68af..c3c0bfd 100644 --- a/testsuite/runnable/multi_module/helper.elna +++ b/testsuite/runnable/multi_module/helper.elna @@ -1,3 +1,5 @@ +module + proc multiply*(x, y: Int) -> Int return x * y diff --git a/testsuite/runnable/multi_module/sut.elna b/testsuite/runnable/multi_module/sut.elna index 5ad6860..4b6e176 100644 --- a/testsuite/runnable/multi_module/sut.elna +++ b/testsuite/runnable/multi_module/sut.elna @@ -1,8 +1,6 @@ +program() import helper -program() begin assert(multiply(3, 4) = 12) -return 0u8 - end. diff --git a/testsuite/runnable/named_block.elna b/testsuite/runnable/named_block.elna index a9c44ed..0ba7eff 100644 --- a/testsuite/runnable/named_block.elna +++ b/testsuite/runnable/named_block.elna @@ -1,7 +1,7 @@ +program() var counter: Int := 0 -program() begin block outer while true do @@ -13,6 +13,4 @@ begin end end; assert(counter = 11) -return 0u8 - end. diff --git a/testsuite/runnable/procedure_cast.elna b/testsuite/runnable/procedure_cast.elna index 724fadf..191afbf 100644 --- a/testsuite/runnable/procedure_cast.elna +++ b/testsuite/runnable/procedure_cast.elna @@ -1,12 +1,11 @@ -var cb: proc(x: ^Char) -> Int +program() +var + cb: proc(x: ^Char) -> Int proc probe_int(x: ^Int) -> Int return 42 -program() begin cb := cast(probe_int: proc(x: ^Char) -> Int); assert(cb(nil) = 42) -return 0u8 - end. diff --git a/testsuite/runnable/record_base_assignment.elna b/testsuite/runnable/record_base_assignment.elna index 5f84f20..7ad17e0 100644 --- a/testsuite/runnable/record_base_assignment.elna +++ b/testsuite/runnable/record_base_assignment.elna @@ -1,3 +1,4 @@ +program() type B = record x: Word @@ -16,9 +17,6 @@ begin assert(r.x = 3u & r.y = 2u) return -program() begin f() -return 0u8 - end. diff --git a/testsuite/runnable/record_base_constructor.elna b/testsuite/runnable/record_base_constructor.elna index 52936e9..80b6802 100644 --- a/testsuite/runnable/record_base_constructor.elna +++ b/testsuite/runnable/record_base_constructor.elna @@ -1,3 +1,4 @@ +program() type Base = record a: Int @@ -12,11 +13,8 @@ type var g: Grandchild := Grandchild{a: 3, b: 5, c: 7} -program() begin assert(g.a = 3); assert(g.b = 5); assert(g.c = 7) -return 0u8 - end. diff --git a/testsuite/runnable/record_construction.elna b/testsuite/runnable/record_construction.elna index ca99859..5a3a254 100644 --- a/testsuite/runnable/record_construction.elna +++ b/testsuite/runnable/record_construction.elna @@ -1,3 +1,4 @@ +program() type R = record x, y: Int @@ -6,9 +7,6 @@ type var r: R := R{x: 1, y: 2} -program() begin assert(r.x = 1 & r.y = 2) -return 0u8 - end. diff --git a/testsuite/runnable/record_extension.elna b/testsuite/runnable/record_extension.elna index 5f61d60..95165f4 100644 --- a/testsuite/runnable/record_extension.elna +++ b/testsuite/runnable/record_extension.elna @@ -1,3 +1,4 @@ +program() type ElnaLexerToken = record kind: Word @@ -10,12 +11,9 @@ var token_memory: ElnaLexerStringToken current_token: ^ElnaLexerToken -program() begin current_token := @token_memory; cast(current_token: ^ElnaLexerStringToken)^.value := "Some string"; assert(token_memory.value = "Some string") -return 0u8 - end. diff --git a/testsuite/runnable/record_layout.elna b/testsuite/runnable/record_layout.elna index 6150a32..a3e64c4 100644 --- a/testsuite/runnable/record_layout.elna +++ b/testsuite/runnable/record_layout.elna @@ -1,3 +1,4 @@ +program() type IntChar = record x: Int; @@ -50,9 +51,6 @@ begin assert(array_record_c_offset = 3u * int_size) return -program() begin f() -return 0u8 - end. diff --git a/testsuite/runnable/recursive_record.elna b/testsuite/runnable/recursive_record.elna index 5c59e64..48fb873 100644 --- a/testsuite/runnable/recursive_record.elna +++ b/testsuite/runnable/recursive_record.elna @@ -1,3 +1,4 @@ +program() type Node = record value: Int; @@ -27,7 +28,6 @@ begin end; return result -program() begin first := malloc(#size(Node)); second := malloc(#size(Node)); @@ -46,6 +46,4 @@ begin free(first); free(second); free(third) -return 0u8 - end. diff --git a/testsuite/runnable/repeat_loop.elna b/testsuite/runnable/repeat_loop.elna index 084b801..ff09735 100644 --- a/testsuite/runnable/repeat_loop.elna +++ b/testsuite/runnable/repeat_loop.elna @@ -1,14 +1,12 @@ +program() var actual: [4]Word := [0u, 0u, 0u, 0u] i: Word := 0u -program() begin repeat i := i + 1u; actual[i] := i until i = 4u; assert(actual = [1u, 2u, 3u, 4u]) -return 0u8 - end. diff --git a/testsuite/runnable/return_aggregate.elna b/testsuite/runnable/return_aggregate.elna index 4377d94..6959b60 100644 --- a/testsuite/runnable/return_aggregate.elna +++ b/testsuite/runnable/return_aggregate.elna @@ -1,3 +1,4 @@ +program() type R = record a: Int; @@ -7,9 +8,6 @@ type proc f() -> R return R{ a: 1, b: 2 } -program() begin assert(f() = R{ a: 1, b: 2 }) -return 0u8 - end. diff --git a/testsuite/runnable/slice_array.elna b/testsuite/runnable/slice_array.elna index 7a889a3..4d7ad7e 100644 --- a/testsuite/runnable/slice_array.elna +++ b/testsuite/runnable/slice_array.elna @@ -1,14 +1,12 @@ +program() var array: [3]Int := [2, 4, 6] slice: []Int -program() begin slice := array[1 to 3]; assert(slice.length = 3u); assert(slice[1] = 2); assert(slice[3] = 6) -return 0u8 - end. diff --git a/testsuite/runnable/slice_cast.elna b/testsuite/runnable/slice_cast.elna index 0d4a861..d3309f9 100644 --- a/testsuite/runnable/slice_cast.elna +++ b/testsuite/runnable/slice_cast.elna @@ -1,9 +1,7 @@ +program() var ints: [4]Int32 := [1i32, 2i32, 3i32, 4i32] -program() begin assert(cast(ints[1u to 4u]: []Int8).length = #size(Int32) * ints.length) -return 0u8 - end. diff --git a/testsuite/runnable/slice_equality.elna b/testsuite/runnable/slice_equality.elna index 1510f40..534afec 100644 --- a/testsuite/runnable/slice_equality.elna +++ b/testsuite/runnable/slice_equality.elna @@ -1,13 +1,11 @@ +program() var lhs_payload, rhs_payload: [3]Int := [2, 4, 6] lhs, rhs: []Int -program() begin lhs := lhs_payload[1 to 3]; rhs := rhs_payload[1 to 3]; assert(lhs = rhs) -return 0u8 - end. diff --git a/testsuite/runnable/slice_pointer.elna b/testsuite/runnable/slice_pointer.elna index c19e64a..150bda8 100644 --- a/testsuite/runnable/slice_pointer.elna +++ b/testsuite/runnable/slice_pointer.elna @@ -1,14 +1,12 @@ +program() var array: [3]Int := [2, 4, 6] slice: []Int -program() begin slice := array.ptr[1 to 3]; assert(slice.length = 3u); assert(slice[1] = 2); assert(slice[3] = 6) -return 0u8 - end. diff --git a/testsuite/runnable/slice_slice.elna b/testsuite/runnable/slice_slice.elna index fcfea8b..6395cea 100644 --- a/testsuite/runnable/slice_slice.elna +++ b/testsuite/runnable/slice_slice.elna @@ -1,8 +1,8 @@ +program() var array: [5]Int := [2, 4, 6, 8, 10] slice1, slice2: []Int -program() begin slice1 := array[1 to array.length]; slice2 := slice1[2 to 4]; @@ -11,6 +11,4 @@ begin assert(slice2[1] = 4); assert(slice2[2] = 6); assert(slice2[3] = 8) -return 0u8 - end. diff --git a/testsuite/runnable/two_fields_same_type.elna b/testsuite/runnable/two_fields_same_type.elna index af591e4..2b905b6 100644 --- a/testsuite/runnable/two_fields_same_type.elna +++ b/testsuite/runnable/two_fields_same_type.elna @@ -1,3 +1,4 @@ +program() type R = record x, y: Int @@ -8,9 +9,6 @@ var r: R := R{x: 3, y: 2} return r.x + r.y -program() begin assert(f() = 5) -return 0u8 - end. diff --git a/testsuite/runnable/two_parameters_same_type.elna b/testsuite/runnable/two_parameters_same_type.elna index 08a1b5a..18e3d63 100644 --- a/testsuite/runnable/two_parameters_same_type.elna +++ b/testsuite/runnable/two_parameters_same_type.elna @@ -1,9 +1,8 @@ +program() + proc f(x, y: Int) -> Int return x + y -program() begin assert(f(2, 3) = 5) -return 0u8 - end. diff --git a/testsuite/runnable/unary_plus.elna b/testsuite/runnable/unary_plus.elna index 7f331d4..4df6922 100644 --- a/testsuite/runnable/unary_plus.elna +++ b/testsuite/runnable/unary_plus.elna @@ -1,11 +1,10 @@ +program() + proc f(x: Int) -> Int return +x -program() begin assert(+3 = 3); assert(f(5) = 5); assert(f(-7) = -7) -return 0u8 - end. diff --git a/testsuite/runnable/unicode_escape_character.elna b/testsuite/runnable/unicode_escape_character.elna index f5a4b3f..0cfd3e2 100644 --- a/testsuite/runnable/unicode_escape_character.elna +++ b/testsuite/runnable/unicode_escape_character.elna @@ -2,6 +2,4 @@ program() begin assert(`\{U+E9}` = `é`); assert(`\{U+1F600}` = `😀`) -return 0u8 - end. diff --git a/testsuite/runnable/unicode_escape_string.elna b/testsuite/runnable/unicode_escape_string.elna index 20be668..bec794a 100644 --- a/testsuite/runnable/unicode_escape_string.elna +++ b/testsuite/runnable/unicode_escape_string.elna @@ -2,6 +2,4 @@ program() begin assert("caf\{U+E9}" = "café"); assert("Hi \{U+1F600}!" = "Hi 😀!") -return 0u8 - end. diff --git a/testsuite/runnable/varargs.elna b/testsuite/runnable/varargs.elna index feeb94b..1bf16e9 100644 --- a/testsuite/runnable/varargs.elna +++ b/testsuite/runnable/varargs.elna @@ -1,3 +1,4 @@ +program() var buffer: [8]Word8 written: Int32 @@ -5,12 +6,9 @@ var proc snprintf(buffer: ^Word8; size: Word; format: ^const Word8) #{varargs} -> Int32 extern -program() begin written := snprintf(@buffer[1], 8u, "%d %.1f".ptr, 200u8, 1.5f); assert(written = 7i32); assert(buffer[1] = '2'); assert(buffer[7] = '5') -return 0u8 - end. |