aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/aggregate_argument.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/runnable/aggregate_argument.elna')
-rw-r--r--testsuite/runnable/aggregate_argument.elna17
1 files changed, 4 insertions, 13 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.