Change int *a[] type to Array(Pointer(Int())) instead of Pointer(Array(..))

See #23 for more info.

Author: arian

basec/trans/BaseC/desugar/__tests__/types.spt

@@ -2,7 +2,6 @@ module types
 
 language MetaC
 
-
 test 8 bit int [[
   char x;
 ]] run strip-annos to Program(_, [
@@ -84,13 +83,13 @@ test array type with a size [[
 test pointer of array type [[
   int *a[];
 ]] run strip-annos to Program(_, [
-    VarDeclaration([], Type([], Pointer(Array(Int32(), None()))), _, _)
+    VarDeclaration([], Type([], Array(Pointer(Int32()), None())), _, _)
   ])
 
 test pointers of arrays type [[
   int ***a[][];
 ]] run strip-annos to Program(_, [
-    VarDeclaration([], Type([], Pointer(Pointer(Pointer(Array(Array(Int32(), None()), None()))))), _, _)
+    VarDeclaration([], Type([], Array(Array(Pointer(Pointer(Pointer(Int32()))), None()), None())), _, _)
   ])
 
 test const modifier [[

basec/trans/BaseC/desugar/types.str

@@ -53,17 +53,17 @@ rules
   desugar-array-size: None() -> None()
   desugar-array-size: Some(value) -> Some(<number-to-int> value)
 
-  merge-types:
-    (Type(mods, type), ptr, ArrayDecl(d, size)) -> t
-    where
-      t := <merge-types> (Type(mods, Array(type, <desugar-array-size> size)), ptr, d)
-
   merge-types:
     (base-type@Type(mods, type), Some(Pointer(qualifiers, ptr)), decl) -> t
     where
       mods* := <conc> (mods, qualifiers)
       ; t := <merge-types> (Type(mods*, Pointer(type)), ptr, decl)
 
+  merge-types:
+    (Type(mods, type), ptr, ArrayDecl(d, size)) -> t
+    where
+      t := <merge-types> (Type(mods, Array(type, <desugar-array-size> size)), ptr, d)
+
   merge-types:
     (Type(mods, type), ptr, FuncDecl(d, params)) -> t
     where

basec/trans/BaseC/types/__tests__/typedefs.spt

@@ -34,7 +34,7 @@ test typedef pointer of a base type with array [[
   typedef int32 *** a[];
   a y;
   a z = [[(0,y)]];
-]] run get-type to Pointer(Pointer(Pointer(Array(Int32(), None()))))
+]] run get-type to Array(Pointer(Pointer(Pointer(Int32()))), None())
 
 test typedef of another typedef with pointer [[
   typedef int32 a;

basec/trans/BaseC/types/__tests__/types.spt

@@ -17,10 +17,10 @@ test multi dimensional array type [[
   int32 b[][] = [[a]];
 ]] run get-type to Array(Array(Int32, None()), None())
 
-test pointer to array type [[
+test array or pointers type [[
   int32 *a[];
   int32 *b[] = [[a]];
-]] run get-type to Pointer(Array(Int32, None()))
+]] run get-type to Array(Pointer(Int32), None())
 
 test function type [[
   int32 a();