[Bug 4894] Clarify that acyclicity is determined polymorphically

• From: <bugzilla@wiggum.w3.org>
• Date: Mon, 30 Jul 2007 17:13:11 +0000
• To: public-sml@w3.org
• CC:
• 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