Update tests to use syntactic sugar Array[type, dims]

Author: ubaidsk

integration_tests/bindc_08.py

@@ -1,5 +1,5 @@
 # file: main.py
-from lpython import CPtr, i32, dataclass, c_p_pointer, Pointer, empty_c_void_p, p_c_pointer
+from lpython import CPtr, i32, dataclass, c_p_pointer, Pointer, empty_c_void_p, p_c_pointer, Array
 
 from numpy import empty, array
 
@@ -9,11 +9,11 @@ class Foo:
      y: i32
 
 def init(foos_ptr: CPtr) -> None:
-    foos: Pointer[Foo[:]] = c_p_pointer(foos_ptr, Foo[:], array([1]))
+    foos: Pointer[Array[Foo, :]] = c_p_pointer(foos_ptr, Array[Foo, :], array([1]))
     foos[0] = Foo(3, 2)
 
 def main() -> None:
-    foos: Foo[1] = empty(1, dtype=Foo)
+    foos: Array[Foo, 1] = empty(1, dtype=Foo)
     foos_ptr: CPtr = empty_c_void_p()
     foos[0] = Foo(0, 1)
     p_c_pointer(foos, foos_ptr)

integration_tests/structs_05.py

@@ -1,4 +1,4 @@
-from lpython import i32, f64, i64, i16, i8, f32, dataclass, InOut
+from lpython import i32, f64, i64, i16, i8, f32, dataclass, InOut, Array
 from numpy import empty
 
 @dataclass
@@ -11,7 +11,7 @@ class A:
     c: i8
     d: bool
 
-def verify(s: A[:], x1: i32, y1: f64, x2: i32, y2: f64):
+def verify(s: Array[A, :], x1: i32, y1: f64, x2: i32, y2: f64):
     eps: f64 = 1e-12
     s0: A = s[0]
     print(s0.x, s0.y, s0.z, s0.a, s0.b, s0.c, s0.d)
@@ -41,7 +41,7 @@ def update_1(s: InOut[A]):
     s.b = i16(2)
     s.c = i8(2)
 
-def update_2(s: A[:]):
+def update_2(s: Array[A, :]):
     s[1].x = 3
     s[1].y = 2.3
     s[1].z = i64(3)
@@ -50,7 +50,7 @@ def update_2(s: A[:]):
     s[1].c = i8(3)
 
 def g():
-    y: A[2] = empty([2], dtype=A)
+    y: Array[A, 2] = empty([2], dtype=A)
     y[0] = A(1.1, 1, i64(1), f32(1.1), i16(1), i8(1), True)
     y[1] = A(2.2, 2, i64(2), f32(2.2), i16(2), i8(2), True)
     verify(y, 1, 1.1, 2, 2.2)

integration_tests/structs_25.py

@@ -1,16 +1,16 @@
-from lpython import i32, dataclass
+from lpython import i32, dataclass, Array
 from numpy import empty
 
 @dataclass
 class Foo:
      x: i32
      y: i32
 
-def init(foos: Foo[:]) -> None:
+def init(foos: Array[Foo, :]) -> None:
     foos[0] = Foo(5, 21)
 
 def main0() -> None:
-    foos: Foo[1] = empty(1, dtype=Foo)
+    foos: Array[Foo, 1] = empty(1, dtype=Foo)
     init(foos)
     print("foos[0].x =", foos[0].x)