5666 2008-04-28 19:29:40 +0000 [UPD] use of fs:item-sequence-to-node-sequence in XQuery Update FS 2008-10-07 08:52:10 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Update Facility Candidate Recommendation All All CLOSED FIXED P2 normal --- 1 jmdyck andrew.eisenberg public-qt-comments oldest_to_newest 19970 0 jmdyck 2008-04-28 19:29:40 +0000 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 .] 22108 1 jmdyck 2008-10-07 08:52:00 +0000 (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.