W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2012

[Bug 19425] [XP30] Substitution group membership is non-transitive

From: <bugzilla@jessica.w3.org>
Date: Tue, 16 Oct 2012 15:30:31 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19425-523-gpQzc55SMo@http.www.w3.org/Bugs/Public/>

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
Saxon requires the membership of a substitution group to be known when a module
containing a reference to the head of the SG is compiled (i.e. it prevents
anyone adding to the substitution group from that point on). Other
implementations might allow more dynamic flexibility, but then they cannot make
assumptions based on the SG membership being statically known. The spec leaves
implementations to decide how flexible to be.

I don't think that this is really any different from being able to decide
whether or not an element E may or may not be passed to a function expecting
schema-element(H). If you freeze the SG membership at compile time, you can
type-check this statically; if you don't, then you can't. The spec allows both

You are receiving this mail because:
You are the QA Contact for the bug.
Received on Tuesday, 16 October 2012 15:30:36 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:40 UTC