[Bug 13399] New: [XP 3.0] Constraints on Unions in SequenceType

http://www.w3.org/Bugs/Public/show_bug.cgi?id=13399

           Summary: [XP 3.0] Constraints on Unions in SequenceType
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XPath 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


The specification currently states that an AtomicOrUnionType must be an atomic
or union type in the in-scope schema definitions.

If the type is a union type derived by restriction from another union type,
then the rules ensure that no instance will ever satisfy this ItemType (because
it would require testing the item against the restriction facets). Therefore,
it would be better not to allow such union types to appear here.

Proposal: we should say that the AtomicOrUnionType must be either an atomic
type, or an "unrestricted union type", where an "unrestricted union type" is a
type of variety union whose member types are all either atomic types or
unrestricted union types.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Wednesday, 27 July 2011 21:12:31 UTC