diff options
Diffstat (limited to 'testsuite/runnable')
| -rw-r--r-- | testsuite/runnable/aggregate_argument.elna | 17 | ||||
| -rw-r--r-- | testsuite/runnable/aggregate_equality.elna | 17 | ||||
| -rw-r--r-- | testsuite/runnable/array_constructor.elna | 1 | ||||
| -rw-r--r-- | testsuite/runnable/define_multiple_local_variables.elna | 16 | ||||
| -rw-r--r-- | testsuite/runnable/record_base_assignment.elna | 11 | ||||
| -rw-r--r-- | testsuite/runnable/record_construction.elna | 1 | ||||
| -rw-r--r-- | testsuite/runnable/record_extension.elna | 3 | ||||
| -rw-r--r-- | testsuite/runnable/return_aggregate.elna | 7 | ||||
| -rw-r--r-- | testsuite/runnable/two_fields_same_type.elna | 6 | ||||
| -rw-r--r-- | testsuite/runnable/two_parameters_same_type.elna | 7 |
10 files changed, 24 insertions, 62 deletions
diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna index b92e460..89059db 100644 --- a/testsuite/runnable/aggregate_argument.elna +++ b/testsuite/runnable/aggregate_argument.elna @@ -4,18 +4,9 @@ type b: Int end -proc f(r: R): Int -var - result: Int -begin - if r.a = 1 & r.b = 2 then - result := 0 - else - result := 1 - end; - return result -end - -return f(R(1, 2)) +proc f(r: R): Bool +return r.a = 1 & r.b = 2 +begin + assert(f(R(1, 2))) end. diff --git a/testsuite/runnable/aggregate_equality.elna b/testsuite/runnable/aggregate_equality.elna index 9f9e8fc..9cd9ab5 100644 --- a/testsuite/runnable/aggregate_equality.elna +++ b/testsuite/runnable/aggregate_equality.elna @@ -4,18 +4,9 @@ type b: Int end -proc f(): Int -var - result: Int -begin - if R(1, 2) = R(1, 2) then - result := 0 - else - result := 1 - end; - return result -end - -return f() +proc f(): Bool +return R(1, 2) = R(1, 2) +begin + assert(f()) end. diff --git a/testsuite/runnable/array_constructor.elna b/testsuite/runnable/array_constructor.elna index 2ce3578..feefbe7 100644 --- a/testsuite/runnable/array_constructor.elna +++ b/testsuite/runnable/array_constructor.elna @@ -8,5 +8,4 @@ begin a := [3]Int{5, 6, 7}; assert(a[1] = 5 & a[2] = 6 & a[3] = 7) -return 0 end. diff --git a/testsuite/runnable/define_multiple_local_variables.elna b/testsuite/runnable/define_multiple_local_variables.elna index afae692..51b99ac 100644 --- a/testsuite/runnable/define_multiple_local_variables.elna +++ b/testsuite/runnable/define_multiple_local_variables.elna @@ -1,16 +1,8 @@ -proc f(): Int +proc f(): Bool var a, b: Int := 5 - result: Int -begin - if a = 5 & b = 5 then - result := 0 - else - result := 1 - end; - return result -end - -return f() +return a = 5 & b = 5 +begin + assert(f()) end. diff --git a/testsuite/runnable/record_base_assignment.elna b/testsuite/runnable/record_base_assignment.elna index c91383d..2a15d0f 100644 --- a/testsuite/runnable/record_base_assignment.elna +++ b/testsuite/runnable/record_base_assignment.elna @@ -6,17 +6,16 @@ type y: Word end -proc f(): Int +proc f() var r: R begin r.x := 3u; r.y := 2u; - assert(r.x = 3u & r.y = 2u); + assert(r.x = 3u & r.y = 2u) +return - return 0 -end - - return f() +begin + f() end. diff --git a/testsuite/runnable/record_construction.elna b/testsuite/runnable/record_construction.elna index 00e60db..2bbc493 100644 --- a/testsuite/runnable/record_construction.elna +++ b/testsuite/runnable/record_construction.elna @@ -8,5 +8,4 @@ var begin assert(r.x = 1 & r.y = 2) -return 0 end. diff --git a/testsuite/runnable/record_extension.elna b/testsuite/runnable/record_extension.elna index 161361b..1aae5b3 100644 --- a/testsuite/runnable/record_extension.elna +++ b/testsuite/runnable/record_extension.elna @@ -14,6 +14,5 @@ begin current_token := @token_memory; cast(current_token: ^ElnaLexerStringToken)^.value := "Some string"; - assert(token_memory.value = "Some string"); - return 0 + assert(token_memory.value = "Some string") end. diff --git a/testsuite/runnable/return_aggregate.elna b/testsuite/runnable/return_aggregate.elna index fc37565..820f72f 100644 --- a/testsuite/runnable/return_aggregate.elna +++ b/testsuite/runnable/return_aggregate.elna @@ -5,11 +5,8 @@ type end proc f(): R - return R(1, 2) -end +return R(1, 2) begin - assert(f() = R(1, 2)); - - return 0 + assert(f() = R(1, 2)) end. diff --git a/testsuite/runnable/two_fields_same_type.elna b/testsuite/runnable/two_fields_same_type.elna index b881dda..0ebcb4e 100644 --- a/testsuite/runnable/two_fields_same_type.elna +++ b/testsuite/runnable/two_fields_same_type.elna @@ -6,11 +6,9 @@ type proc f(): Int var r: R := R(3, 2) +return r.x + r.y - return r.x + r.y -end begin - assert(f() = 5); - return 0 + assert(f() = 5) end. diff --git a/testsuite/runnable/two_parameters_same_type.elna b/testsuite/runnable/two_parameters_same_type.elna index 34e70eb..bd9b271 100644 --- a/testsuite/runnable/two_parameters_same_type.elna +++ b/testsuite/runnable/two_parameters_same_type.elna @@ -1,9 +1,6 @@ proc f(x, y: Int): Int - return x + y -end +return x + y begin - assert(f(2, 3) = 5); - return 0 - + assert(f(2, 3) = 5) end. |
