This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
K-RangeExpr-1 fails the static typing rules. 1 to 1 eq 1 = fs:to(1, 1) eq 1 = fs:eq(fs:to(1, 1), 1) fs:to has return type xs:integer* and: "The static type of fs:to does not require any additional static typing rule, and is typed as a function call based on the above signature." Under the typing rules of C.2 Mapping of Overloaded Internal Functions, fs:eq type checks correctly for inputs: (xs:integer, xs:integer), (xs:integer?, xs:integer), (xs:integer, xs:integer?) and not (xs;integer*, xs:integer). Therefore the test fails if the processor carries out static type checking.
I'll add XPTY0004 as an additional baseline. Frans
K-RangeExpr-1 was 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.