6914 2009-05-18 10:53:11 +0000 [XQTS] ST-WhereExpr001, ST-WhereExpr002 and statictyping-7 should expect XPTY0004 and not FORG0006 2009-08-31 20:06:08 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows NT RESOLVED FIXED P2 normal --- 1 oliver andrew.eisenberg public-qt-comments oldest_to_newest 25182 0 oliver 2009-05-18 10:53:11 +0000 ST-WhereExpr001 is as follows: for $file in ($input-context//Folder)[1]/File where ($file, 1) return $file/FileName the where predicate is normalized to fn:boolean(($file, 1)) $file has static type element File of type xs:untyped, and 1 has type xs:integer The sequence ($file, 1) therefore has static type [FS 4.1] (element File of type xs:untyped, xs:integer) This does not satisfy the rule given for fn:boolean [FS 7.2.4] Thus, I believe in static typing mode, XPTY0004 is the only reasonable result. Similar for ST-WhereExpr002 and statictyping-7. 26490 1 andrew.eisenberg 2009-08-17 18:05:26 +0000 I've made the changes that you suggested. 26492 2 andrew.eisenberg 2009-08-17 18:38:58 +0000 Having closed this bug, I just noticed Bug #2943, in which we explicitly decided that FORG0006 was the correct expected result. I'm going to ask the the XML Query WG to look at this issue at our next meeting. 26761 3 andrew.eisenberg 2009-08-31 20:06:08 +0000 At our Aug. 25 meeting, the XML Query and XSL WGs decided to accept both FORG0006 and XPTY0004 for the test cases that you've identified. Please close this bug if you agree with this resolution.