[Bug 4026] validateexpr-24

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

           Summary: validateexpr-24
           Product: XML Query Test Suite
           Version: 1.0.2
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


This test makes tests validation using the schema:

  <xs:simpleType name="unionType">
    <xs:union memberTypes="xs:integer xs:float"/>
  </xs:simpleType>

  <xs:simpleType name="listType">
    <xs:list itemType="lu:unionType"/>
  </xs:simpleType>

  <xs:element name="e" type="lu:listType"/>

The test validates:

<lu:e>1 1.0e0</lu:e>

and checks that the first item is a instance of xs:integer, and the second is
an instance of xs:float.

Howevre, since the lexical space of xs:float is a superset of xs:integer, is a
validator not permitted to determine that both of these are instances of
xs:float?

I can't find anything in the specs (XQuery or XML Schema) which specifies the
order in which a lexical representation is tested against the member types of a
union.

Received on Wednesday, 29 November 2006 16:16:14 UTC