1788 2005-07-20 18:38:35 +0000 [FS] incomplete specification for the conditions of type error err:XQTY0086 2005-09-06 13:17:24 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts Macintosh All CLOSED FIXED P2 normal --- 1306 1 dflorescu simeon public-qt-comments oldest_to_newest 5015 0 dflorescu 2005-07-20 18:38:35 +0000 The Formal Semantics specification has to be updated to reflect the text from the XQuery specification bellow (section 3.7.3.1) items 1.d.ii.D " It is a type error [err:XQTY0086] in this case if the typed value of the copied element or of any of its attributes is namespace-sensitive. [Definition: A value is namespace-sensitive if it includes an item that has a dynamic type of xs:QName or xs:NOTATION or a type derived by restriction therefrom.]" Related bugs. http://www.w3.org/Bugs/Public/show_bug.cgi?id=1306 5223 1 simeon 2005-07-26 15:53:28 +0000 I believe this is already covered in section: 7.1.7 The fs:item-sequence-to-node-sequence function the dynamic semantics points directly to the XQuery document. the static semantics explicitely disallow atomic values. Note that this is a fairly strict rules, we may want to make it more permissive by allowing atomic values, except xs:QName and xs:NOTATION. - Jerome 5227 2 simeon 2005-07-26 16:18:46 +0000 Here would be the corresponding statEnv |- Expr : Type statEnv |- Type : attribute*, (element|text|PI|comment)* ----------------------------------------------------------------- statEnv |- fs:item-sequence-to-node-sequence (Expr) : attribute*, (element|text|PI|comment|xs:string|xs:float|......)* ... other xs: primitives types except xs:QName and xs:NOTATION - Jerome 5228 3 simeon 2005-07-26 16:19:55 +0000 statEnv |- Expr : Type statEnv |- Type : attribute*, (element|text|PI|comment|xs:string|xs:float|......)* ---------------------------------------------------------------------------------- statEnv |- fs:item-sequence-to-node-sequence (Expr) : attribute*, (element|text|PI|comment|)* - Jerome 5229 4 jim.melton 2005-07-26 16:21:27 +0000 This is the formal response from the XML Query WG and the XSL WG. We concluded that, although no change is necessary, we agree that it would be useful to make the rules more permissive. Consequently, we intend to make the change shown in Additional Comment #3. Please let us know if you agree with this resolution of your issue, by adding a comment to the issue record and changing the Status of the issue to Closed. Or, if you do not agree with this resolution, please add a comment explaining why. If you wish to appeal the WG's decision to the Director, then also change the Status of the record to Reopened. If you wish to record your dissent, but do not wish to appeal the decision to the Director, then change the Status of the record to Closed. If we do not hear from you in the next two weeks, we will assume you agree with the WG decision. 5230 5 jim.melton 2005-07-26 16:21:53 +0000 This is the formal response from the XML Query WG and the XSL WG. We concluded that, although no change is necessary, we agree that it would be useful to make the rules more permissive. Consequently, we intend to make the change shown in Additional Comment #3. Please let us know if you agree with this resolution of your issue, by adding a comment to the issue record and changing the Status of the issue to Closed. Or, if you do not agree with this resolution, please add a comment explaining why. If you wish to appeal the WG's decision to the Director, then also change the Status of the record to Reopened. If you wish to record your dissent, but do not wish to appeal the decision to the Director, then change the Status of the record to Closed. If we do not hear from you in the next two weeks, we will assume you agree with the WG decision.