Larry (>):
> I don't see a bug here.  First, there's no prohibition on multiple
> similar metas anymore.  But with regard to the example above, metas
> are parsed as their own tokens, and the infix:<RR> is longer than
> the meta R, so should take precedence under LTM.  We used to try
> to form tokens out of all possible forms of meta, but that resulted
> in an explosion, even with restrictions on meta recursion.  So we
> lifted the restriction and now parse metas separately, albeit
> still with the requirement of no whitespace between meta and base op.
> 
> Anyway, if there is a tie between a meta and a normal, it tries
> the meta first and then backtracks to the normal if the meta
> doesn't find a base op.  That's how Xop wins against X.

I had an inkling this might actually be a non-bug. Rejecting ticket.

Reply via email to