- From: <bugzilla@jessica.w3.org>
- Date: Fri, 20 Apr 2012 22:53:51 +0000
- To: public-xml-schema-testsuite@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=16161 --- 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 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:53:54 UTC