- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 30 Oct 2008 17:01:45 +0000
- To: www-xml-schema-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6163
--- Comment #4 from Michael Kay <mike@saxonica.com> 2008-10-30 17:01:44 ---
A further observation (which doesn't directly affect the resolution in comment
#3). In comment #2 I observed that when type E extends type B, and the wildcard
union is inexpressible, then under 3.4.2.5 rule 2.2.2.4, the {attribute
wildcard} of the extended type is that defined in the xs:extension. However,
this will almost certainly mean that the resulting type does not meet
Derivation Valid: Extension, under 3.4.6.2 rule 1.3. So although the rules
apparently recover from an inexpressible union wildcard, it seems that the
attempt to recover will generally fail. Under the proposal of comment #3, the
union will not only be expressible, but will also satisfy rule 1.3 which
requires that the wildcard of the base type is a wildcard subset of the union.
--
Configure bugmail: http://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 Thursday, 30 October 2008 17:02:01 UTC