W3C home > Mailing lists > Public > public-sml@w3.org > July 2007

[Bug 4793] Restructure section 3.4 to follow the following 1) mapping from syntax to cannonical representation, 2) what constitutues a valid usage and 3) implications on instances.

From: <bugzilla@wiggum.w3.org>
Date: Thu, 12 Jul 2007 16:40:43 +0000
To: public-sml@w3.org
Message-Id: <E1I91id-0005Uw-6A@wiggum.w3.org>


------- Comment #1 from sandygao@ca.ibm.com  2007-07-12 16:40 -------
For example, for 3.4.1 "acyclic", we could organize its subsections like the

3.4.1 (description) {acyclic} is an SML specific property on SML reference
types. It's value is a boolean. (maping from schema) if SML:acyclic is present, then {acyclic} has the
actual value of SML:acyclic; otherwise, it has the value of {acyclic} of its
base type. (rules) it's an error if base type has {acyclic} with true and derived
type has it with false. (validation rule) if {acyclic} is true for a type, then its instances
form no cycles.
Received on Thursday, 12 July 2007 16:40:56 UTC

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