This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Query: every $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b We believe a static implementation can raise XPTY0004. - $a has static type empty-sequence() - we have next the expression "$b as xs:integer in $a" - the FS rules say the prime type of $a must be a subtype of xs:integer - prime(empty-sequence()) results in none - none is not a subtype of xs:integer, hence XPTY0004 This applies to the following tests: K-QuantExprWith-21.xq K-QuantExprWith-22.xq Tx, Marc
Fixed in CVS(I hope!), by adding XPTY0004 as an alternative result for K-QuantExprWith-21 and K-QuantExprWith-22. Since this report was resolved as suggested, I am changing status to CLOSED.