Skip to content

Commit

Permalink
Make Mu eqv Mu work
Browse files Browse the repository at this point in the history
Previously, this would just throw because of an Any / Any signature
in the proto
  • Loading branch information
lizmat committed Jun 13, 2021
1 parent 28ff12a commit 750c5d0
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion src/core.c/Mu.pm6
Expand Up @@ -1190,7 +1190,10 @@ multi sub infix:<=:=>(Mu \a, Mu \b) {
nqp::hllbool(nqp::eqaddr(a, b));
}

proto sub infix:<eqv>(Any $?, Any $?, *%) is pure {*}
proto sub infix:<eqv>(Mu $?, Mu $?, *%) is pure {*}
multi sub infix:<eqv>(Mu:U $, Any $ --> False) { }
multi sub infix:<eqv>(Any $, Mu:U $ --> False) { }
multi sub infix:<eqv>(Mu:U $, Mu:U $ --> True) { }
multi sub infix:<eqv>($?) { Bool::True }

# Last ditch snapshot semantics. We shouldn't come here too often, so
Expand Down

0 comments on commit 750c5d0

Please sign in to comment.