Make sure all set ops have an "is pure" on their proto only

src/core/set_elem.pm

@@ -73,18 +73,18 @@ multi sub infix:<(elem)>(Any $a, Any $b) { infix:<(elem)>($a,$b.Set) }
 my constant &infix:<∈> := &infix:<(elem)>;
 
 # U+2209 NOT AN ELEMENT OF
-proto sub infix:<∉>(|) {*}
-multi sub infix:<∉>($a, $b --> Bool:D) is pure { not $a (elem) $b }
+proto sub infix:<∉>(|) is pure {*}
+multi sub infix:<∉>($a, $b --> Bool:D) { not $a (elem) $b }
 
-proto sub infix:<(cont)>(|) {*}
-multi sub infix:<(cont)>($a, $b --> Bool:D) is pure { $b (elem) $a }
+proto sub infix:<(cont)>(|) is pure {*}
+multi sub infix:<(cont)>($a, $b --> Bool:D) { $b (elem) $a }
 
 # U+220B CONTAINS AS MEMBER
-proto sub infix:<∋>(|) {*}
-multi sub infix:<∋>($a, $b --> Bool:D) is pure { $b (elem) $a }
+proto sub infix:<∋>(|) is pure {*}
+multi sub infix:<∋>($a, $b --> Bool:D) { $b (elem) $a }
 
 # U+220C DOES NOT CONTAIN AS MEMBER
-proto sub infix:<∌>(|) {*}
-multi sub infix:<∌>($a, $b --> Bool:D) is pure { not $b (elem) $a }
+proto sub infix:<∌>(|) is pure {*}
+multi sub infix:<∌>($a, $b --> Bool:D) { not $b (elem) $a }
 
 # vim: ft=perl6 expandtab sw=4

src/core/set_precedes.pm

@@ -107,24 +107,24 @@ multi sub infix:<<(<+)>>(Any $a, Any $b --> Bool:D) {
 }
 
 # U+227C PRECEDES OR EQUAL TO
-proto sub infix:<≼>(|) {*}
-multi sub infix:<≼>($a, $b --> Bool:D) is pure {
+proto sub infix:<≼>(|) is pure {*}
+multi sub infix:<≼>($a, $b --> Bool:D) {
     my $*WHAT    = "≼";
     my $*INSTEAD = "⊆";
     infix:<<(<+)>>($a, $b)
 }
 
 # $a (>+) $b === $a R(<+) $b
-proto sub infix:<<(>+)>>(|) {*}
-multi sub infix:<<(>+)>>($a, $b --> Bool:D) is pure {
+proto sub infix:<<(>+)>>(|) is pure {*}
+multi sub infix:<<(>+)>>($a, $b --> Bool:D) {
     my $*WHAT    = "(>+)";
     my $*INSTEAD = "(>=)";
     infix:<<(<+)>>($b, $a)
 }
 
 # U+227D SUCCEEDS OR EQUAL TO
-proto sub infix:<≽>(|) {*}
-multi sub infix:<≽>($a, $b --> Bool:D) is pure {
+proto sub infix:<≽>(|) is pure {*}
+multi sub infix:<≽>($a, $b --> Bool:D) {
     my $*WHAT    = "≽";
     my $*INSTEAD = "⊇";
     infix:<<(<+)>>($b, $a)

src/core/set_proper_subset.pm

@@ -115,18 +115,18 @@ multi sub infix:<<(<)>>(Any $a, Any $b --> Bool:D) {
 my constant &infix:<⊂> := &infix:<<(<)>>;
 
 # U+2284 NOT A SUBSET OF
-proto sub infix:<⊄>(|) {*}
-multi sub infix:<⊄>($a, $b --> Bool:D) is pure { not $a (<) $b }
+proto sub infix:<⊄>(|) is pure {*}
+multi sub infix:<⊄>($a, $b --> Bool:D) { not $a (<) $b }
 
-proto sub infix:<<(>)>>(|) {*}
-multi sub infix:<<(>)>>(Any $a, Any $b --> Bool:D) is pure { $b (<) $a }
+proto sub infix:<<(>)>>(|) is pure {*}
+multi sub infix:<<(>)>>(Any $a, Any $b --> Bool:D) { $b (<) $a }
 
 # U+2283 SUPERSET OF
-proto sub infix:<⊃>(|) {*}
-multi sub infix:<⊃>($a, $b --> Bool:D) is pure { $b (<) $a }
+proto sub infix:<⊃>(|) is pure {*}
+multi sub infix:<⊃>($a, $b --> Bool:D) { $b (<) $a }
 
 # U+2285 NOT A SUPERSET OF
-proto sub infix:<⊅>(|) {*}
-multi sub infix:<⊅>($a, $b --> Bool:D) is pure { not $b (<) $a }
+proto sub infix:<⊅>(|) is pure {*}
+multi sub infix:<⊅>($a, $b --> Bool:D) { not $b (<) $a }
 
 # vim: ft=perl6 expandtab sw=4

src/core/set_subset.pm

@@ -144,18 +144,18 @@ multi sub infix:<<(<=)>>(Any $a, Any $b --> Bool:D) {
 my constant &infix:<⊆> := &infix:<<(<=)>>;
 
 # U+2288 NEITHER A SUBSET OF NOR EQUAL TO
-proto sub infix:<⊈>(|) {*}
-multi sub infix:<⊈>($a, $b --> Bool:D) is pure { not $a (<=) $b }
+proto sub infix:<⊈>(|) is pure {*}
+multi sub infix:<⊈>($a, $b --> Bool:D) { not $a (<=) $b }
 
-proto sub infix:<<(>=)>>(|) {*}
-multi sub infix:<<(>=)>>(Any $a, Any $b --> Bool:D) is pure { $b (<=) $a }
+proto sub infix:<<(>=)>>(|) is pure {*}
+multi sub infix:<<(>=)>>(Any $a, Any $b --> Bool:D) { $b (<=) $a }
 
 # U+2287 SUPERSET OF OR EQUAL TO
-proto sub infix:<⊇>(|) {*}
-multi sub infix:<⊇>($a, $b --> Bool:D) is pure { $b (<=) $a }
+proto sub infix:<⊇>(|) is pure {*}
+multi sub infix:<⊇>($a, $b --> Bool:D) { $b (<=) $a }
 
 # U+2289 NEITHER A SUPERSET OF NOR EQUAL TO
-proto sub infix:<⊉>(|) {*}
-multi sub infix:<⊉>($a, $b --> Bool:D) is pure { not $b (<=) $a }
+proto sub infix:<⊉>(|) is pure {*}
+multi sub infix:<⊉>($a, $b --> Bool:D) { not $b (<=) $a }
 
 # vim: ft=perl6 expandtab sw=4

src/core/set_symmetric_difference.pm

@@ -224,7 +224,7 @@ multi sub infix:<(^)>(Any $a, Any $b) {
     )
 }
 
-multi sub infix:<(^)>(**@p) is pure {
+multi sub infix:<(^)>(**@p) {
 
     # positions / size in minmax info
     my constant COUNT   = 0;