Re: [xml-dev] Extending anyType

Extending xs:anyType is certainly allowed -- it's a complex type
definition, so it can be extended.  You're right that extending a
mixed type definition with a non-mixed one is an error, and XSV finds
it:

  <schemaError char="4" line="3" phase="instance"
               resource="extbad.xsd">
      attempt to extend a mixed basetype     
      into an unmixed type or vice versa (None, anyType)
  </schemaError>

Note you have to run XSV locally with the -i switch to get it to check
a schema document thoroughly -- running the web form on a schema
document simply confirms that it is schema-valid per the sForS, but
doesn't check the constraints written in to the REC.

ht
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                      Half-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: 
		     URL: http://www.ltg.ed.ac.uk/~ht/
 [mail really from me _always_ has this .sig -- mail without it is forged spam]