1748 2005-07-19 05:50:07 +0000 [FS] editorial: 7.1.7 The fs:item-sequence-to-node-sequence function 2007-01-16 17:41:03 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4860 0 jmdyck 2005-07-19 05:50:07 +0000 7.1.7 The fs:item-sequence-to-node-sequence function "by applying the normative rules in [XQuery] Section 3.7.3.1 Computed Element Constructors" There are a lot of rules in that section. You need to be more specific about exactly which ones to apply. I think it's just 1,2,3 under "Processing of the computed element constructor proceeds as follows". STA / rule 1 / premise 2 statEnv |- Type : ... s/:/<:/ Also, the type doesn't allow for document nodes. STA / rule 1 / premise 2 STA / rule 1 / conclusion s/PI/processing-instruction/ 8954 1 simeon 2006-03-29 22:07:04 +0000 Fixed as suggested. Fixed the type in the second premise of rule 1 to allow document nodes, which is consistent with the dynamic semantics described in 3.7.3.1 of the XQuery 1.0 specification. - Jerome 12323 2 jmdyck 2006-10-05 20:00:25 +0000 I said: > > There are a lot of rules in that section. You need to be more specific > about exactly which ones to apply. I think it's just 1,2,3 under > "Processing of the computed element constructor proceeds as follows". That was/is wrong. The applicable text starts a little earlier. This is (hopefully) resolved by Bug 3655.