From 79521d91b2bb85652fd29f5c44279338d55c757f Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 7 Jul 2026 21:39:57 +0200 Subject: Allow multiple parameters with same type --- testsuite/runnable/return_aggregate.elna | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) (limited to 'testsuite/runnable/return_aggregate.elna') 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. -- cgit v1.2.3