This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In the XQuery Update CR, normalization introduces calls to fs:item-sequence-to-node-sequence in three places: 4.4.1 Insert: the source expr 4.4.3 Replace: the replacement when replacing a node 4.4.5 Transform: the initializer for each variable binding In 4.4.5 Transform, the uses are left over from an earlier draft, and are no longer correct. To fix, simply take each call to fs:item-sequence-to-node-sequence and replace it with its argument. In 4.4.1 Insert and 4.4.3 Replace, the calls lead to to unsound static type inference (as in Bug 3771 comment #6) and also don't convey quite the right dynamic semantics. The changes to FS proposed in Bug 3771 comment #8 would allow solutions for static & dynamic problems, involving edits to 4.4.1 and 4.4.3. However, a slightly different version of the Bug 3771 changes would cause 4.4.1 and 4.4.3 to become correct without any edits. [For more details, see members-only http://lists.w3.org/Archives/Member/w3c-xml-query-wg/2008Mar/0127.html .]
(In reply to comment #0) > > In 4.4.5 Transform, the uses are left over from an earlier draft, and are no > longer correct. To fix, simply take each call to > fs:item-sequence-to-node-sequence and replace it with its argument. At its meeting on 2008-09-16, the XQuery WG approved this fix. I have made the change in the source for the Update Facility document. > In 4.4.1 Insert and 4.4.3 Replace, the calls lead to to unsound static type > inference (as in Bug 3771 comment #6) and also don't convey quite the right > dynamic semantics. The changes to FS proposed in Bug 3771 comment #8 would > allow solutions for static & dynamic problems, involving edits to 4.4.1 and > 4.4.3. However, a slightly different version of the Bug 3771 changes would > cause 4.4.1 and 4.4.3 to become correct without any edits. The "slightly different version" appeared as Bug 3771 Comment #15, which was approved by the WGs on 2008-06-03. Assuming the new definition of fs:item-sequence-to-node-sequence eventually becomes normative, the Insert and Replace sections (now 4.5.1 and 4.5.3) do not need edits. Therefore, I am marking this bug resolved-fixed. Since I was the original reporter, I will also mark it CLOSED.