3674 2006-09-08 09:11:28 +0000 Static typing of 1 to 1 eq 1 (K-RangeExpr-1) 2006-09-22 10:22:17 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0 PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 11506 0 tim 2006-09-08 09:11:28 +0000 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. 11512 1 frans.englich 2006-09-08 12:37:26 +0000 I'll add XPTY0004 as an additional baseline. Frans 11790 2 frans.englich 2006-09-15 18:14:35 +0000 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 11953 3 tim 2006-09-22 10:22:17 +0000 Thanks.