4894 2007-07-30 17:13:10 +0000 Clarify that acyclicity is determined polymorphically 2007-11-15 22:56:49 +0000 1 1 1 Unclassified SML Core unspecified All All RESOLVED FIXED resolved P2 normal --- 1 pratul.dublish virginia.smith public-sml oldest_to_newest 15971 0 pratul.dublish 2007-07-30 17:13:10 +0000 Section 3.3.1 for sml:acyclic should clarify that acyclicity is determined polymorphically. In particular, if sml:acyclic=”true” for a reference type R, then a model is invalid if it contains a cycle whose edges are instances of R and any derived types of R. 17297 1 virginia.smith 2007-10-17 20:07:12 +0000 Section 4.3.1 now. 17584 2 virginia.smith 2007-11-04 20:08:14 +0000 The proposal in bug 4639 covers this. 17676 3 pratul.dublish 2007-11-12 18:29:22 +0000 Agree with the proposal in 4639. Recommend resolving this as FIXED --- Copied from 4639 --------- 2. Replace section 4.3.1.3 with the following text: ---------------- If T is a complex type definition with {acyclic} true, then instances of T MUST NOT create cycles in any model. More precisely, the directed graph whose arcs are SML references of a given complexType (and any derived types) and whose nodes are all the elements pointed to by this set of SML references, must be acyclic. ---- end copy ----- 17708 4 kumarp 2007-11-14 05:57:33 +0000 I agree with the definition in comment# 3. 17735 5 johnarwe 2007-11-15 17:09:32 +0000 ok 17753 6 virginia.smith 2007-11-15 19:23:55 +0000 Resolution: accept proposal in comment #3 and remove dependency on 4639. Bug 4639 may revisit this section. 17763 7 virginia.smith 2007-11-15 22:56:49 +0000 Changed section 4.3.1.3 as proposed in comment #3.