Bugs item #1637867, was opened at 2007-01-17 17:41 Message generated for change (Comment added) made by tsheyar You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1637867&group_id=56967
Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: PF/tests Group: Pathfinder CVS Head Status: Open Resolution: None Priority: 8 Private: No Submitted By: Stefan Manegold (stmane) >Assigned to: Nobody/Anonymous (nobody) Summary: XQ: complex-XQuery-batbat_lng_add_inplace-error tests fail Initial Comment: Since somtime in November or December 2006 (sorry, I'm finally fed up with doing all the back-tracking), tests complex-XQuery-batbat_lng_add_inplace-error-OK.SF-1562868.xq complex-XQuery-batbat_lng_add_inplace-error-KO.SF-1562868.xq complex-XQuery-batbat_lng_add_inplace-error-KO2.SF-1562868.xq in tests/BugTracker/Tests/ fail with ERROR = !type error: can't cast type 'xs:integer?' to type 'numeric' http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora4/tests_BugTracker/complex-XQuery-batbat_lng_add_inplace-error-OK.SF-1562868.err.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora4/tests_BugTracker/complex-XQuery-batbat_lng_add_inplace-error-KO.SF-1562868.err.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora4/tests_BugTracker/complex-XQuery-batbat_lng_add_inplace-error-KO2.SF-1562868.err.00.html ---------------------------------------------------------------------- >Comment By: Jan Rittinger (tsheyar) Date: 2007-01-18 15:15 Message: Logged In: YES user_id=993208 Originator: NO This bug occurs because the static typing has been improved in the current branch while mps cannot cope with it. (smaller example: doc("foo")[./@o cast as xs:integer?]) The reason is that a seqcast is treated like a normal cast in mps. In comparison to a normal cast a seqcast should be used only during typing to 'assert' a certain type. The algebra thus ignores all seqcasts. Mps in comparison however needs to interpret them as cast because it relies on the typing information to refer to the correct value containers. The only hack to 'avoid' the error message is to introduce a special case for numeric where seqcasts are ignored. The introduced typeswitch up front of already ensures that the type is integer instead of integer?. This information however cannot be inferred as a generic type intersection is impossible. ---------------------------------------------------------------------- Comment By: Stefan Manegold (stmane) Date: 2007-01-17 18:23 Message: Logged In: YES user_id=572415 Originator: YES Jan, since you changed the respective tests on Dec 07 2006 (only in the development trunk; see below), you might want to have a look at this and comment. Feel free to assign to someone else, in case you think this is not your bug. Thanks! =================================================================== 2006/12/07 - tsheyar: tests/BugTracker/Tests/complex-XQuery-batbat_lng_add_inplace-error-KO2.SF-1562868.xq,1.2 tests/BugTracker/Tests/complex-XQuery-batbat_lng_add_inplace-error-KO.SF-1562868.xq,1.2 tests/BugTracker/Tests/complex-XQuery-batbat_lng_add_inplace-error-OK.SF-1562868.xq,1.2 -- Fixed output/queries to cope with the last week introduced more restrictive type tests in the cast operator =================================================================== ---------------------------------------------------------------------- Comment By: Stefan Manegold (stmane) Date: 2007-01-17 17:51 Message: Logged In: YES user_id=572415 Originator: YES Since these tests do work in the XQuery_0-14 release branch, i.e., they have (recently) been broken only in the development trunk, I consider this bug report high priority. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1637867&group_id=56967 ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys - and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Monetdb-bugs mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
