diff options
Diffstat (limited to 'testsuite/runnable/return_aggregate.elna')
| -rw-r--r-- | testsuite/runnable/return_aggregate.elna | 16 |
1 files changed, 3 insertions, 13 deletions
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. |
