Test autovivification of Setties and Baggies works right

Author: zoffixznet

S02-types/bag.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 206;
+plan 207;
 
 sub showkv($x) {
     $x.keys.sort.map({ $^k ~ ':' ~ $x{$k} }).join(' ')
@@ -530,4 +530,9 @@ subtest '.hash does not cause keys to be stringified' => {
     is bag($(<a b>)).hash.keys[0][0],     'a', 'bag()';
 }
 
+{
+    throws-like { my Bag $b; $b<as> = 2 }, X::Assignment::RO,
+        'autovivification of of Bag:U complains about immutability';
+}
+
 # vim: ft=perl6

S02-types/baghash.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 264;
+plan 265;
 
 # L<S02/Mutable types/QuantHash of UInt>
 
@@ -596,4 +596,28 @@ subtest '.hash does not cause keys to be stringified' => {
     is-deeply $bh.Mix, Mix.new(<a a b>), '.Mix values are correct';
 }
 
+subtest 'BagHash autovivification of non-existent keys' => {
+    my BagHash  $bh1;
+    is-deeply   $bh1<poinc>++,  0, 'correct return of postfix ++';
+    is-deeply   $bh1<poinc>,    1, 'correct result of postfix ++';
+
+    my BagHash  $bh2;
+    is-deeply   $bh2<podec>--,  0, 'correct return of postfix --';
+    # Bags don't have negatives, so 0 is the expected result:
+    is-deeply   $bh2<podec>,    0, 'correct result of postfix --';
+
+    my BagHash  $bh3;
+    is-deeply ++$bh3<princ>,    1, 'correct return of prefix ++';
+    is-deeply   $bh3<princ>,    1, 'correct result of prefix ++';
+
+    my BagHash  $bh4;
+    # Bags don't have negatives, so 0 is the expected result:
+    is-deeply --$bh4<prdec>,    0, 'correct return of prefix --';
+    is-deeply   $bh4<prdec>,    0, 'correct result of prefix --';
+
+    my BagHash  $bh5;
+    is-deeply   ($bh5<as> = 2), 2, 'correct return of assignment';
+    is-deeply   $bh5<as>,       2, 'correct result of assignment';
+}
+
 # vim: ft=perl6

S02-types/mix.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 195;
+plan 196;
 
 sub showkv($x) {
     $x.keys.sort.map({ $^k ~ ':' ~ $x{$k} }).join(' ')
@@ -479,4 +479,9 @@ subtest '.hash does not cause keys to be stringified' => {
         '.BagHash coercer';
 }
 
+{
+    throws-like { my Mix $m; $m<as> = 2 }, X::Assignment::RO,
+        'autovivification of of Mix:U complains about immutability';
+}
+
 # vim: ft=perl6

S02-types/mixhash.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 232;
+plan 233;
 
 # L<S02/Mutable types/QuantHash of UInt>
 
@@ -520,4 +520,26 @@ subtest '.hash does not cause keys to be stringified' => {
         '.BagHash coercer';
 }
 
+subtest 'MixHash autovivification of non-existent keys' => {
+    my MixHash  $mh1;
+    is-deeply   $mh1<poinc>++,  0, 'correct return of postfix ++';
+    is-deeply   $mh1<poinc>,    1, 'correct result of postfix ++';
+
+    my MixHash  $mh2;
+    is-deeply   $mh2<podec>--,  0, 'correct return of postfix --';
+    is-deeply   $mh2<podec>,   -1, 'correct result of postfix --';
+
+    my MixHash  $mh3;
+    is-deeply ++$mh3<princ>,    1, 'correct return of prefix ++';
+    is-deeply   $mh3<princ>,    1, 'correct result of prefix ++';
+
+    my MixHash  $mh4;
+    is-deeply --$mh4<prdec>,   -1, 'correct return of prefix --';
+    is-deeply   $mh4<prdec>,   -1, 'correct result of prefix --';
+
+    my MixHash  $mh5;
+    is-deeply   ($mh5<as> = 2), 2, 'correct return of assignment';
+    is-deeply   $mh5<as>,       2, 'correct result of assignment';
+}
+
 # vim: ft=perl6

S02-types/set.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 178;
+plan 179;
 
 sub showset($s) { $s.keys.sort.join(' ') }
 
@@ -424,4 +424,9 @@ subtest '.hash does not cause keys to be stringified' => {
     is set($(<a b>),).hash.keys[0][0],    'a', 'set()';
 }
 
+{
+    throws-like { my Set $s; $s<as> = 2 }, X::Assignment::RO,
+        'autovivification of of Set:U complains about immutability';
+}
+
 # vim: ft=perl6

S02-types/sethash.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 208;
+plan 209;
 
 # L<S02/Mutable types/"QuantHash of Bool">
 
@@ -453,5 +453,28 @@ subtest '.hash does not cause keys to be stringified' => {
     is-deeply $sh.SetHash, $sh, '.SetHash returns self';
 }
 
+subtest 'SetHash autovivification of non-existent keys' => {
+    # Sets' values are just True/False, so all of the following operations
+    # simply control existence of a key
+    my SetHash  $sh1;
+    is-deeply   $sh1<poinc>++,  Bool::False, 'correct return of postfix ++';
+    is-deeply   $sh1<poinc>,    Bool::True,  'correct result of postfix ++';
+
+    my SetHash  $sh2;
+    is-deeply   $sh2<podec>--,  Bool::False, 'correct return of postfix --';
+    is-deeply   $sh2<podec>,    Bool::False, 'correct result of postfix --';
+
+    my SetHash  $sh3;
+    is-deeply ++$sh3<princ>,    Bool::True,  'correct return of prefix ++';
+    is-deeply   $sh3<princ>,    Bool::True,  'correct result of prefix ++';
+
+    my SetHash  $sh4;
+    is-deeply --$sh4<prdec>,    Bool::False, 'correct return of prefix --';
+    is-deeply   $sh4<prdec>,    Bool::False, 'correct result of prefix --';
+
+    my SetHash  $sh5;
+    is-deeply   ($sh5<as> = 2), Bool::True,  'correct return of assignment';
+    is-deeply   $sh5<as>,       Bool::True,  'correct result of assignment';
+}
 
 # vim: ft=perl6