Use arrow -> for return types

21 files changed, 24 insertions, 26 deletions

diff --git a/testsuite/compilable/opaque_type.elna b/testsuite/compilable/opaque_type.elna
index b46cf68..bdbf0d6 100644
--- a/testsuite/compilable/opaque_type.elna
+++ b/testsuite/compilable/opaque_type.elna
@@ -6,7 +6,7 @@ var
   handle: ^Handle := nil
   alias: ^Alias
 
-proc take(h: ^Handle): ^Handle
+proc take(h: ^Handle) -> ^Handle
 return h
 
 begin
diff --git a/testsuite/compilable/pointer_subtraction.elna b/testsuite/compilable/pointer_subtraction.elna
index c268113..8dd1ff6 100644
--- a/testsuite/compilable/pointer_subtraction.elna
+++ b/testsuite/compilable/pointer_subtraction.elna
@@ -1,4 +1,4 @@
-proc test(a, b: ^Char): Int
+proc test(a, b: ^Char) -> Int
 return a - b
 
 end.
diff --git a/testsuite/compilable/procedure_forward_reference.elna b/testsuite/compilable/procedure_forward_reference.elna
index bbffc73..cdf3008 100644
--- a/testsuite/compilable/procedure_forward_reference.elna
+++ b/testsuite/compilable/procedure_forward_reference.elna
@@ -1,7 +1,7 @@
-proc first(): Int
+proc first() -> Int
 return second() + 1
 
-proc second(): Int
+proc second() -> Int
 return 41
 
 end.
diff --git a/testsuite/fail_compilation/access_record_type_field.elna b/testsuite/fail_compilation/access_record_type_field.elna
index 4e8bc6a..4378404 100644
--- a/testsuite/fail_compilation/access_record_type_field.elna
+++ b/testsuite/fail_compilation/access_record_type_field.elna
@@ -3,7 +3,7 @@ type
     field1, field2: Int
   end
 
-proc f(): Int
+proc f() -> Int
 return R.field1 (* @Error Cannot access field 'field1' on type 'R' *)
 
 end.
diff --git a/testsuite/fail_compilation/enumeration_member_missing.elna b/testsuite/fail_compilation/enumeration_member_missing.elna
index 84a13d1..6f82131 100644
--- a/testsuite/fail_compilation/enumeration_member_missing.elna
+++ b/testsuite/fail_compilation/enumeration_member_missing.elna
@@ -1,7 +1,7 @@
 type
   Enumeration = (one, two, three)
 
-proc f(): Enumeration
+proc f() -> Enumeration
 return Enumeration.four (* @Error Enumeration 'Enumeration' does not have a member named 'four' *)
 
 end.
diff --git a/testsuite/fail_compilation/non_constant_array_dimension.elna.s b/testsuite/fail_compilation/non_constant_array_dimension.elna.s
deleted file mode 100644
index 8dc704d..0000000
--- a/testsuite/fail_compilation/non_constant_array_dimension.elna.s
+++ /dev/null
@@ -1 +0,0 @@
-	.file	"non_constant_array_dimension.elna"
diff --git a/testsuite/fail_compilation/procedure-cycle.elna b/testsuite/fail_compilation/procedure-cycle.elna
index aaed14c..796cccf 100644
--- a/testsuite/fail_compilation/procedure-cycle.elna
+++ b/testsuite/fail_compilation/procedure-cycle.elna
@@ -1,3 +1,3 @@
 type
-  A = proc(): A (* @Error Type declaration forms a cycle: A -> A *)
+  A = proc() -> A (* @Error Type declaration forms a cycle: A -> A *)
 end.
diff --git a/testsuite/fail_compilation/record-base-cycle.elna.s b/testsuite/fail_compilation/record-base-cycle.elna.s
deleted file mode 100644
index 64f8722..0000000
--- a/testsuite/fail_compilation/record-base-cycle.elna.s
+++ /dev/null
@@ -1 +0,0 @@
-	.file	"record-base-cycle.elna"
diff --git a/testsuite/fail_compilation/unary_minus_on_record.elna b/testsuite/fail_compilation/unary_minus_on_record.elna
index cfd76a2..d86995b 100644
--- a/testsuite/fail_compilation/unary_minus_on_record.elna
+++ b/testsuite/fail_compilation/unary_minus_on_record.elna
@@ -3,7 +3,7 @@ type
     x: Int
   end
 
-proc f(r: R): Int
+proc f(r: R) -> Int
 return -r (* @Error Type 'R' cannot be used with unary '-' *)
 
 end.
diff --git a/testsuite/fail_compilation/unary_negation_on_record.elna b/testsuite/fail_compilation/unary_negation_on_record.elna
index 370f04d..d08d2e3 100644
--- a/testsuite/fail_compilation/unary_negation_on_record.elna
+++ b/testsuite/fail_compilation/unary_negation_on_record.elna
@@ -3,7 +3,7 @@ type
     x: Int
   end
 
-proc f(r: R): Int
+proc f(r: R) -> Int
 return ~r (* @Error Type 'R' cannot be used with unary '~' *)
 
 end.
diff --git a/testsuite/fail_compilation/unary_plus_on_record.elna b/testsuite/fail_compilation/unary_plus_on_record.elna
index 7289873..e1f6f4c 100644
--- a/testsuite/fail_compilation/unary_plus_on_record.elna
+++ b/testsuite/fail_compilation/unary_plus_on_record.elna
@@ -3,7 +3,7 @@ type
     x: Int
   end
 
-proc f(r: R): Int
+proc f(r: R) -> Int
 return +r (* @Error Type 'R' cannot be used with unary '\+' *)
 
 end.
diff --git a/testsuite/runnable/aggregate_argument.elna b/testsuite/runnable/aggregate_argument.elna
index 4a36c74..875265e 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): Bool
+proc f(r: R) -> Bool
 return r.a = 1 & r.b = 2
 
 begin
diff --git a/testsuite/runnable/aggregate_equality.elna b/testsuite/runnable/aggregate_equality.elna
index 592d411..bfe2174 100644
--- a/testsuite/runnable/aggregate_equality.elna
+++ b/testsuite/runnable/aggregate_equality.elna
@@ -4,7 +4,7 @@ type
     b: Int
   end
 
-proc f(): Bool
+proc f() -> Bool
 return R{a: 1, b: 2} = R{a: 1, b: 2}
 
 begin
diff --git a/testsuite/runnable/define_multiple_local_variables.elna b/testsuite/runnable/define_multiple_local_variables.elna
index 51b99ac..8e44da4 100644
--- a/testsuite/runnable/define_multiple_local_variables.elna
+++ b/testsuite/runnable/define_multiple_local_variables.elna
@@ -1,4 +1,4 @@
-proc f(): Bool
+proc f() -> Bool
 var
   a, b: Int := 5
 return a = 5 & b = 5
diff --git a/testsuite/runnable/multi_module/helper.elna b/testsuite/runnable/multi_module/helper.elna
index 9148ba6..5fd68af 100644
--- a/testsuite/runnable/multi_module/helper.elna
+++ b/testsuite/runnable/multi_module/helper.elna
@@ -1,4 +1,4 @@
-proc multiply*(x, y: Int): Int
+proc multiply*(x, y: Int) -> Int
 return x * y
 
 end.
diff --git a/testsuite/runnable/procedure_cast.elna b/testsuite/runnable/procedure_cast.elna
index 27977e1..ee97a6b 100644
--- a/testsuite/runnable/procedure_cast.elna
+++ b/testsuite/runnable/procedure_cast.elna
@@ -1,9 +1,9 @@
-var cb: proc(x: ^Char): Int
+var cb: proc(x: ^Char) -> Int
 
-proc probe_int(x: ^Int): Int
+proc probe_int(x: ^Int) -> Int
 return 42
 
 begin
-  cb := cast(probe_int: proc(x: ^Char): Int);
+  cb := cast(probe_int: proc(x: ^Char) -> Int);
   assert(cb(nil) = 42)
 end.
diff --git a/testsuite/runnable/recursive_record.elna b/testsuite/runnable/recursive_record.elna
index 6f6b4fa..237eece 100644
--- a/testsuite/runnable/recursive_record.elna
+++ b/testsuite/runnable/recursive_record.elna
@@ -9,13 +9,13 @@ var
   second: ^Node
   third: ^Node
 
-proc malloc(size: Word): Pointer
+proc malloc(size: Word) -> Pointer
 extern
 
 proc free(ptr: Pointer)
 extern
 
-proc sum(node: ^Node): Int
+proc sum(node: ^Node) -> Int
 var
   result: Int
 begin
@@ -25,7 +25,7 @@ begin
   else
     result := node^.value + sum(node^.next)
   end;
-  return result
+return result
 
 begin
   first := malloc(#size(Node));
diff --git a/testsuite/runnable/return_aggregate.elna b/testsuite/runnable/return_aggregate.elna
index 90c1677..fbc1a08 100644
--- a/testsuite/runnable/return_aggregate.elna
+++ b/testsuite/runnable/return_aggregate.elna
@@ -4,7 +4,7 @@ type
     b: Int
   end
 
-proc f(): R
+proc f() -> R
 return R{ a: 1, b: 2 }
 
 begin
diff --git a/testsuite/runnable/two_fields_same_type.elna b/testsuite/runnable/two_fields_same_type.elna
index 649dd25..71dcbee 100644
--- a/testsuite/runnable/two_fields_same_type.elna
+++ b/testsuite/runnable/two_fields_same_type.elna
@@ -3,7 +3,7 @@ type
     x, y: Int
   end
 
-proc f(): Int
+proc f() -> Int
 var
   r: R := R{x: 3, y: 2}
 return r.x + r.y
diff --git a/testsuite/runnable/two_parameters_same_type.elna b/testsuite/runnable/two_parameters_same_type.elna
index bd9b271..105a40c 100644
--- a/testsuite/runnable/two_parameters_same_type.elna
+++ b/testsuite/runnable/two_parameters_same_type.elna
@@ -1,4 +1,4 @@
-proc f(x, y: Int): Int
+proc f(x, y: Int) -> Int
 return x + y
 
 begin
diff --git a/testsuite/runnable/unary_plus.elna b/testsuite/runnable/unary_plus.elna
index 2bc69f3..bfd59d6 100644
--- a/testsuite/runnable/unary_plus.elna
+++ b/testsuite/runnable/unary_plus.elna
@@ -1,4 +1,4 @@
-proc f(x: Int): Int
+proc f(x: Int) -> Int
 return +x
 
 begin