- From: <bugzilla@jessica.w3.org>
- Date: Sun, 26 Oct 2014 13:11:26 +0000
- To: public-qt-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=27175
Bug ID: 27175
Summary: subtype-itemtype
Product: XPath / XQuery / XSLT
Version: Working drafts
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P2
Component: XQuery 3.1
Assignee: jonathan.robie@gmail.com
Reporter: benito@benibela.de
QA Contact: public-qt-comments@w3.org
>2.5.6.2 The judgement subtype-itemtype(Ai, Bi)
>Point 14: 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.
That does not mention the case element(An, T) like some other points (e.g. 16),
so element(An, T) would not be a subtype of element(An).
But it seems, it should
--
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Sunday, 26 October 2014 13:11:28 UTC