[Bug 6204] New: anyType/ur-Type: inconsistent whether it has a base-type

http://www.w3.org/Bugs/Public/show_bug.cgi?id=6204

           Summary: anyType/ur-Type: inconsistent whether it has a base-type
           Product: XML Schema
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Structures: XSD Part 1
        AssignedTo: cmsmcq@w3.org
        ReportedBy: frans.englich@telia.com
         QAContact: www-xml-schema-comments@w3.org


Section 2.2.1.1 Type Definition Hierarchy reads:

"[Definition:]  Except for ·xs:anyType·, every ·type definition· is, by
construction, either a ·restriction· or an ·extension· of some other type
definition. The graph of these relationships forms a tree known as the Type
Definition Hierarchy."

which implies that xs:anyType doesn't have a base type, since it makes
xs:anyType a exception, and states that the type graph is a tree, and as far as
I know circular trees does not exist(at least no one grows over here in
Scandinavia).

However, section 3.4.7 Built-in Complex Type Definition specifies the {base
type definition} for xs:anyType to be "itself", which implies circularity.

To me it seems that section 3.4.7 is wrong and its {base type definition}
should be "none".


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 3 November 2008 15:15:01 UTC