W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > January to March 2009

[Bug 6561] Type Substitutable in Restriction

From: <bugzilla@wiggum.w3.org>
Date: Mon, 02 Mar 2009 16:42:03 +0000
To: www-xml-schema-comments@w3.org
Message-Id: <E1LeBDP-0001Nd-5A@wiggum.w3.org>

--- Comment #9 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com>  2009-03-02 16:42:02 ---
Perhaps I am just too dim to understand it, but I don't see what contradiciton
arises from the example in comment #8.   If someone who has looked into the
example in greater detail can put it in terms of "For this example, rule xyz 
entails that A, and rule vwx entails that not(A)", I'd be grateful.

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 Monday, 2 March 2009 16:42:20 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:50:09 UTC