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

https://www.w3.org/Bugs/Public/show_bug.cgi?id=28894

            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
3.0".

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
3.0.

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