aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/runnable')
-rw-r--r--testsuite/runnable/aggregate_argument.elna4
-rw-r--r--testsuite/runnable/aggregate_equality.elna4
-rw-r--r--testsuite/runnable/aligned_attribute.elna4
-rw-r--r--testsuite/runnable/array_constructor.elna4
-rw-r--r--testsuite/runnable/binary_literal.elna2
-rw-r--r--testsuite/runnable/block_local_variable.elna3
-rw-r--r--testsuite/runnable/case_constant_label.elna4
-rw-r--r--testsuite/runnable/case_else.elna4
-rw-r--r--testsuite/runnable/case_int.elna4
-rw-r--r--testsuite/runnable/case_multilabel.elna4
-rw-r--r--testsuite/runnable/case_record.elna4
-rw-r--r--testsuite/runnable/compile_time_array_access.elna4
-rw-r--r--testsuite/runnable/const_copy.elna4
-rw-r--r--testsuite/runnable/const_initialization.elna4
-rw-r--r--testsuite/runnable/constant_string_initializer.elna4
-rw-r--r--testsuite/runnable/define_multiple_local_variables.elna4
-rw-r--r--testsuite/runnable/exported_variable/helper.elna2
-rw-r--r--testsuite/runnable/exported_variable/sut.elna4
-rw-r--r--testsuite/runnable/fixed_int_max.elna2
-rw-r--r--testsuite/runnable/fixed_int_min.elna2
-rw-r--r--testsuite/runnable/fixed_word_max.elna2
-rw-r--r--testsuite/runnable/float_arithmetic.elna2
-rw-r--r--testsuite/runnable/float_cast.elna4
-rw-r--r--testsuite/runnable/for_call.elna4
-rw-r--r--testsuite/runnable/for_defer.elna4
-rw-r--r--testsuite/runnable/for_each_array.elna4
-rw-r--r--testsuite/runnable/for_each_slice.elna4
-rw-r--r--testsuite/runnable/for_with.elna3
-rw-r--r--testsuite/runnable/generic_base.elna4
-rw-r--r--testsuite/runnable/generic_constructor.elna4
-rw-r--r--testsuite/runnable/generic_erasure.elna4
-rw-r--r--testsuite/runnable/generic_pointer_arithmetic.elna4
-rw-r--r--testsuite/runnable/generic_record.elna4
-rw-r--r--testsuite/runnable/hexadecimal_literal.elna2
-rw-r--r--testsuite/runnable/multi_module/helper.elna2
-rw-r--r--testsuite/runnable/multi_module/sut.elna4
-rw-r--r--testsuite/runnable/named_block.elna4
-rw-r--r--testsuite/runnable/procedure_cast.elna7
-rw-r--r--testsuite/runnable/record_base_assignment.elna4
-rw-r--r--testsuite/runnable/record_base_constructor.elna4
-rw-r--r--testsuite/runnable/record_construction.elna4
-rw-r--r--testsuite/runnable/record_extension.elna4
-rw-r--r--testsuite/runnable/record_layout.elna4
-rw-r--r--testsuite/runnable/recursive_record.elna4
-rw-r--r--testsuite/runnable/repeat_loop.elna4
-rw-r--r--testsuite/runnable/return_aggregate.elna4
-rw-r--r--testsuite/runnable/slice_array.elna4
-rw-r--r--testsuite/runnable/slice_cast.elna4
-rw-r--r--testsuite/runnable/slice_equality.elna4
-rw-r--r--testsuite/runnable/slice_pointer.elna4
-rw-r--r--testsuite/runnable/slice_slice.elna4
-rw-r--r--testsuite/runnable/two_fields_same_type.elna4
-rw-r--r--testsuite/runnable/two_parameters_same_type.elna5
-rw-r--r--testsuite/runnable/unary_plus.elna5
-rw-r--r--testsuite/runnable/unicode_escape_character.elna2
-rw-r--r--testsuite/runnable/unicode_escape_string.elna2
-rw-r--r--testsuite/runnable/varargs.elna4
57 files changed, 55 insertions, 156 deletions
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.