W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2017

[Bug 30039] Schema substitution.xsd depends on XSD 1.0

From: <bugzilla@jessica.w3.org>
Date: Tue, 03 Jan 2017 17:44:11 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-30039-523-k8F8w3KnsT@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=30039

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I should perhaps correct the paragraph above that reads:

So in the component model, Ht has {prohibited substitutions} = (extension), and
in consequence HtE is not *validly derived* from Ht.


to read:

So in the component model, Ht has {prohibited substitutions} = (extension), and
in consequence HtE is not *validly derived* from Ht *given K=(extension)*.

It is however validly derived given K=() (the empty set), and the XSD 1.0 rule
(Rule 4 of Element Declaration Properties Correct) in fact invokes it with
K=().

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 3 January 2017 17:44:17 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:58:03 UTC