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

[Bug 4894] Clarify that acyclicity is determined polymorphically

From: <bugzilla@wiggum.w3.org>
Date: Mon, 30 Jul 2007 17:13:11 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1IFYnv-0007CC-0E@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=4894

           Summary: Clarify that acyclicity is determined polymorphically
           Product: SML
           Version: unspecified
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Core
        AssignedTo: cmsmcq@w3.org
        ReportedBy: pratul.dublish@microsoft.com
         QAContact: public-sml@w3.org


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.
Received on Monday, 30 July 2007 17:13:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:24:15 UTC