4026 2006-11-29 16:15:50 +0000 validateexpr-24 2006-11-30 06:58:21 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 PC Windows XP CLOSED INVALID P2 normal --- 1 tim andrew.eisenberg public-qt-comments oldest_to_newest 13044 0 tim 2006-11-29 16:15:50 +0000 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. 13045 1 mike 2006-11-29 17:08:33 +0000 XML Schema Part 2 section 2.5.1.3 The order in which the ·memberTypes· are specified in the definition (that is, the order of the <simpleType> children of the <union> element, or the order of the QNames in the memberTypes attribute) is significant. During validation, an element or attribute's value is validated against the ·memberTypes· in the order in which they appear in the definition until a match is found. The evaluation order can be overridden with the use of xsi:type. 13046 2 tim 2006-11-30 06:57:28 +0000 Thanks. I spent all day looking in Part 1.