[Bug 6600] New: particlesZ031 seems to be wrong

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

           Summary: particlesZ031 seems to be wrong
           Product: XML Schema Test Suite
           Version: 2006-11-06
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Microsoft tests
        AssignedTo: ht@inf.ed.ac.uk
        ReportedBy: tobias.koenig@trolltech.com
         QAContact: public-xml-schema-testsuite@w3.org


Hej,

particlesZ031 is marked as valid however it seems to be invalid.
The schema test tries to inherit a complex type with complex content
from a complex type with simple content. Schema 1.0 allows to constructs
the derived type with a "simple" content, however according to Schema 1.1
the content should be "empty" (I guess 1.1 tries to be more explicit than 1.0
here). However if the derived type as an "empty" content, than there is no
rule in "Schema Component Constraint: Derivation Valid (Extension)" that would
make it a valid extension. So the test case should be marked as invalid.

Ciao,
Tobias


-- 
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 Thursday, 19 February 2009 17:34:45 UTC