4084 2006-12-15 16:00:06 +0000 Static typing of Constr-cont-nodeid-1, -3, -4 and -5 2007-09-17 15:17:21 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 PC Windows XP CLOSED FIXED P2 normal --- 1 tim frans.englich public-qt-comments oldest_to_newest 13207 0 tim 2006-12-15 16:00:06 +0000 Under the rules for element construction, $y in: for $x in <a/>, $y in <elem>{$x}</elem> return $y/a is $x is typed as element y of xs:anyType. Therefore $/y is typed as sequence. op:is-same-node requires node()?. This problem affects: Constr-cont-nodeid-1 Constr-cont-nodeid-3 Constr-cont-nodeid-4 Constr-cont-nodeid-5 Also related are problems in: Constr-cont-uripres-1 Constr-cont-baseuri-2 where the argument to fn:base-uri is typed as a sequence. 13208 1 tim 2006-12-15 16:09:38 +0000 Simil Constr-compelem-nodeid-1 Constr-compelem-nodeid-3 Constr-compelem-nodeid-4 Constr-compelem-nodeid-5 Constr-compelem-baseuri-2 13213 2 tim 2006-12-15 17:06:12 +0000 Similarly for: Constr-docnode-nodeid-1 Constr-docnode-nodeid-3 Constr-docnode-nodeid-4 Constr-docnode-nodeid-5 16560 3 frans.englich 2007-09-14 09:34:52 +0000 A fix has been attempted in CVS, XQTS_current.zip is updated. If the resolution is satisfactory, feel free to change status to CLOSED. Otherwise, reopen this report. If no feedback is returned within two weeks, status will be changed to CLOSED. Thanks for reporting! 16584 4 tim 2007-09-14 12:49:36 +0000 Constr-compelem-nodeid-5 is not fixed. Believe it or not. The type of $x is an untyped element. Untyped elements may contain more than one text node (even though the one in question doesn't). The standard static typing rules don't allow us to refine this type. 16597 5 frans.englich 2007-09-14 15:14:35 +0000 A fix has been attempted in CVS, XQTS_current.zip is updated. If the resolution is satisfactory, feel free to change status to CLOSED. Otherwise, reopen this report. If no feedback is returned within two weeks, status will be changed to CLOSED. Thanks for reporting! 16617 6 tim 2007-09-17 15:17:21 +0000 Thanks.