W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2015

[Bug 28894] New: [xp3.1] Appendix I.1 - incompatibilities

From: <bugzilla@jessica.w3.org>
Date: Sun, 05 Jul 2015 19:16:01 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-28894-523@http.www.w3.org/Bugs/Public/>

            Bug ID: 28894
           Summary: [xp3.1] Appendix I.1 - incompatibilities
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 3.1
          Assignee: jonathan.robie@gmail.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

This section contains the paragraph

If U is a union type with T as one of its members, and if E is an element with
T as its type annotation, the expression ^ now returns true. In previous
versions of XPath 3.1, it returned false.

Firstly, I think "previous versions of XPath 3.1" is intended to read "XPath

Secondly, there is no expression at [^]. 

I found a possible answer in bug #27779 comment 2, which suggests that the
missing expression is 

(E instance of element(*, U))

But as far as I can see this expression is true in both versions.

Searching the history further led me to bug 11713, but I think that predates

So after spending half an hour on this, I haven't been able to determine what
incompatibility we were trying to identify here.

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Sunday, 5 July 2015 19:16:05 UTC

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