W3C home > Mailing lists > Public > public-sml@w3.org > February 2008

[Bug 5398] SMLIF 5.2 clarifications

From: <bugzilla@wiggum.w3.org>
Date: Tue, 12 Feb 2008 23:55:57 +0000
To: public-sml@w3.org
Message-Id: <E1JP4yj-0004l6-4U@wiggum.w3.org>


------- Comment #4 from johnarwe@us.ibm.com  2008-02-12 23:55 -------
[1] looks fine.

> If the model/*/document/* element contains only a vacuous document
gets us into trouble with spec lawyers I think.  E.g. if the document element
has aliases but its data child matches the vacuous document definition, does it
"contain only a v.d." or not?  The logicians would say 'not'.

To some degree this is a problem of our own making, as we have tended to treat
syntax and the concept expressed by the syntax as the same thing in many
places, so a change to one hits us more widely than if the two were
independent.  Many of our more recent changes appear to be in the direction of
separating the two and linking them in exactly one spot (vacuous documents
being an excellent example).

Since I'd like to get something "close enough" for LC, here is the simplest fix
I can come up with... imperfect but likely c.e.
from: If the model/*/document/* element contains only a vacuous document
to:   If the model definition or instance document is a vacuous document
That leaves the definition of v.d. still tied to syntax, but it should be
enough to fend off the spec lawyers.
Received on Tuesday, 12 February 2008 23:56:01 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:56:09 UTC