Make module entry point more procedure like

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.