- From: <bugzilla@jessica.w3.org>
- Date: Fri, 18 May 2012 10:33:10 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=15999
John Snelson <john.snelson@marklogic.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|XQuery 3 & XPath 3 Test |XQuery 3.0
|Suite |
AssignedTo|john.snelson@marklogic.com |jonathan.robie@gmail.com
--- Comment #2 from John Snelson <john.snelson@marklogic.com> 2012-05-18 10:33:10 UTC ---
SequenceType matching in the spec says:
http://www.w3.org/TR/xquery-30/#id-element-test
2. element( ElementName ) matches any element node whose name is ElementName,
regardless of its type annotation or nilled property.
3. element( ElementName , TypeName ) matches an element node whose name is
ElementName if derives-from( AT, TypeName ) is true, where AT is the type
annotation of the element node, and the nilled property of the node is false.
This seems to agree with Tim's analysis.
The SequenceType-subtype judgement says:
http://www.w3.org/TR/xquery-30/#id-itemtype-subtype
12. Bi is either element(Bn) or element(Bn, xs:anyType), the expanded QName of
An equals the expanded QName of Bn, and Ai is either element(An), or
element(An, T) for any type T.
This seems to contradict SequenceType matching, and is therefore wrong.
I agree with Tim's test change, but also think that the XQuery 3.0 spec,
section 2.5.6.2, list item 12 should be changed to:
Bi is either element(Bn) or element(Bn, xs:anyType?), the expanded QName of An
equals the expanded QName of Bn, and Ai is either element(An), element(An, T),
or element(An,T?) for any type T.
--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 18 May 2012 10:33:13 UTC