[Bug 3305] Cardinality +/* on range variables


------- Comment #4 from mike@saxonica.com  2006-06-04 22:18 -------
I think the spec is clear that you can write

for $i as xs:integer* in (1 to 5) return ...

and there seems to be no justification for Saxon rejecting this as an error.
It's clear that the sequenceType applies to the value bound to the variable.
This means that the occurrence indicator is redundant but not wrong.

I don't think there is any good reason for the spec to allow an occurrence
indicator here, however. It would be a straightforward change to the syntax to
allow only an ItemType rather than a SequenceType, and I would personally be in
favour of making this change.

Michael Kay

Received on Sunday, 4 June 2006 22:18:33 UTC