Re: Cheaper to prepend or append an item to a sequence

<report test="@id = (//@id[not(ancestor::meta)] except @id)">

The most
inefficient part of this is the test [not(ancestor::meta)] - it would be
nice if Saxon were smart enough to remember while scanning the elements
whether it has passed more meta start-tags than end-tags - but sadly, it
isn't.

couldn't that be rewritten as:

@id = //@id except (@id, //meta//@id)

to avoid the ancestor walk?

Michael Kay
Saxonica