- From: <bugzilla@jessica.w3.org>
- Date: Fri, 20 Apr 2012 22:52:06 +0000
- To: www-xml-schema-comments@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=15651
Michael Kay <mike@saxonica.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike@saxonica.com
--- Comment #2 from Michael Kay <mike@saxonica.com> 2012-04-20 22:52:04 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
1.0.
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:52:08 UTC