gear3: adds a type for arrayConstr (#337)

* nimony: adds a type for arrayConstr * use `getType` * Apply suggestions from code review Co-authored-by: Andreas Rumpf <[email protected]> --------- Co-authored-by: Andreas Rumpf <[email protected]>
nim-lang · Jan 7, 2025 · e1716e8 · e1716e8
1 parent 4ad773b
commit e1716e8
Show file tree

Hide file tree

Showing 4 changed files with 37 additions and 0 deletions.
diff --git a/src/gear3/expander.nim b/src/gear3/expander.nim
@@ -871,6 +871,12 @@ proc traverseExpr(e: var EContext; c: var Cursor) =
         e.dest.shrink beforeType
         traverseExpr(e, c)
         skipParRi(e, c)
+      of AconstrX:
+        e.dest.add tagToken("aconstr", c.info)
+        var arrayType = e.typeCache.getType(c)
+        inc c
+        e.traverseType(arrayType, {})
+        inc nested
       of OconstrX:
         e.dest.add tagToken("oconstr", c.info)
         inc c

diff --git a/src/nimony/sem.nim b/src/nimony/sem.nim
@@ -3362,6 +3362,7 @@ proc semArrayConstr(c: var SemContext, it: var Item) =
       buildErr c, it.n.info, "empty array needs a specified type"
     wantParRi c, it.n
     return
+
   var elem = Item(n: it.n, typ: c.types.autoType)
   case it.typ.typeKind
   of ArrayT: # , SeqT, OpenArrayT

diff --git a/tests/nimony/sysbasics/tbasics.nif b/tests/nimony/sysbasics/tbasics.nif
@@ -0,0 +1,24 @@
+(.nif24)
+,1,tests/nimony/sysbasics/tbasics.nim(stmts 8,1
+ (type ~6 :Array.0.tbawx6nu81 . . . 7
+  (array ~11,5,lib/std/system.nim
+   (i -1)
+   (rangetype
+    (i -1) +0 +4))) 4,3
+ (var :s.0.tbawx6nu81 . .
+  (array
+   (i -1)
+   (rangetype
+    (i -1) +0 +2)) 4
+  (arr 1 +1 4 +2 7 +3)) 4,4
+ (var :s2.0.tbawx6nu81 . . 11,~3
+  (array ~11,5,lib/std/system.nim
+   (i -1)
+   (rangetype
+    (i -1) +0 +4)) .) 4,5
+ (var :s3.0.tbawx6nu81 . . 11,~4
+  (array ~11,5,lib/std/system.nim
+   (i -1)
+   (rangetype
+    (i -1) +0 +4)) 12
+  (arr 1 +1 4 +2 7 +3 10 +4 13 +5)))
diff --git a/tests/nimony/sysbasics/tbasics.nim b/tests/nimony/sysbasics/tbasics.nim
@@ -0,0 +1,6 @@
+type
+  Array = array[5, int]
+
+var s = [1, 2, 3]
+var s2: Array
+var s3: Array = [1, 2, 3, 4, 5]