Merge pull request #794 from AleoHQ/feature/constant-mutable-declarations

Feature/constant mutable declarations

asg/src/program/function.rs

@@ -37,6 +37,7 @@ use std::cell::{Cell, RefCell};
 #[derive(Clone, Copy, PartialEq)]
 pub enum FunctionQualifier {
     SelfRef,
+    ConstSelfRef,
     MutSelfRef,
     Static,
 }
@@ -89,6 +90,9 @@ impl<'a> Function<'a> {
                     FunctionInput::SelfKeyword(_) => {
                         qualifier = FunctionQualifier::SelfRef;
                     }
+                    FunctionInput::ConstSelfKeyword(_) => {
+                        qualifier = FunctionQualifier::ConstSelfRef;
+                    }
                     FunctionInput::MutSelfKeyword(_) => {
                         qualifier = FunctionQualifier::MutSelfRef;
                     }

asg/tests/fail/address/implicit_invalid.leo

@@ -1,3 +1,3 @@
 function main() {
-    let public_key_string: address = zleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
+    const public_key_string: address = zleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
 }

asg/tests/fail/array/multi_fail_initializer.leo

@@ -1,3 +1,3 @@
 function main() {
-    let arr: [u8; (2, 2)] = [[1u8; 2]; 1]; // incorrect dimensions
+    const arr: [u8; (2, 2)] = [[1u8; 2]; 1]; // incorrect dimensions
 }

asg/tests/fail/array/multi_fail_inline.leo

@@ -1,4 +1,4 @@
 function main() {
-    let arr: [u8; (2, 2)] = [[1u8, 1u8],
+    const arr: [u8; (2, 2)] = [[1u8, 1u8],
                                   [1u8]];   // incorrect dimensions
 }

asg/tests/fail/array/multi_initializer_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let arr: [u8; (2, 2)] = [1u8; (2, 1)]; // incorrect dimensions
+    const arr: [u8; (2, 2)] = [1u8; (2, 1)]; // incorrect dimensions
 }

asg/tests/fail/array/nested_3x2_value_fail.leo

@@ -1,4 +1,4 @@
 // Multidimensional array syntax in leo
 function main() {
-    let a: [u32; (3, 2)] = [[0; 3]; 2]; // initializer (incorrectly reversed ordering)
+    const a: [u32; (3, 2)] = [[0; 3]; 2]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/tuple_3x2_value_fail.leo

@@ -1,4 +1,4 @@
 // Multidimensional array syntax in leo
 function main() {
-    let a: [u32; (3, 2)] = [0; (2, 3)]; // initializer (incorrectly reversed ordering)
+    const a: [u32; (3, 2)] = [0; (2, 3)]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: [u8; -2] = [0u32; 2];
+    const a: [u8; -2] = [0u32; 2];
 }

asg/tests/fail/array/type_nested_value_nested_3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [[u8; 2]; 3] = [[0; 3]; 2]; // initializer (incorrectly reversed ordering)
+    const b: [[u8; 2]; 3] = [[0; 3]; 2]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_nested_value_nested_4x3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [[[u8; 2]; 3]; 4] = [[[0; 4]; 3]; 2]; // initializer (incorrectly reversed ordering)
+    const b: [[[u8; 2]; 3]; 4] = [[[0; 4]; 3]; 2]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_nested_value_tuple_3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [[u8; 2]; 3] = [0; (2, 3)]; // initializer (incorrectly reversed ordering)
+    const b: [[u8; 2]; 3] = [0; (2, 3)]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_nested_value_tuple_4x3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [[[u8; 2]; 3]; 4] = [0; (2, 3, 4)]; // initializer (incorrectly reversed ordering)
+    const b: [[[u8; 2]; 3]; 4] = [0; (2, 3, 4)]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_tuple_value_nested_3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [u8; (2, 3)] = [[0; 2]; 3]; // initializer (incorrectly reversed ordering)
+    const b: [u8; (2, 3)] = [[0; 2]; 3]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_tuple_value_nested_3x2_swap_fail.leo

@@ -1,7 +1,7 @@
 function main() {
-    let a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
+    const a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
 
-    let b: [u8; (2, 3)] = [[0; 3]; 2]; // initializer
+    const b: [u8; (2, 3)] = [[0; 3]; 2]; // initializer
 
     console.assert(a == b);
 }

asg/tests/fail/array/type_tuple_value_nested_4x3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [u8; (4, 3, 2)] = [[[0; 4]; 3]; 2]; // initializer (incorrectly reversed ordering)
+    const b: [u8; (4, 3, 2)] = [[[0; 4]; 3]; 2]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_tuple_value_tuple_3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [u8; (2, 3)] = [0; (3, 2)]; // initializer (incorrectly reversed ordering)
+    const b: [u8; (2, 3)] = [0; (3, 2)]; // initializer (incorrectly reversed ordering)
 }

asg/tests/fail/array/type_tuple_value_tuple_3x2_swap_fail.leo

@@ -1,7 +1,7 @@
 function main() {
-    let a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
+    const a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
 
-    let b: [u8; (2, 3)] = [0; (2, 3)]; // initializer
+    const b: [u8; (2, 3)] = [0; (2, 3)]; // initializer
 
     console.assert(a == b);
 }

asg/tests/fail/array/type_tuple_value_tuple_4x3x2_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let b: [u8; (4, 3, 2)] = [0; (2, 3, 4)]; // initializer (incorrectly reversed order)
+    const b: [u8; (4, 3, 2)] = [0; (2, 3, 4)]; // initializer (incorrectly reversed order)
 }

asg/tests/fail/boolean/true_and_u32.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a = true && 1u32;
+    const a = true && 1u32;
 }

asg/tests/fail/boolean/true_or_u32.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a = true || 1u32;
+    const a = true || 1u32;
 }

asg/tests/fail/circuits/inline_fail.leo

@@ -3,5 +3,5 @@ circuit Foo {
 }
 
 function main() {
-    let a = Foo { y: 0u32 };
+    const a = Foo { y: 0u32 };
 }

asg/tests/fail/circuits/inline_undefined.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a = Foo { };
+    const a = Foo { };
 }

asg/tests/fail/circuits/member_function_fail.leo

@@ -5,6 +5,6 @@ circuit Foo {
 }
 
 function main() {
-    let a = Foo { };
-    let err = a.echoed(1u32);
+    const a = Foo { };
+    const err = a.echoed(1u32);
 }

asg/tests/fail/circuits/member_function_invalid.leo

@@ -5,6 +5,6 @@ circuit Foo {
 }
 
 function main() {
-    let a = Foo { };
-    let err = a.echo(1u32); // echo is a static function and must be accessed using `::`
+    const a = Foo { };
+    const err = a.echo(1u32); // echo is a static function and must be accessed using `::`
 }

asg/tests/fail/circuits/member_static_function_invalid.leo

@@ -5,5 +5,5 @@ circuit Foo {
 }
 
 function main() {
-    let err = Foo.echo(1u32); // Invalid, echo is a static function and must be accessed using `::`
+    const err = Foo.echo(1u32); // Invalid, echo is a static function and must be accessed using `::`
 }

asg/tests/fail/circuits/member_static_function_undefined.leo

@@ -5,5 +5,5 @@ circuit Foo {
 }
 
 function main() {
-    let err = Foo::echoed(1u32);
+    const err = Foo::echoed(1u32);
 }

asg/tests/fail/circuits/member_variable_fail.leo

@@ -3,7 +3,7 @@ circuit Foo {
 }
 
 function main() {
-    let a = Foo { x: 1u32 };
+    const a = Foo { x: 1u32 };
 
-    let err = a.y;
+    const err = a.y;
 }

asg/tests/fail/circuits/mod.rs

@@ -60,7 +60,7 @@ fn test_mut_member_function_fail() {
         }
         
         function main() {
-            let a = Foo { };
+            const a = Foo { };
         
             console.assert(a.echo(1u32) == 1u32);
         }"#;

asg/tests/fail/circuits/mut_function_fail.leo

@@ -5,7 +5,7 @@ circuit Foo {
 }
 
 function main() {
-    let mut f  = Foo { a: 0u8 };
+    let f  = Foo { a: 0u8 };
 
     f.bar = 1u8;
 }

asg/tests/fail/circuits/mut_self_function_fail.leo

@@ -9,7 +9,7 @@ circuit Foo {
 }
 
 function main() {
-    let mut f  = Foo { a: 0u8 };
+    let f  = Foo { a: 0u8 };
 
     f.set_a(1u8);
 }

asg/tests/fail/circuits/mut_self_static_function_fail.leo

@@ -9,7 +9,7 @@ circuit Foo {
 }
 
 function main() {
-    let mut f  = Foo { a: 0u8 };
+    let f  = Foo { a: 0u8 };
 
     f.set_a(1u8);
 }

asg/tests/fail/circuits/mut_self_variable_fail.leo

@@ -7,7 +7,7 @@ circuit Foo {
 }
 
 function main() {
-    let mut f  = Foo { a: 0u8 };
+    let f  = Foo { a: 0u8 };
 
     f.set_a(1u8);
 }

asg/tests/fail/circuits/mut_static_function_fail.leo

@@ -3,7 +3,7 @@ circuit Foo {
 }
 
 function main() {
-    let mut f  = Foo { a: 0u8 };
+    let f  = Foo { a: 0u8 };
 
     f.bar = 1u8;
 }

asg/tests/fail/circuits/mut_variable_fail.leo

@@ -3,7 +3,7 @@ circuit Foo {
 }
 
 function main() {
-    let f  = Foo { a: 0u8 };
+    const f  = Foo { a: 0u8 };
 
     f.a = 1u8;
 }

asg/tests/fail/circuits/self_member_invalid.leo

@@ -7,6 +7,6 @@ circuit Foo {
 }
 
 function main() -> u32 {
-    let foo = Foo { f: 1u32 };
-    let err = foo.bar();
+    const foo = Foo { f: 1u32 };
+    const err = foo.bar();
 }

asg/tests/fail/circuits/self_member_undefined.leo

@@ -5,6 +5,6 @@ circuit Foo {
 }
 
 function main() {
-    let foo = Foo { };
-    let err = foo.bar();
+    const foo = Foo { };
+    const err = foo.bar();
 }

asg/tests/fail/function/array_input.leo

@@ -1,6 +1,6 @@
 function foo(a: [u8; 1]) {}
 
 function main() {
-    let a: [u16; 1] = [1; 1];
+    const a: [u16; 1] = [1; 1];
     foo(a);
 }

asg/tests/fail/function/multiple_returns_fail_conditional.leo

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

asg/tests/fail/function/return_array_nested_fail.leo

@@ -3,5 +3,5 @@ function array_3x2_tuple() -> [[u8; 2]; 3] {
 }
 
 function main() {
-    let b = array_3x2_tuple();
+    const b = array_3x2_tuple();
 }

asg/tests/fail/function/return_array_tuple_fail.leo

@@ -3,5 +3,5 @@ function array_3x2_nested() -> [u8; (3, 2)] {
 }
 
 function main() {
-    let a = array_3x2_nested();
+    const a = array_3x2_nested();
 }

asg/tests/fail/function/scope_fail.leo

@@ -3,6 +3,6 @@ function foo() -> field {
 }
 
 function main() {
-    let myGlobal = 42field;
-    let err = foo();
+    const myGlobal = 42field;
+    const err = foo();
 }

asg/tests/fail/group/both_sign_high.leo

@@ -1,3 +1,3 @@
 function main() {
-    let element = (+, +)group;
+    const element = (+, +)group;
 }

asg/tests/fail/group/both_sign_inferred.leo

@@ -1,3 +1,3 @@
 function main() {
-    let element = (_, _)group;
+    const element = (_, _)group;
 }

asg/tests/fail/group/both_sign_low.leo

@@ -1,3 +1,3 @@
 function main() {
-    let element = (-, -)group;
+    const element = (-, -)group;
 }

asg/tests/fail/integers/i128/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i128 = 170141183460469231731687303715884105728;
+    const a: i128 = 170141183460469231731687303715884105728;
 }

asg/tests/fail/integers/i128/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i128 = -170141183460469231731687303715884105729;
+    const a: i128 = -170141183460469231731687303715884105729;
 }

asg/tests/fail/integers/i128/negate_min.leo

@@ -1,4 +1,4 @@
 function main() {
-    let a: i128 = -170141183460469231731687303715884105728;
-    let b = -a;
+    const a: i128 = -170141183460469231731687303715884105728;
+    const b = -a;
 }

asg/tests/fail/integers/i16/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i16 = 32768;
+    const a: i16 = 32768;
 }

asg/tests/fail/integers/i16/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i16 = -32769;
+    const a: i16 = -32769;
 }

asg/tests/fail/integers/i16/negate_min.leo

@@ -1,4 +1,4 @@
 function main() {
-    let a = -32768i16;
-    let b = -a;
+    const a = -32768i16;
+    const b = -a;
 }

asg/tests/fail/integers/i32/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i32 = 2147483648;
+    const a: i32 = 2147483648;
 }

asg/tests/fail/integers/i32/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i32 = -2147483649;
+    const a: i32 = -2147483649;
 }

asg/tests/fail/integers/i32/negate_min.leo

@@ -1,4 +1,4 @@
 function main() {
-    let a = -2147483648i32;
-    let b = -a;
+    const a = -2147483648i32;
+    const b = -a;
 }

asg/tests/fail/integers/i64/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i64 = 9223372036854775808;
+    const a: i64 = 9223372036854775808;
 }

asg/tests/fail/integers/i64/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i64 = -9223372036854775809;
+    const a: i64 = -9223372036854775809;
 }

asg/tests/fail/integers/i64/negate_min.leo

@@ -1,4 +1,4 @@
 function main() {
-    let a: i64 = -9223372036854775808;
-    let b = -a;
+    const a: i64 = -9223372036854775808;
+    const b = -a;
 }

asg/tests/fail/integers/i8/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i8 = 128;
+    const a: i8 = 128;
 }

asg/tests/fail/integers/i8/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: i8 = -129;
+    const a: i8 = -129;
 }

asg/tests/fail/integers/i8/negate_min.leo

@@ -1,4 +1,4 @@
 function main() {
-    let a = -128i8;
-    let b = -a;
+    const a = -128i8;
+    const b = -a;
 }

asg/tests/fail/integers/u128/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u128 = 340282366920938463463374607431768211456;
+    const a: u128 = 340282366920938463463374607431768211456;
 }

asg/tests/fail/integers/u128/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u128 = -1;
+    const a: u128 = -1;
 }

asg/tests/fail/integers/u16/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u16 = 65536;
+    const a: u16 = 65536;
 }

asg/tests/fail/integers/u16/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u16 = -1;
+    const a: u16 = -1;
 }

asg/tests/fail/integers/u32/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u32 = 4294967296;
+    const a: u32 = 4294967296;
 }

asg/tests/fail/integers/u32/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u32 = -1;
+    const a: u32 = -1;
 }

asg/tests/fail/integers/u64/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u64 = 18446744073709551616;
+    const a: u64 = 18446744073709551616;
 }

asg/tests/fail/integers/u64/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u64 = -1;
+    const a: u64 = -1;
 }

asg/tests/fail/integers/u8/max_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u8 = 256;
+    const a: u8 = 256;
 }

asg/tests/fail/integers/u8/min_fail.leo

@@ -1,3 +1,3 @@
 function main() {
-    let a: u8 = -1;
+    const a: u8 = -1;
 }

asg/tests/fail/mutability/array.leo

@@ -1,5 +1,5 @@
 // Arrays are immutable by default.
 function main() {
-    let a = [1u32];
+    const a = [1u32];
     a[0] = 0;
 }

asg/tests/fail/mutability/circuit.leo

@@ -4,6 +4,6 @@ circuit Foo {
 }
 
 function main() {
-    let a = Foo { x: 1 };
+    const a = Foo { x: 1 };
     a.x = 0;
 }

asg/tests/fail/mutability/circuit_function_mut.leo

@@ -4,6 +4,6 @@ circuit Foo {
 }
 
 function main() {
-    let mut a = Foo { x: 1 };
+    let a = Foo { x: 1 };
     a.bar = 0;
 }

asg/tests/fail/mutability/circuit_static_function_mut.leo

@@ -4,6 +4,6 @@ circuit Foo {
 }
 
 function main() {
-    let mut a = Foo { x: 1 };
+    let a = Foo { x: 1 };
     a.bar = 0;
 }

asg/tests/fail/mutability/const.leo

@@ -1,5 +1,5 @@
 // Let variables are immutable by default.
 function main() {
-    let a = 1u32;
+    const a = 1u32;
     a = 0;
 }

asg/tests/fail/mutability/function_input.leo

@@ -1,4 +1,4 @@
-// Function input are immutable by default.
-function main(a: bool) {
+// Const function input are immutable.
+function main(const a: bool) {
     a = false;
 }

asg/tests/fail/mutability/let.leo

@@ -1,5 +1,5 @@
 // Variables are immutable by default.
 function main() {
-    let a = 1u32;
+    const a = 1u32;
     a = 0;
 }

asg/tests/fail/statements/const_declaration_fail.leo

@@ -1,3 +0,0 @@
-function main() {
-    const x = 1u32;
-}

asg/tests/fail/statements/let_mut_declaration_fail.leo

@@ -0,0 +1,3 @@
+function main() {
+    let mut x = 1u32;
+}

asg/tests/fail/statements/mod.rs

@@ -23,7 +23,7 @@ fn test_num_returns_fail() {
 }
 
 #[test]
-fn test_const_declaration_fail() {
-    let program_string = include_str!("const_declaration_fail.leo");
+fn test_let_mut_declaration_fail() {
+    let program_string = include_str!("let_mut_declaration_fail.leo");
     load_asg(program_string).err().unwrap();
 }

asg/tests/pass/address/console_assert_pass.leo

@@ -1,6 +1,6 @@
 function main() {
-    let address_1 = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
-    let address_2 = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
+    const address_1 = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
+    const address_2 = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
 
     console.assert(address_1 == address_2);
 }

asg/tests/pass/address/implicit_invalid.leo

@@ -1,3 +1,3 @@
 function main() {
-    let public_key_string: address = zleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
+    const public_key_string: address = zleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
 }

asg/tests/pass/address/implicit_valid.leo

@@ -1,3 +1,3 @@
 function main() {
-    let public_key_string: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
+    const public_key_string: address = aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8;
 }

asg/tests/pass/address/input.leo

@@ -1,5 +1,5 @@
 function main(owner: address) {
-    let sender = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
+    const sender = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
 
     console.assert(owner == sender);
 }

asg/tests/pass/address/ternary.leo

@@ -1,8 +1,8 @@
 function main(s: bool, c: address) {
-    let a = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
-    let b = address(aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpq3dq05r);
+    const a = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
+    const b = address(aleo18qgam03qe483tdrcc3fkqwpp38ehff4a2xma6lu7hams6lfpgcpq3dq05r);
 
-    let r = s? a: b;
+    const r = s? a: b;
 
     console.assert(r == c);
 }

asg/tests/pass/address/valid.leo

@@ -1,3 +1,3 @@
 function main() {
-    let public_key_string = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
+    const public_key_string = address(aleo1qnr4dkkvkgfqph0vzc3y6z2eu975wnpz2925ntjccd5cfqxtyu8sta57j8);
 }

asg/tests/pass/array/implicit.leo

@@ -1,6 +1,6 @@
 function main(){
-  let a = [1u8, 2u8, 3u8, 4];
-  let b = [1u8, 2u8, 3, 4u8];
-  let c = [1u8, 2, 3u8, 4u8];
-  let d = [1, 2u8, 3u8, 4u8]; 
+  const a = [1u8, 2u8, 3u8, 4];
+  const b = [1u8, 2u8, 3, 4u8];
+  const c = [1u8, 2, 3u8, 4u8];
+  const d = [1, 2u8, 3u8, 4u8]; 
 }

asg/tests/pass/array/index_u8.leo

@@ -1,5 +1,5 @@
 function main() {
-    let x = 0u8;
-    let a = [0u8; 4];
+    const x = 0u8;
+    const a = [0u8; 4];
     console.assert(a[x] == 0);
 }

asg/tests/pass/array/multi_initializer.leo

@@ -1,7 +1,7 @@
 function main() {
-    let a: [u8; (2, 2, 2)] = [1u8; (2, 2, 2)];
+    const a: [u8; (2, 2, 2)] = [1u8; (2, 2, 2)];
 
-    let b: [u8; (2, 2, 2)] = [[[1u8; 2]; 2]; 2];
+    const b: [u8; (2, 2, 2)] = [[[1u8; 2]; 2]; 2];
 
     console.assert(a == b);
 }

asg/tests/pass/array/nested_3x2_value.leo

@@ -1,8 +1,8 @@
 // Multidimensional array syntax in leo
 function main() {
-    let a = [[0u32, 0u32], [0u32, 0u32], [0u32, 0u32]]; // inline
+    const a = [[0u32, 0u32], [0u32, 0u32], [0u32, 0u32]]; // inline
 
-    let b: [u32; (3, 2)] = [[0; 2]; 3]; // initializer
+    const b: [u32; (3, 2)] = [[0; 2]; 3]; // initializer
 
     console.assert(a == b);
 }

asg/tests/pass/array/slice.leo

@@ -1,6 +1,6 @@
 // `{from}..{to}` copies the elements of one array into another exclusively
 function main(a: [u8; 3]) {
-    let b = [1u8; 4];
+    const b = [1u8; 4];
 
     console.assert(a == b[0..3]);
 }

asg/tests/pass/array/slice_i8.leo

@@ -1,6 +1,6 @@
 // `{from}..{to}` copies the elements of one array into another exclusively
 function main(a: [u8; 3]) {
-    let b = [1u8; 4];
+    const b = [1u8; 4];
 
     console.assert(a == b[0u8..3i8]);
 }

asg/tests/pass/array/slice_lower.leo

@@ -1,8 +1,8 @@
 function main() {
-    let arr: [u32; 9] = [0, 1, 2, 3, 4, 5, 6, 7, 8];
-    let expected: [u32; 2] = [0, 1];
+    const arr: [u32; 9] = [0, 1, 2, 3, 4, 5, 6, 7, 8];
+    const expected: [u32; 2] = [0, 1];
 
-    let actual = arr[..2];     // Should produce [0, 1]
+    const actual = arr[..2];     // Should produce [0, 1]
 
     console.assert(expected == actual);
 }

asg/tests/pass/array/spread.leo

@@ -1,7 +1,7 @@
 // A spread operator `...` copies the elements of one array into another
 function main(a: [u8; 3]) {
-    let b = [1u8, 1u8];
-    let c = [1u8, ...b];
+    const b = [1u8, 1u8];
+    const c = [1u8, ...b];
 
     console.assert(a == c);
 }

asg/tests/pass/array/tuple_3x2_value.leo

@@ -1,8 +1,8 @@
 // Multidimensional array syntax in leo
 function main() {
-    let a = [[0u32, 0u32], [0u32, 0u32], [0u32, 0u32]]; // inline
+    const a = [[0u32, 0u32], [0u32, 0u32], [0u32, 0u32]]; // inline
 
-    let b: [u32; (3, 2)] = [0; (3, 2)]; // initializer
+    const b: [u32; (3, 2)] = [0; (3, 2)]; // initializer
 
     console.assert(a == b);
 }

asg/tests/pass/array/type_input_3x2.leo

@@ -1,5 +1,5 @@
 function main(a: [[u8; 2]; 3]) {
-    let b = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
+    const b = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
 
     console.assert(a == b);
 }

asg/tests/pass/array/type_input_4x3x2.leo

@@ -1,5 +1,5 @@
 function main(a: [[[u8; 2]; 3]; 4]) {
-    let b = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
+    const b = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]]; // inline

asg/tests/pass/array/type_nested_value_nested_3x2.leo

@@ -1,7 +1,7 @@
 function main() {
-    let a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
+    const a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
 
-    let b: [[u8; 2]; 3] = [[0; 2]; 3]; // initializer
+    const b: [[u8; 2]; 3] = [[0; 2]; 3]; // initializer
 
     console.assert(a == b);
 }

asg/tests/pass/array/type_nested_value_nested_4x3x2.leo

@@ -1,10 +1,10 @@
 function main() {
-    let a = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
+    const a = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]]; // inline
 
-    let b: [[[u8; 2]; 3]; 4] = [[[0; 2]; 3]; 4]; // initializer
+    const b: [[[u8; 2]; 3]; 4] = [[[0; 2]; 3]; 4]; // initializer
 
     console.assert(a == b);
 }

asg/tests/pass/array/type_nested_value_tuple_3x2.leo

@@ -1,7 +1,7 @@
 function main() {
-    let a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
+    const a = [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]; // inline
 
-    let b: [[u8; 2]; 3] = [0; (3, 2)]; // initializer
+    const b: [[u8; 2]; 3] = [0; (3, 2)]; // initializer
 
     console.assert(a == b);
 }

asg/tests/pass/array/type_nested_value_tuple_4x3x2.leo

@@ -1,10 +1,10 @@
 function main() {
-    let a = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
+    const a = [[[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]],
                [[0u8, 0u8], [0u8, 0u8], [0u8, 0u8]]]; // inline
 
-    let b: [[[u8; 2]; 3]; 4] = [0; (4, 3, 2)]; // initializer
+    const b: [[[u8; 2]; 3]; 4] = [0; (4, 3, 2)]; // initializer
 
     console.assert(a == b);
 }