This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
"During static analysis: The static type of the treat expression is type1. This enables the expression to be used as an argument of a function that requires a parameter of type1." Expressions such as: "asda" treat as xs:string + eq "asda" fail under static type checking because eq accepts Type?, not Type+. There is a related problem with K-SeqExprTreat-13.
The three tests were changed to also allow XPTY0004. Feel free to verify this change. This is fixed in CVS, in XQTS_current.zip. For instruction to download this, see http://www.w3.org/XML/Query/test-suite/, section "Accessing our Source Files". XQTS_current.zip resides in directory PublicPagesStagingArea/. If the resolution is not satisfactory, re-open this report. Otherwise, if the resolution is acceptable, feel free to change status to CLOSED. Thanks for reporting! Frans
Thanks.