semi-colon after return statements are required

asg/src/prelude.rs

@@ -29,7 +29,7 @@ pub fn resolve_core_module<'a>(context: AsgContext<'a>, module: &str) -> Result<
                 r#"
                 circuit Blake2s {
                     function hash(seed: [u8; 32], message: [u8; 32]) -> [u8; 32] {
-                        return [0; 32]
+                        return [0; 32];
                     }
                 }
                 "#,

asg/tests/fail/circuits/member_function_fail.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/fail/circuits/member_function_invalid.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/fail/circuits/member_static_function_invalid.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/fail/circuits/member_static_function_undefined.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/fail/circuits/mod.rs

@@ -55,7 +55,7 @@ fn test_mut_member_function_fail() {
     let program_string = r#"
         circuit Foo {
             function echo(mut self, x: u32) -> u32 {
-                return x
+                return x;
             }
         }
         

asg/tests/fail/circuits/self_member_invalid.leo

@@ -2,7 +2,7 @@ circuit Foo {
     f: u32,
 
     function bar() -> u32 {
-        return f
+        return f;
     }
 }
 

asg/tests/fail/circuits/self_member_undefined.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function bar() -> u32 {
-        return self.f
+        return self.f;
     }
 }
 

asg/tests/fail/function/multiple_returns_fail.leo

@@ -1,7 +1,7 @@
 function main () -> i8 {
     if true {
-        return 1i8   //ignored
+        return 1i8;   //ignored
     }
-    return 2i8       //ignored
+    return 2i8;       //ignored
-    return 3i8       //returns
+    return 3i8;       //returns
 }

asg/tests/fail/function/multiple_returns_fail_conditional.leo

@@ -2,8 +2,8 @@ function main () -> u16 {
     if false {
         const a = 1u16;
         const b = a + 1u16;
-        return b
+        return b;
     } else if false {
-        return 0u16
+        return 0u16;
     }
 }

asg/tests/fail/function/multiple_returns_input_ambiguous.leo

@@ -1,7 +1,7 @@
 function main(input) -> u32 {
     if input.registers.a == 0 {
-        return 0u32
+        return 0u32;
     } else {
-        return 1u32
+        return 1u32;
     }
 }

asg/tests/fail/function/scope_fail.leo

@@ -1,5 +1,5 @@
 function foo() -> field {
-    return myGlobal
+    return myGlobal;
 }
 
 function main() {

asg/tests/fail/statements/num_returns_fail.leo

@@ -1,3 +1,3 @@
 function main() -> (bool, bool) {
-    return true
+    return true;
 }

asg/tests/pass/array/registers.leo

@@ -1,3 +1,3 @@
 function main() -> [u8; 3] {
-    return input.registers.r
+    return input.registers.r;
 }

asg/tests/pass/boolean/output_register.leo

@@ -1,3 +1,3 @@
 function main() -> bool {
-    return input.registers.r
+    return input.registers.r;
 }

asg/tests/pass/circuits/member_function.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(self, x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/pass/circuits/member_function_nested.leo

@@ -2,11 +2,11 @@ circuit Foo {
     x: u32,
 
     function add_x(self, y: u32) -> u32 {
-        return self.x + y
+        return self.x + y;
     }
 
     function call_add_x(self, y: u32) -> u32 {
-        return self.add_x(y)
+        return self.add_x(y);
     }
 }
 

asg/tests/pass/circuits/member_static_function.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

asg/tests/pass/circuits/member_variable_and_function.leo

@@ -2,7 +2,7 @@ circuit Foo {
     foo: u32,
 
     function bar() -> u32 {
-        return 1u32
+        return 1u32;
     }
 }
 

asg/tests/pass/circuits/mod.rs

@@ -49,7 +49,7 @@ fn test_mut_member_function() {
     let program_string = r#"
         circuit Foo {
             function echo(mut self, x: u32) -> u32 {
-                return x
+                return x;
             }
         }
         

asg/tests/pass/circuits/pedersen_mock.leo

@@ -2,7 +2,7 @@ circuit PedersenHash {
     parameters: [u32; 512]
 
     function new(parameters: [u32; 512]) -> Self {
-        return Self { parameters: parameters }
+        return Self { parameters: parameters };
     }
 
     function hash(self, bits: [bool; 512]) -> u32 {
@@ -11,7 +11,7 @@ circuit PedersenHash {
             const base = bits[i] ? self.parameters[i] : 0u32;
             digest += base;
         }
-        return digest
+        return digest;
     }
 }
 

asg/tests/pass/circuits/self_circuit.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     static function new() -> Self {
-        return Self { }
+        return Self { };
     }
 }
 

asg/tests/pass/circuits/self_member.leo

@@ -2,7 +2,7 @@ circuit Foo {
     f: u32,
 
     function bar(self) -> u32 {
-        return self.f
+        return self.f;
     }
 }
 

asg/tests/pass/core/blake2s_input.leo

@@ -1,5 +1,5 @@
 import core.unstable.blake2s.Blake2s;
 
 function main(seed: [u8; 32], message: [u8; 32]) -> [u8; 32] {
-    return Blake2s::hash(seed, message)
+    return Blake2s::hash(seed, message);
 }

asg/tests/pass/form_ast.rs

@@ -36,7 +36,7 @@ fn test_function_rename() {
             a += 1;
         }
     
-        return a
+        return a;
     }
     
     function main() {
@@ -63,7 +63,7 @@ fn test_imports() {
     }
     
     function foo() -> u32 {
-      return 1u32
+      return 1u32;
     }
   "#;
     imports

asg/tests/pass/function/iteration.leo

@@ -1,5 +1,5 @@
 function one() -> u32 {
-    return 1u32
+    return 1u32;
 }
 
 function main() {

asg/tests/pass/function/iteration_repeated.leo

@@ -5,7 +5,7 @@ function iteration() -> u32 {
         a += 1;
     }
 
-    return a
+    return a;
 }
 
 function main() {

asg/tests/pass/function/mod.rs

@@ -32,7 +32,7 @@ fn test_iteration() {
 fn test_const_args() {
     let program_string = r#"
     function one(const value: u32) -> u32 {
-        return value + 1
+        return value + 1;
     }
     
     function main() {
@@ -52,7 +52,7 @@ fn test_const_args() {
 fn test_const_args_used() {
     let program_string = r#"
     function index(arr: [u8; 3], const value: u32) -> u8 {
-        return arr[value]
+        return arr[value];
     }
     
     function main() {

asg/tests/pass/function/multiple_returns.leo

@@ -1,5 +1,5 @@
 function tuple() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

asg/tests/pass/function/multiple_returns_main.leo

@@ -1,3 +1,3 @@
 function main() -> (bool, bool) {
-    return (input.registers.a, input.registers.b)
+    return (input.registers.a, input.registers.b);
 }

asg/tests/pass/function/newlines.leo

@@ -5,5 +5,5 @@ function main(
     u32,
     u32,
 ) {
-    return (a, b)
+    return (a, b);
 }

asg/tests/pass/function/repeated.leo

@@ -1,5 +1,5 @@
 function one() -> bool {
-    return true
+    return true;
 }
 
 function main() {

asg/tests/pass/function/return.leo

@@ -1,5 +1,5 @@
 function one() -> u32 {
-    return 1u32
+    return 1u32;
 }
 
 function main() {

asg/tests/pass/function/return_array_nested_pass.leo

@@ -1,9 +1,9 @@
 function array_3x2_nested() -> [[u8; 2]; 3] {
-    return [[0u8; 2]; 3]
+    return [[0u8; 2]; 3];
 }
 
 function array_3x2_tuple() -> [[u8; 2]; 3] {
-    return [0u8; (3, 2)]
+    return [0u8; (3, 2)];
 }
 
 function main() {

asg/tests/pass/function/return_array_tuple_pass.leo

@@ -1,9 +1,9 @@
 function array_3x2_nested() -> [u8; (3, 2)] {
-    return [[0u8; 2]; 3]
+    return [[0u8; 2]; 3];
 }
 
 function array_3x2_tuple() -> [u8; (3, 2)] {
-    return [0u8; (3, 2)]
+    return [0u8; (3, 2)];
 }
 
 function main() {

asg/tests/pass/function/return_tuple.leo

@@ -3,7 +3,7 @@ function tuples() -> ((u8, u8), u32) {
     const a: (u8, u8) = (1, 2);
     const b: u32 = 3;
 
-    return (a, b)
+    return (a, b);
 }
 
 function main() {

asg/tests/pass/function/return_tuple_conditional.leo

@@ -4,9 +4,9 @@ function tuple_conditional () -> (
     i64
 ) {
     if true {
-        return (1, 1)
+        return (1, 1);
     } else {
-        return (2, 2)
+        return (2, 2);
     }
 }
 

asg/tests/pass/import/src/test-import.leo

@@ -4,5 +4,5 @@ circuit Point {
 }
 
 function foo() -> u32 {
-  return 1u32
+  return 1u32;
 }

asg/tests/pass/mutability/swap.leo

@@ -3,7 +3,7 @@ function swap(a: [u32; 2], const i: u32, const j: u32) -> [u32; 2] {
     const t = a[i];
     a[i] = a[j];
     a[j] = t;
-    return a
+    return a;
 }
 
 function main() {

asg/tests/pass/statements/conditional/multiple_returns.leo

@@ -1,7 +1,7 @@
 function main() -> u32 {
     if input.registers.a == 0u32 {
-        return 0u32
+        return 0u32;
     } else {
-        return 1u32
+        return 1u32;
     }
 }

asg/tests/pass/tuples/function.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

asg/tests/pass/tuples/function_multiple.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

asg/tests/pass/tuples/function_typed.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

compiler/tests/array/registers.leo

@@ -1,3 +1,3 @@
 function main() -> [u8; 3] {
-    return input.registers.r
+    return input.registers.r;
 }

compiler/tests/boolean/output_register.leo

@@ -1,3 +1,3 @@
 function main() -> bool {
-    return input.registers.r
+    return input.registers.r;
 }

compiler/tests/canonicalization/big_self_in_circuit_replacement.leo

@@ -6,7 +6,7 @@ circuit Foo {
       x: 1u32
     };
 
-    return new
+    return new;
   }
 }
 

compiler/tests/canonicalization/big_self_outside_circuit_fail.leo

@@ -6,7 +6,7 @@ circuit Foo {
       x: 1u32
     };
 
-    return new
+    return new;
   }
 }
 

compiler/tests/canonicalization/compound_assignment.leo

@@ -4,7 +4,7 @@ circuit Foo {
 
   function z (mut self) -> u16 {
     self.y.0 += 1u8;
-    return 1u16
+    return 1u16;
   }
 }
 function main() {

compiler/tests/circuits/const_self_variable.leo

@@ -2,7 +2,7 @@ circuit Foo {
     a: u8,
 
     function use_a(const self) -> u8 {
-        return self.a + 1
+        return self.a + 1;
     }
 }
 

compiler/tests/circuits/duplicate_name_context.leo

@@ -2,7 +2,7 @@ circuit Bar {
     b2: u32
 
     function add_five(z:u32) -> u32 {
-        return z+5u32
+        return z+5u32;
     }
 }
 

compiler/tests/circuits/inline_member_pass.leo

@@ -2,7 +2,7 @@ circuit Foo {
     x: u8
 
     function new(x: u8) -> Self {
-        return Self { x }
+        return Self { x };
     }
 }
 

compiler/tests/circuits/member_function.leo

@@ -2,7 +2,7 @@ circuit Foo {
     x: u32,
 
     function echo(self) -> u32 {
-        return self.x
+        return self.x;
     }
 }
 

compiler/tests/circuits/member_function_fail.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

compiler/tests/circuits/member_function_invalid.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

compiler/tests/circuits/member_function_nested.leo

@@ -2,11 +2,11 @@ circuit Foo {
     x: u32,
 
     function add_x(self, y: u32) -> u32 {
-        return self.x + y
+        return self.x + y;
     }
 
     function call_add_x(self, y: u32) -> u32 {
-        return self.add_x(y)
+        return self.add_x(y);
     }
 }
 

compiler/tests/circuits/member_static_function.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

compiler/tests/circuits/member_static_function_invalid.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

compiler/tests/circuits/member_static_function_undefined.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function echo(x: u32) -> u32 {
-        return x
+        return x;
     }
 }
 

compiler/tests/circuits/member_variable_and_function.leo

@@ -2,7 +2,7 @@ circuit Foo {
     foo: u32,
 
     function bar() -> u32 {
-        return 1u32
+        return 1u32;
     }
 }
 

compiler/tests/circuits/mutable_call_immutable_context.leo

@@ -3,7 +3,7 @@ circuit TestMe {
 
     function test_me(mut self) -> u8 {
         self.x += 1;
-        return self.x
+        return self.x;
     }
 }
 

compiler/tests/circuits/pedersen_mock.leo

@@ -2,7 +2,7 @@ circuit PedersenHash {
     parameters: [u32; 512]
 
     function new(parameters: [u32; 512]) -> Self {
-        return Self { parameters: parameters }
+        return Self { parameters: parameters };
     }
 
     function hash(self, bits: [bool; 512]) -> u32 {
@@ -11,7 +11,7 @@ circuit PedersenHash {
             const base = bits[i] ? self.parameters[i] : 0u32;
             digest += base;
         }
-        return digest
+        return digest;
     }
 }
 

compiler/tests/circuits/self_circuit.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     static function new() -> Self {
-        return Self { }
+        return Self { };
     }
 }
 

compiler/tests/circuits/self_member.leo

@@ -2,7 +2,7 @@ circuit Foo {
     f: u32,
 
     function bar(self) -> u32 {
-        return self.f
+        return self.f;
     }
 }
 

compiler/tests/circuits/self_member_invalid.leo

@@ -2,7 +2,7 @@ circuit Foo {
     f: u32,
 
     function bar() -> u32 {
-        return f
+        return f;
     }
 }
 

compiler/tests/circuits/self_member_undefined.leo

@@ -1,6 +1,6 @@
 circuit Foo {
     function bar() -> u32 {
-        return self.f
+        return self.f;
     }
 }
 

compiler/tests/core/packages/unstable/blake2s/blake2s_input.leo

@@ -1,5 +1,5 @@
 import core.unstable.blake2s.Blake2s;
 
 function main(seed: [u8; 32], message: [u8; 32]) -> [u8; 32] {
-    return Blake2s::hash(seed, message)
+    return Blake2s::hash(seed, message);
 }

compiler/tests/field/output_register.leo

@@ -1,3 +1,3 @@
 function main(registers) -> field {
-    return registers.r
+    return registers.r;
 }

compiler/tests/function/conditional_return.leo

@@ -1,7 +1,7 @@
 function main(x: u8) -> u8 {
     if x == 2u8 {
-        return 3u8
+        return 3u8;
     } else {
-        return 4u8
+        return 4u8;
     } 
 }

compiler/tests/function/iteration.leo

@@ -1,5 +1,5 @@
 function one() -> u32 {
-    return 1u32
+    return 1u32;
 }
 
 function main() {

compiler/tests/function/iteration_repeated.leo

@@ -5,7 +5,7 @@ function iteration() -> u32 {
         a += 1;
     }
 
-    return a
+    return a;
 }
 
 function main() {

compiler/tests/function/multiple_returns.leo

@@ -1,5 +1,5 @@
 function tuple() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

compiler/tests/function/multiple_returns_fail.leo

@@ -1,7 +1,7 @@
 function main () -> i8 {
     if true {
-        return 1i8   //ignored
+        return 1i8;   //ignored;
     }
-    return 2i8       //ignored
+    return 2i8;       //ignored;
-    return 3i8       //returns
+    return 3i8;       //returns;
 }

compiler/tests/function/multiple_returns_fail_conditional.leo

@@ -2,8 +2,8 @@ function main () -> u16 {
     if false {
         const a = 1u16;
         const b = a + 1u16;
-        return b
+        return b;
     } else if false {
-        return 0u16
+        return 0u16;
     }
 }

compiler/tests/function/multiple_returns_main.leo

@@ -1,3 +1,3 @@
 function main() -> (bool, bool) {
-    return (input.registers.a, input.registers.b)
+    return (input.registers.a, input.registers.b);
 }

compiler/tests/function/newlines.leo

@@ -5,5 +5,5 @@ function main(
     u32,
     u32,
 ) {
-    return (a, b)
+    return (a, b);
 }

compiler/tests/function/repeated.leo

@@ -1,5 +1,5 @@
 function one() -> bool {
-    return true
+    return true;
 }
 
 function main() {

compiler/tests/function/return.leo

@@ -1,5 +1,5 @@
 function one() -> u32 {
-    return 1u32
+    return 1u32;
 }
 
 function main() {

compiler/tests/function/return_array_nested_fail.leo

@@ -1,5 +1,5 @@
 function array_3x2_tuple() -> [[u8; 2]; 3] {
-    return [0u8; (2, 3)] // The correct 3x2 array tuple is `[0u8; (3, 2)]`
+    return [0u8; (2, 3)]; // The correct 3x2 array tuple is `[0u8; (3, 2)]`
 }
 
 function main() {

compiler/tests/function/return_array_nested_pass.leo

@@ -1,9 +1,9 @@
 function array_3x2_nested() -> [[u8; 2]; 3] {
-    return [[0u8; 2]; 3]
+    return [[0u8; 2]; 3];
 }
 
 function array_3x2_tuple() -> [[u8; 2]; 3] {
-    return [0u8; (3, 2)]
+    return [0u8; (3, 2)];
 }
 
 function main() {

compiler/tests/function/return_array_tuple_fail.leo

@@ -1,5 +1,5 @@
 function array_3x2_nested() -> [u8; (3, 2)] {
-    return [[0u8; 3]; 2] // The correct 3x2 nested array is `[0u8; 2]; 3]`
+    return [[0u8; 3]; 2]; // The correct 3x2 nested array is `[0u8; 2]; 3]`
 }
 
 function main() {

compiler/tests/function/return_array_tuple_pass.leo

@@ -1,9 +1,9 @@
 function array_3x2_nested() -> [u8; (3, 2)] {
-    return [[0u8; 2]; 3]
+    return [[0u8; 2]; 3];
 }
 
 function array_3x2_tuple() -> [u8; (3, 2)] {
-    return [0u8; (3, 2)]
+    return [0u8; (3, 2)];
 }
 
 function main() {

compiler/tests/function/return_tuple.leo

@@ -3,7 +3,7 @@ function tuples() -> ((u8, u8), u32) {
     const a: (u8, u8) = (1, 2);
     const b: u32 = 3;
 
-    return (a, b)
+    return (a, b);
 }
 
 function main() {

compiler/tests/function/return_tuple_conditional.leo

@@ -4,9 +4,9 @@ function tuple_conditional () -> (
     i64
 ) {
     if true {
-        return (1, 1)
+        return (1, 1);
     } else {
-        return (2, 2)
+        return (2, 2);
     }
 }
 

compiler/tests/function/scope_fail.leo

@@ -1,5 +1,5 @@
 function foo() -> field {
-    return myGlobal
+    return myGlobal;
 }
 
 function main() {

compiler/tests/import/src/test-import.leo

@@ -4,5 +4,5 @@ circuit Point {
 }
 
 function foo() -> u32 {
-  return 1u32
+  return 1u32;
 }

compiler/tests/input_files/program_registers/registers_array.leo

@@ -1,3 +1,3 @@
 function main () -> [[u8; 4]; 2] {
-    return [[1u8, 2u8, 3u8, 4u8], [5u8, 6u8, 7u8, 8u8]]
+    return [[1u8, 2u8, 3u8, 4u8], [5u8, 6u8, 7u8, 8u8]];
 }

compiler/tests/input_files/program_registers/registers_fail.leo

@@ -1,3 +1,3 @@
 function main() -> bool {
-    return false
+    return false;
 }

compiler/tests/input_files/program_registers/registers_pass.leo

@@ -1,3 +1,3 @@
 function main() -> u8 {
-    return 1u8
+    return 1u8;
 }

compiler/tests/mutability/swap.leo

@@ -3,7 +3,7 @@ function swap(a: [u32; 2], const i: u32, const j: u32) -> [u32; 2] {
     const t = a[i];
     a[i] = a[j];
     a[j] = t;
-    return a
+    return a;
 }
 
 function main() {

compiler/tests/statements/conditional/cond_switch.leo

@@ -1,9 +1,9 @@
 function main (x: bool) -> bool {
     if false {
-        return x
+        return x;
     } else if x {
-        return false
+        return false;
     } else {
-        return false
+        return false;
     }
 }

compiler/tests/statements/conditional/multiple_returns.leo

@@ -1,7 +1,7 @@
 function main() -> u32 {
     if input.registers.a == 0u32 {
-        return 0u32
+        return 0u32;
     } else {
-        return 1u32
+        return 1u32;
     }
 }

compiler/tests/statements/num_returns_fail.leo

@@ -1,3 +1,3 @@
 function main() -> (bool, bool) {
-    return true
+    return true;
 }

compiler/tests/syntax/undefined.leo

@@ -1,3 +1,3 @@
 function main() -> bool {
-    return a
+    return a;
 }

compiler/tests/tuples/function.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

compiler/tests/tuples/function_multiple.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

compiler/tests/tuples/function_typed.leo

@@ -1,5 +1,5 @@
 function foo() -> (bool, bool) {
-    return (true, false)
+    return (true, false);
 }
 
 function main() {

examples/hello-world/src/main.leo

@@ -1,5 +1,5 @@
 // The 'hello-world' main function.
 function main(a: u32, b: u32) -> u32 {
     const c: u32 = a + b;
-    return c
+    return c;
 }

examples/pedersen-hash/src/main.leo

@@ -3,7 +3,7 @@ circuit PedersenHash {
 
     // Instantiates a Pedersen hash circuit
     function new(parameters: [group; 256]) -> Self {
-        return Self { parameters: parameters }
+        return Self { parameters: parameters };
     }
 
     function hash(self, bits: [bool; 256]) -> group {
@@ -13,13 +13,13 @@ circuit PedersenHash {
                 digest += self.parameters[i];
             }
         }
-        return digest
+        return digest;
     }
 }
 
 // The 'pedersen-hash' main function.
 function main(hash_input: [bool; 256], const parameters: [group; 256]) -> group {
     const pedersen = PedersenHash::new(parameters);
-    return pedersen.hash(hash_input)
+    return pedersen.hash(hash_input);
 }
 

examples/silly-sudoku/src/lib.leo

@@ -65,6 +65,6 @@ circuit SillySudoku {
         }
 
         // Returns true if all numbers 1-9 have been seen exactly once.
-        return result
+        return result;
     }
 }

examples/silly-sudoku/src/main.leo

@@ -16,7 +16,7 @@ function main(puzzle: [u8; (3, 3)], answer: [u8; (3, 3)]) -> bool {
 
     console.log("The answer is {}.", result);
 
-    return result
+    return result;
 }
 
 // Tests that the `silly-sudoku` circuit outputs true on a correct answer.