W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2014

[Bug 27175] New: subtype-itemtype

From: <bugzilla@jessica.w3.org>
Date: Sun, 26 Oct 2014 13:11:26 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-27175-523@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:50 UTC