diff options
Diffstat (limited to 'testsuite/runnable')
| -rw-r--r-- | testsuite/runnable/aggregate_argument.elna | 2 | ||||
| -rw-r--r-- | testsuite/runnable/aggregate_equality.elna | 2 | ||||
| -rw-r--r-- | testsuite/runnable/define_multiple_local_variables.elna | 16 | ||||
| -rw-r--r-- | testsuite/runnable/return_aggregate.elna | 16 | ||||
| -rw-r--r-- | testsuite/runnable/two_parameters_same_type.elna | 9 |
5 files changed, 30 insertions, 15 deletions
diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna index 2492a0b..b92e460 100644 --- a/testsuite/runnable/aggregate_argument.elna +++ b/testsuite/runnable/aggregate_argument.elna @@ -4,7 +4,7 @@ type b: Int end -proc f(r: R) -> Int +proc f(r: R): Int var result: Int begin diff --git a/testsuite/runnable/aggregate_equality.elna b/testsuite/runnable/aggregate_equality.elna index 119efbd..9f9e8fc 100644 --- a/testsuite/runnable/aggregate_equality.elna +++ b/testsuite/runnable/aggregate_equality.elna @@ -4,7 +4,7 @@ type b: Int end -proc f() -> Int +proc f(): Int var result: Int begin diff --git a/testsuite/runnable/define_multiple_local_variables.elna b/testsuite/runnable/define_multiple_local_variables.elna new file mode 100644 index 0000000..afae692 --- /dev/null +++ b/testsuite/runnable/define_multiple_local_variables.elna @@ -0,0 +1,16 @@ +proc f(): Int +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() + +end. diff --git a/testsuite/runnable/return_aggregate.elna b/testsuite/runnable/return_aggregate.elna index 54d833d..fc37565 100644 --- a/testsuite/runnable/return_aggregate.elna +++ b/testsuite/runnable/return_aggregate.elna @@ -4,22 +4,12 @@ type b: Int end -proc g() -> R +proc f(): R return R(1, 2) end -proc f() -> Int -var - result: Int begin - if g() = R(1, 2) then - result := 0 - else - result := 1 - end; - return result -end - -return f() + assert(f() = R(1, 2)); + return 0 end. diff --git a/testsuite/runnable/two_parameters_same_type.elna b/testsuite/runnable/two_parameters_same_type.elna new file mode 100644 index 0000000..34e70eb --- /dev/null +++ b/testsuite/runnable/two_parameters_same_type.elna @@ -0,0 +1,9 @@ +proc f(x, y: Int): Int + return x + y +end + +begin + assert(f(2, 3) = 5); + return 0 + +end. |
