This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
Simil Constr-compelem-nodeid-1 Constr-compelem-nodeid-3 Constr-compelem-nodeid-4 Constr-compelem-nodeid-5 Constr-compelem-baseuri-2
Similarly for: Constr-docnode-nodeid-1 Constr-docnode-nodeid-3 Constr-docnode-nodeid-4 Constr-docnode-nodeid-5
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!
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.
Thanks.