Paolo Bonzini [off-list ref] writes:
On 06/10/2017 14:33, Christian Couder wrote:
quoted
Ok. I think you might want something called for example
"replaceIfIdenticalClose" where "IdenticalClose" means: "there is a
trailer with the same (<token>, <value>) pair above or below the line
where the replaced trailer will be put when ignoring trailers with a
different <token>".
So basically "moveIfClosest" (move if last for where=end, move if first
for where=begin; for where=after and where=before it would just end up
doing nothing)? It's not hard to implement, but I'm wondering if it's
too ad hoc.
Yeah, it makes me wonder exactly that, too.