Allow multiple parameters with same type

6 files changed, 32 insertions, 15 deletions

diff --git a/testsuite/compilable/empty_proc_type_expression.elna b/testsuite/compilable/empty_proc_type_expression.elna
new file mode 100644
index 0000000..ad959f3
--- /dev/null
+++ b/testsuite/compilable/empty_proc_type_expression.elna
@@ -0,0 +1,2 @@
+type P = proc()
+end.
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.