Initial implementation of Array, List, and Parcel.

src/CORE.setting/Array.pm

@@ -0,0 +1,12 @@
+class Array is List {
+    method BIND_POS(\$n, $x is copy) {
+        pir::find_method__PPs(List, 'BIND_POS')(self, $n, $x);
+    }
+
+    method at_pos(\$n) {
+        self.exists($n)
+          ?? pir::find_method__PPs(List, 'at_pos')(self, $n)
+          !! pir::find_method__PPs(List, 'BIND_POS')(self, $n, my $x)
+    }
+}
+

src/CORE.setting/List.pm

@@ -1,5 +1,44 @@
-my class List is Iterable {
-    has $!flat;
+class Parcel { ... }
+
+class List is Iterable {
     has $!items;
     has $!rest;
+    has $!flat;
+
+    method exists(\$n) {
+        self.gimme($n+1);
+        pir::perl6_booleanize__PI(
+            pir::exists__IQI($!items, pir::repr_unbox_int__IP($n))
+        )
+    }
+
+    method gimme(\$n) {
+        pir::defined($!items) ||
+            pir::setattribute__vPPsP(self, List, '$!items',
+                                     pir::new__Ps('ResizablePMCArray'));
+        my $i = pir::perl6_box_int__PI(pir::elements($!items));
+        my $a;
+        while $!rest && $i < $n {
+            $a := pir::shift__PP($!rest);
+            if Parcel.ACCEPTS($a) {
+                pir::splice__vPPii($!rest, $a.rpa, 0, 0);
+            }
+            else {
+                self.BIND_POS($i, $a);
+                $i = $i + 1;
+            }
+        }
+        pir::perl6_box_int__PI(pir::elements($!items));
+    }
+
+    method at_pos(\$n) {
+        self.exists($n)
+          ?? pir::set__PQi($!items, pir::repr_unbox_int__IP($n))
+          !! Any
+    }
+
+    method BIND_POS(\$n, \$x) {
+        pir::set__2QiP($!items, pir::repr_unbox_int__IP($n), $x)
+    }
 }
+

src/CORE.setting/Parcel.pm

@@ -6,13 +6,16 @@ my class Parcel is Iterable {
             pir::repr_instance_of__PP(List),
             List,
             '$!rest',
-            pir::clone__PP($!storage)
-        )
+            $!storage)
+    }
+
+    method rpa() {
+        pir::getattribute__PPPs(self, Parcel, '$!storage')
     }
 }
 
 
-sub infix:<,>(|$) {
+my sub infix:<,>(|$) {
     pir::setattribute__0PPsP(
         pir::repr_instance_of__PP(Parcel),
         Parcel,

tools/build/Makefile.in

@@ -131,6 +131,9 @@ CORE_SOURCES = \
   src/CORE.setting/Str.pm \
   src/CORE.setting/Iterable.pm \
   src/CORE.setting/Iterator.pm \
+  src/CORE.setting/List.pm \
+  src/CORE.setting/Array.pm \
+  src/CORE.setting/Parcel.pm \
   src/CORE.setting/Parameter.pm \
   src/CORE.setting/Signature.pm \
   src/CORE.setting/Block.pm \