XSV and Particle Derivation OK (All:All,Sequence:Sequence -- Recurse)

XSV seems to me missing to report derivation errors such as:

<xs:complexType name="base">
  <xs:sequence>
   <xs:element name ="a" type="xs:token"/>
   <xs:element name ="b" type="xs:token"/>
  </xs:sequence>
</xs:complexType>

<xs:complexType name="restriction">
  <xs:complexContent>
   <xs:restriction base="base">
    <xs:sequence>
      <xs:element name ="a" type="xs:token"/>
    </xs:sequence>
   </xs:restriction>
  </xs:complexContent>
</xs:complexType>

Eric
-- 
Rendez-vous à Paris pour le Forum XML.
                    http://www.technoforum.fr/Pages/forumXML01/index.html
------------------------------------------------------------------------
Eric van der Vlist       http://xmlfr.org            http://dyomedea.com
http://xsltunit.org      http://4xt.org           http://examplotron.org
------------------------------------------------------------------------