This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 6227 - Type Derivation OK (simple)
Summary: Type Derivation OK (simple)
Status: RESOLVED FIXED
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: 1.1 only
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema comments list
URL:
Whiteboard:
Keywords: resolved
Depends on:
Blocks:
 
Reported: 2008-11-14 15:09 UTC by Michael Kay
Modified: 2008-11-24 15:23 UTC (History)
1 user (show)

See Also:


Attachments

Description Michael Kay 2008-11-14 15:09:25 UTC
In 1.0, Type Derivation OK (simple) rule 2.2.2 reads:

2.2.2 D's ·base type definition· is not the ·ur-type definition· and is validly derived from B given the subset, as defined by this constraint.

In 1.1, the corresponding rule reads:

2.2.2 D.{base type definition} is not ·xs:anySimpleType· and is validly derived from B given S, as defined by this constraint.

I think "ur-type definition" has been changed to "xs:anySimpleType" when it should have been changed to "xs:anyType".

Derived from a message today from Tobias Koenig on the xml-schema-testsuite list.
Comment 1 Sandy Gao 2008-11-21 20:51:04 UTC
During its 2008-11-21 telecon, the schema WG adopted a proposal, to replace "xs:anySimpleType" with "xs:anyType" in "Type Derivation OK (simple)", as suggested in the bug report.

The proposal (along with some other changes) can be found at (member-only):
http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.omni.20081121.html
Comment 2 David Ezell 2008-11-24 15:23:03 UTC
Telcon 2008-11-21
For some reason the resolution reported above does not appear in the minutes.  The chair has determined that the omission is an editorial glitch, and that Bugzilla is correct.