- From: <bugzilla@wiggum.w3.org>
- Date: Mon, 23 Jun 2008 09:43:32 +0000
- To: public-sml@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5636 --- Comment #3 from John Arwe <johnarwe@us.ibm.com> 2008-06-23 09:43:31 --- (f2f discussion) The relationship intended is that P1d = local type defs EXCEPT those in P1e (i.e., EXCEPT for anonymous type defs with GED parents). The reason that anonymous type defs must be allowed to have non-empty rules is to deal with substitution groups, as in the following example. Given: - element E1, of type T1 - element E2, substitutable for E1, with an anonymous type definition (that we call T2 in this bug, but it has no name="T2" value since it is anonymous) Existing SML requirements for rule attachment allow T1 to have rules since it is a GTD. Since E2 is substitutable for E1, T2 must be a derivation of T1. Since SML forces inheritance of rules, it must require that T2 inherits any rules attached to T1. -- 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, 23 June 2008 09:44:11 UTC