[Bug 3954] Indirect circularity of union and restriction should be banned

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

           Summary: Indirect circularity of union and restriction should be
                    banned
           Product: XML Schema
           Version: 1.0/1.1 both
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Datatypes: XSD Part 2
        AssignedTo: cmsmcq@w3.org
        ReportedBy: ht@inf.ed.ac.uk
         QAContact: www-xml-schema-comments@w3.org


The Sun contribution (about to be published, URI will follow) to the test
collection includes the following, which not only makes my head hurt, but sends
XSV into an infinite loop:

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">

        <xsd:simpleType name="abcOrBoolean">
                <xsd:union memberTypes="xsd:boolean abc"/>
        </xsd:simpleType>

        <xsd:simpleType name="abc">
                <xsd:restriction base="abcOrBoolean">
                        <xsd:minLength value="5"/>
                </xsd:restriction>
        </xsd:simpleType>
</xsd:schema>

I believe this manages to escape both the ban on circular unions and the ban on
circular derivations, as currently stated.  But it _should_ be banned (and the
person who thought of it offered counselling :-)

Received on Monday, 6 November 2006 15:53:06 UTC