4065 2006-12-10 14:53:27 +0000 stZ073b - deriving from a restricted union 2010-04-05 16:28:07 +0000 1 1 1 Unclassified XML Schema Test Suite Microsoft tests 2006-11-06 PC Windows XP ASSIGNED waiting for dependency resolution disputedSpec P2 normal --- 5784 1 mike ht David_E3 public-xml-schema-testsuite oldest_to_newest 13126 0 mike 2006-12-10 14:53:27 +0000 In the Microsoft SimpleType test set, test group stZ073b, the schema defines a type <xs:simpleType name="st.unionType"> <xs:restriction> <xs:simpleType> <xs:union memberTypes="xs:string xs:integer"/> </xs:simpleType> <xs:enumeration value="a"/> </xs:restriction> </xs:simpleType> Intuitively, the value "11" cannot appear as an instance of this type, and the test is therefore correct to reject it. However, the test actually has <test xsi:type="xs:integer"> 11 </test> Now in Type Derivation OK (Simple), rule 2.2.4 appears to say that xsi:type="xs:integer" is validly derived from st:unionType, because "B's {variety} is union and D is validly derived from a type definition in B's {member type definitions}." If this is the case, then the value 11 is validated against xs:integer and succeeds. This seems to be an error in the specification. Rule 2.2.4 should perhaps say "B's {variety} is union and B's {base type definition} is anySimpleType and D is validly derived from a type definition in B's {member type definitions}." 13841 1 zafara 2007-01-29 22:47:17 +0000 WG needs to clarify on what the behavior should be here. 20731 2 mike 2008-06-22 15:04:00 +0000 Agreed, this is a known bug in the 1.0 spec, and the instance ought to be invalid: the question is whether it is possible to fix it without an excessive amount of disruption. As an alternative to the fix suggested in the bug, one could say that a member of a union is not validly derived from the union if the union has any facets. This is probably equivalent except in the case of a trivial restriction. Leaving this one as open, dependent on bug #5784 which has been raised against the 1.0 spec. 32707 3 David_E3 2010-02-26 16:32:38 +0000 WG decided copy the test stz073B and mark the copy stable and 1.1 only. (Action to HT). 34555 4 ht 2010-04-05 16:28:07 +0000 Copied to a 1.1-only stable test stZ073b, marked this as 1.0 only, left instance-test as disputed-spec but schema-test as stable