This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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
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
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
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
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.