[nem-bug] [Nemerle 0000997]: CheckSTV failed: cyclic type found

[feedback at nemerle.org]

The following issue has been UPDATED.
======================================================================
<http://nemerle.org/bugs/view.php?id=997> 
======================================================================
Reported By:                rameel
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   997
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-01-2007 00:30 CEST
Last Modified:              05-01-2007 08:11 CEST
======================================================================
Summary:                    CheckSTV failed: cyclic type found
Description: 
    public class First[T] where T : First[T], new()
    {
        public static CreateInstance() : T
        {
            T();
        }
    }
    
    public class Second : First[Second]
    {
    }    
    
    module Program
    {
        Main() : void
        {
            def instance = Second.CreateInstance();
        }
    }

======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-01-07 00:30 rameel         New Issue                                    
05-01-07 08:11 divan          Category                 Code Completion Engine =>
Compiler (type engine)
05-01-07 08:11 divan          Description Updated                          
======================================================================