This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4680 - Microsoft Element test elemZ027_c
Summary: Microsoft Element test elemZ027_c
Status: NEW
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Microsoft tests (show other bugs)
Version: 2006-11-06
Hardware: PC Windows 2000
: P2 normal
Target Milestone: ---
Assignee: Henry S. Thompson
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard:
Keywords: disputedTest
Depends on:
Blocks:
 
Reported: 2007-06-21 03:43 UTC by Michael Glavassevich
Modified: 2010-03-26 15:29 UTC (History)
1 user (show)

See Also:


Attachments

Description Michael Glavassevich 2007-06-21 03:43:07 UTC
The schema for the Microsoft Element test (group="elemZ027_c";name="elemZ027_c") is described as invalid in the metadata. I think that this schema is actually valid. From my reading of the spec [1] and this post to the xmlschema-dev list [2] I believe that the block="substitution" on element "b" only blocks "a" from being a member of "b"'s substitution group. As such the element "d" specified in the base type can be substituted by "c", "b" and "a" which means the derived type is valid.

[1] http://www.w3.org/TR/xmlschema-1/#cos-equiv-derived-ok-rec
[2] http://lists.w3.org/Archives/Public/xmlschema-dev/2007Jan/0068.html
Comment 1 Michael Kay 2007-06-21 11:29:47 UTC
I fear you are right, despite the fact that the spec here is clearly bizarre. I rather like MSMcQ's attempt to find a rationale: "Er.  Ah. Those who favored the current design argued that it would be more useful this way".

Actually, I am not sure I have ever seen block="substitution" used in a real live schema; it appears to be pretty useless either way. But conformance often means doing things that are patently bonkers...
Comment 2 Henry S. Thompson 2010-02-03 15:21:52 UTC
Looks like expected should just be flipped