[developers] token mapping determinism
Stephan Oepen
oe at ifi.uio.no
Fri Apr 12 22:53:02 CEST 2013
hi glenn, thanks for bringing up this question!
> can either result in
>
> a----b----a
>
> or
>
> a----b----b
i would expect the first of the above as the ‘correct’ result. i
am not sure this is written down anywhere, but i recall peter
and me discussing cases like the above. to resolve, i think
we landed on an expectation of left-to-right matching (though
i also vaguely recall there may be cases that require one to
stipulate additional ordering constraints).
i must confess, i am not sure i understand the second part
of your message. can there be cases where an application
of a rule creates a new matching target for the same rule to
the left of the original match?
best wishes, oe
More information about the developers
mailing list