Larry Wall larry-at-wall.org |Perl 6| wrote:
What gives (in the sense of breaking) is the notion that you can do
multiple dispatch on randomly ordered arguments. That's the main
reason we invented proto multis, so that the compiler can rearrange
supposedly randomly ordered arguments into positional slots so that
you can to multiple dispatch on them. Other than that, we make no
promises about supporting multiple dispatch on named args other than by
excluding candidates that can't bind at all.
Larry
OK, I got it.
Now what about "excluding"? Will it execute the code in the constraint
check for a subtype to see if it _might_ bind?
