3823 2006-10-13 12:57:58 +0000 Static typing of K-StringToCodepointFunc-8 2007-01-15 10:55:04 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.1 PC Windows XP CLOSED FIXED P2 normal --- 1 nick frans.englich public-qt-comments oldest_to_newest 12422 0 nick 2006-10-13 12:57:58 +0000 This test: string-to-codepoints("e") eq 101 does not static type check as the types are LHS: interger* RHS: anyAtomicType? As has happened with similar cases, could "101" be set as the expected result for the test harness to check, rather than doing such a test in the query. 12426 1 frans.englich 2006-10-13 13:29:17 +0000 Yes, that is a good fix to this problem. 12430 2 davidc 2006-10-13 13:57:42 +0000 (In reply to comment #1) >> for the test harness to check, rather than doing such a test in the query. > Yes, that is a good fix to this problem. > It avoids the problem, but it does highlight that there is something deeply worrying about the current definition of XQuery if static typing is enabled, that it is so much more convenient to compare two XQuery values for equality -outside- of XQuery, rather than compare them using any expression within the defined XQuery language. David 12431 3 mike 2006-10-13 14:05:47 +0000 >It avoids the problem, but it does highlight that there is something deeply worrying about the current definition of XQuery if static typing is enabled, that it is so much more convenient to compare two XQuery values for equality -outside- of XQuery, rather than compare them using any expression within the defined XQuery language. Well, that's not quite true. You could compare them using "=". After all, "eq" was invented largely in order to allow the system to throw static type errors, so people who use it get what they deserve. I do agree that all these bugs are tending to make me more and more convinced that static typing is a bad idea. Michael Kay 12438 4 frans.englich 2006-10-13 15:09:49 +0000 Another scary thing is that we previously have had two-three vendors running the test suite with static typing implementations but haven't reported the ones we've received lately(although they have reported on other stuff). That tells a bit about the interoperability of static typing implementations. 12452 5 andrew.eisenberg 2006-10-13 18:51:13 +0000 Comment 1 says: LHS: interger* RHS: anyAtomicType? The RHS is an integer literal, with type xs:integer. Replacing eq with = is the easy fix for this bug. 12457 6 nick 2006-10-13 23:41:55 +0000 (In reply to comment #5) Ah, sorry, when I said LHS and RHS what I actually meant was the actual and expected type parameters of the created fs:convert-operand expression. Replacing eq with =, or moving the check to the test harness both sound equally good to me. 13494 7 frans.englich 2007-01-12 18:52:34 +0000 An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report. If no opinion about this resolution is expressed within two weeks, it will be closed. Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications.