[nem-bug] [Nemerle 0000564]: Killer example of nested generic types

[feedback at nemerle.org]

The following issue has been CONFIRMED.
======================================================================
<http://nemerle.org/bugs/view.php?id=564> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   564
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     confirmed
======================================================================
Date Submitted:             11-06-2005 20:40 CET
Last Modified:              11-06-2005 20:41 CET
======================================================================
Summary:                    Killer example of nested generic types
Description: 

public class A[T1]
{
    public a : T1;

    public class B[T2] : A[T2]
    {
        public b : T1;

        public class C[T3] : B[T3]
        {
            public c : T1;
        }
    }
}

class PopQuiz
{
    static Main() :  void
    {
        def o = A.[int].B.[char].C.[bool]();
        System.Console.WriteLine(o.a.GetType().FullName);
        System.Console.WriteLine(o.b.GetType().FullName);
        System.Console.WriteLine(o.c.GetType().FullName);
    }
}


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

----------------------------------------------------------------------
 nazgul - 11-06-05 20:41 
----------------------------------------------------------------------
And currently it is:

t.n:20:12:20:26: debug: Internal compiler error, please report a bug to
bugs.nemerle.org. You can try modifying program near this location.
error: internal compiler error: assertion failed in file
generation/Typer4.n, line 177:
tv T1.151 defined in A and accessed from PopQuiz
   at Nemerle.Compiler.Typer4.CheckSTV(TyVar t)
   at Nemerle.Compiler.Typer4.Throws(TExpr expr, Boolean allow_try)
   at Nemerle.Compiler.Typer4.NoThrowPlease(TExpr e)
   at Nemerle.Compiler.Typer4.Throws(TExpr expr, Boolean allow_try)
   at Nemerle.Compiler.Typer4.NoThrowPlease(TExpr e)


Issue History
Date Modified  Username       Field                    Change              
======================================================================
11-06-05 20:40 nazgul         New Issue                                    
11-06-05 20:41 nazgul         Note Added: 0001012                          
11-06-05 20:41 nazgul         Status                   new => confirmed    
11-06-05 20:41 nazgul         Description Updated                          
11-06-05 20:41 nazgul         Additional Information Updated                    
======================================================================