[Bug 26453] New: [xp3.1] Lowest common supertype

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

            Bug ID: 26453
           Summary: [xp3.1] Lowest common supertype
           Product: XPath / XQuery / XSLT
           Version: Working 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

The concept of lowest common supertype (reachable by item-subtype and type
promotion) is used in several places in the language book and F+O (min/max). It
needs more precise definition. In particular we need to convince the sceptical
reader that for any two atomic types A and B, there exists a unique lowest
common supertype.

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

Received on Tuesday, 29 July 2014 09:17:08 UTC