How does Parrot tell which parameters are the invocants? PDD27 mentions that parameters can be decorated with :invocant, but that doesn't seem to be used anywhere.
I'll also note that if :multi and :method don't go together then some of the language in PDD27 needs to change. For instance, "The C<:multi> attribute marks a subroutine or method as participating in multiple dispatch." -Scott On Sun, Sep 21, 2008 at 5:53 AM, Jonathan Worthington <[EMAIL PROTECTED]>wrote: > chromatic wrote: > >> On Saturday 20 September 2008 22:24:52 Chris Davaz wrote: >> >> >> >>> If it is the case that :method and :multi are incompatible, I am a bit >>> surprised to see that in the Rakudo src directory: >>> >>> >> >> I said they're incompatible -- meant in terms of their semantics. I >> didn't say they don't work together in some cases with our current >> implementation. (They probably shouldn't.) >> >> >> > They probably should. If they didn't, then how would multi-methods then be > possible? These dispatch first on the invocant, and then once that provides > the methods to consider, by the multi-dispatch algorithm within those > candidates. > > Jonathan > > -- Jonathan Scott Duff [EMAIL PROTECTED]
