- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 29 Nov 2006 16:15:55 +0000
- To: public-qt-comments@w3.org
- CC:
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