Paolo Bonzini <pbonzini@xxxxxxxxxx> writes: > On 06/10/2017 14:33, Christian Couder wrote: >> 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.
