- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 15 Oct 2008 13:38:11 +0000
- To: www-xml-schema-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6163 --- Comment #1 from Michael Kay <mike@saxonica.com> 2008-10-15 13:38:11 --- Further to (4): the only place that relies on forming a wildcard union is in derivation by extension, and this states that when T is derived by extension from B, and the union of their wildcards is inexpressible, then the derived type uses the wildcard as defined on T. So, in the circumstances where the union of B|T is currently inexpressible, the union is effectively taken as T. Now that's not a very nice rule; one would like union to be commutative. It seems to me that it would be much nicer and simpler to drop rule 4, so that the union is always expressible and always commutative. -- 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 Wednesday, 15 October 2008 13:38:24 UTC