On Mon, Oct 27, 2008 at 06:20:51PM +0100, TSa wrote:
> HaloO,
>
> Jon Lang wrote:
>> This can already be done, for the most part:
>>
>> / (<.does(ro)>) /
>>
>> Mind you, this only searches a list; to make it search a tree, you'd
>> need a drill-down subrule such as I outline above:
>>
>> / <[>* (<.does(ro)>) <]>* /
>
> Isn't it the case that ~~ has very special dispatch semantics? First
> it is singly dispatched on the lhs, then the rhs determines the
> type of match.
No. From S03:
... smart matches are dispatched first on the basis of the
pattern's form or type (the [rhs]), and then that pattern
itself decides whether and how to pay attention to the
type of the topic [lhs].
Pm
