Tests for Bag.ACCEPTS and KeyBag.Accepts.

Author: colomon

S02-types/bag.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 126;
+plan 137;
 
 sub showkv($x) {
     $x.keys.sort.map({ $^k ~ ':' ~ $x{$k} }).join(' ')
@@ -44,6 +44,22 @@ sub showkv($x) {
     is +$b, 8, '+$bag gives sum of values';
 }
 
+#?rakudo skip "Bag.ACCEPTS NYI"
+{
+    ok (bag <a b c>) ~~ (bag <a b c>), "Identical bags smartmatch with each other";
+    ok (bag <a b c c>) ~~ (bag <a b c c>), "Identical bags smartmatch with each other";
+    nok (bag <b c>) ~~ (bag <a b c>), "Subset does not smartmatch";
+    nok (bag <a b c>) ~~ (bag <a b c c>), "Subset (only quantity different) does not smartmatch";
+    nok (bag <a b c d>) ~~ (bag <a b c>), "Superset does not smartmatch";
+    nok (bag <a b c c c>) ~~ (bag <a b c c>), "Superset (only quantity different) does not smartmatch";
+    nok "a" ~~ (bag <a b c>), "Smartmatch is not element of";
+    ok (bag <a b c>) ~~ Bag, "Type-checking smartmatch works";
+
+    ok (set <a b c>) ~~ (bag <a b c>), "Set smartmatches with equivalent bag";
+    nok (set <a a a b c>) ~~ (bag <a a a b c>), "... but not if the Bag has greater quantities";
+    nok (set <a b c>) ~~ Bag, "Type-checking smartmatch works";
+}
+
 #?rakudo skip ".Set NYI"
 {
     isa_ok "a".Bag, Bag, "Str.Bag makes a Bag";

S02-types/keybag.t

@@ -1,7 +1,7 @@
 use v6;
 use Test;
 
-plan 160;
+plan 171;
 
 # L<S02/Mutable types/KeyHash of UInt>
 
@@ -67,6 +67,22 @@ sub showkv($x) {
     nok $b.exists("farve"), "... and everything is still okay";
 }
 
+#?rakudo skip "KeyBag.ACCEPTS NYI"
+{
+    ok (KeyBag.new: <a b c>) ~~ (KeyBag.new: <a b c>), "Identical bags smartmatch with each other";
+    ok (KeyBag.new: <a b c c>) ~~ (KeyBag.new: <a b c c>), "Identical bags smartmatch with each other";
+    nok (KeyBag.new: <b c>) ~~ (KeyBag.new: <a b c>), "Subset does not smartmatch";
+    nok (KeyBag.new: <a b c>) ~~ (KeyBag.new: <a b c c>), "Subset (only quantity different) does not smartmatch";
+    nok (KeyBag.new: <a b c d>) ~~ (KeyBag.new: <a b c>), "Superset does not smartmatch";
+    nok (KeyBag.new: <a b c c c>) ~~ (KeyBag.new: <a b c c>), "Superset (only quantity different) does not smartmatch";
+    nok "a" ~~ (KeyBag.new: <a b c>), "Smartmatch is not element of";
+    ok (KeyBag.new: <a b c>) ~~ KeyBag, "Type-checking smartmatch works";
+
+    ok (set <a b c>) ~~ (KeyBag.new: <a b c>), "Set smartmatches with equivalent KeyBag.new:";
+    nok (set <a a a b c>) ~~ (KeyBag.new: <a a a b c>), "... but not if the Bag has greater quantities";
+    nok (set <a b c>) ~~ KeyBag, "Type-checking smartmatch works";
+}
+
 #?rakudo skip ".KeyBag NYI"
 {
     isa_ok "a".KeyBag, KeyBag, "Str.KeyBag makes a KeyBag";