[Bug 16161] disallowedSubst00503m3,4,5 should be invalid for XSD 1.1


--- Comment #4 from Michael Kay <mike@saxonica.com> 2012-04-20 22:53:50 UTC ---
To try and sum up my reading of the current rules in ordinary English:

(a) if you declare an element M as being in the substitution group of H, and H
blocks substitution, that's not in itself an error, it just means M can't be
substituted for H.

(b) however, if the type of M is not substitutable for the type of H, perhaps
because either H or the type of H blocks substitution (or
restriction|extension, if the type of M is a restriction|extension), that is an
error - it makes the schema invalid. This is the case that has changed since

I suppose it's pointless to ask why the distinction?

Configure bugmail: https://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 Friday, 20 April 2012 22:53:54 UTC