[Bug 28895] New: [xp3.1] Subtype rules for arrays

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

            Bug ID: 28895
           Summary: [xp3.1] Subtype rules for arrays
           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

In 2.5.6.2 rule 32 says

Ai is array(X) and Bi is function(Y), and X is a subtype of Y.

Here function(Y) appears to be a typo for array(Y), and the second clause (for
consistency and precision) should say "and subtype(X, Y)".

-- 
You are receiving this mail because:
You are the QA Contact for the bug.