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

https://www.w3.org/Bugs/Public/show_bug.cgi?id=19425

--- Comment #4 from Tim Mills <tim@cbcl.co.uk> ---
(In reply to comment #3)

> 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 options.

Using the MS .NET XmlSchema classes, it is relatively easy to determine the
membership of an element at runtime (even in the face of post-compilation
changes to the schema).  Determining whether scheme-element(X) is a subtype of
scheme-element(Y) is somewhat more difficult.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.