Allow multiple parameters with same type

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.