This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Section 3.14.6 of Structures states the following for bullet 4: If the {base type definition} is not the simple ur-type definition, all of the following must be true: 4.1 The definition must be a valid restriction as defined in Derivation Valid (Restriction, Simple). 4.2 If {variety} is not atomic, then the appropriate case among the following must be true: 4.2.1 If the {variety} is list, then the {final} of the {base type definition} must not contain list. 4.2.2 If the {variety} is union, then the {final} of the {base type definition} must not contain union. However, lists and unions have the ur-type definition as a base. And, shouldn't the following rules be stated? If the {variety} is list, then the {final} of the {item type definition} must not contain list. If the {variety} is union, then the {final} of all the {member type definitions} must not contain union. See http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0294.html Henry's response: http://lists.w3.org/Archives/Public/www-xml-schema-comments/2001AprJun/0296.html
The WG determined that the commentator is correct, and bullet 4 of Section 3.14.6 of Structures need to be modified to include the following rules: - If the {variety} is list, then the {final} of the {item type definition} must not contain list. - If the {variety} is union, then the {final} of all the {member type definitions} must not contain union. Proposed text (E1-15) available at: http://www.w3.org/XML/Group/2002/09/xmlschema-1/structures-with- errata.html#coss-st Revised text : http://lists.w3.org/Archives/Member/w3c-xml-schema-ig/2002Sep/att-0224/01-e1- 15.html reviewed and approved at Oct. 3 telecon. Erratum E1-22 added