fix tests

compiler/tests/array/initializer.leo

@@ -1,3 +1,3 @@
-function main(a: u8[3]) {
+function main(a: [u8; 3]) {
     console.assert(a == [1u8; 3]);
 }

compiler/tests/array/initializer_fail.leo

@@ -1,3 +1,3 @@
-function main(a: u8[3]) {
+function main(a: [u8; 3]) {
     console.assert(a == [1u8; -3]);
 }

compiler/tests/array/inline.leo

@@ -1,3 +1,3 @@
-function main(a: u8[3]) {
+function main(a: [u8; 3]) {
     console.assert(a == [1u8, 1u8, 1u8]);
 }

compiler/tests/array/input/registers_ones.in

@@ -1,2 +1,2 @@
 [registers]
-r: u8[3] = [1u8, 1u8, 1u8];
+r: [u8; 3] = [1u8, 1u8, 1u8];

compiler/tests/array/input/registers_zeros.in

@@ -1,2 +1,2 @@
 [registers]
-r: u8[3] = [0u8, 0u8, 0u8];
+r: [u8; 3] = [0u8, 0u8, 0u8];

compiler/tests/array/input/six_zeros.in

@@ -1,2 +1,2 @@
 [main]
-a: u8[3][2] = [[0; 3]; 2];
+a: [u8; (3, 2)] = [[0; 3]; 2];

compiler/tests/array/input/three_ones.in

@@ -1,2 +1,2 @@
 [main]
-a: u8[3] = [1, 1, 1];
+a: [u8; 3] = [1, 1, 1];

compiler/tests/array/multi.leo

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

compiler/tests/array/output/registers_ones.out

@@ -1,2 +1,2 @@
 [registers]
-r: u8[3] = [1u8, 1u8, 1u8];
+r: [u8; (3)] = [1u8, 1u8, 1u8];

compiler/tests/array/output/registers_zeros.out

@@ -1,2 +1,2 @@
 [registers]
-r: u8[3] = [0u8, 0u8, 0u8];
+r: [u8; (3)] = [0u8, 0u8, 0u8];

compiler/tests/array/registers.leo

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

compiler/tests/array/slice.leo

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

compiler/tests/array/spread.leo

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

compiler/tests/array/type_fail.leo

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

typed/src/types/type_.rs

@@ -207,11 +207,12 @@ impl fmt::Display for Type {
             Type::Circuit(ref variable) => write!(f, "circuit {}", variable),
             Type::SelfType => write!(f, "SelfType"),
             Type::Array(ref array, ref dimensions) => {
-                write!(f, "{}", *array)?;
-                for row in dimensions {
-                    write!(f, "[{}]", row)?;
-                }
-                write!(f, "")
+                let dimensions = dimensions
+                    .iter()
+                    .map(|x| format!("{}", x))
+                    .collect::<Vec<_>>()
+                    .join(", ");
+                write!(f, "[{}; ({})]", *array, dimensions)
             }
             Type::Tuple(ref tuple) => {
                 let types = tuple.iter().map(|x| format!("{}", x)).collect::<Vec<_>>().join(", ");