[nem-bug] [Nemerle 0000711]: Self referential use of generic from assembly fails

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=711> 
======================================================================
Reported By:                andrewdavey
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   711
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             07-07-2006 14:45 CEST
Last Modified:              07-08-2006 17:05 CEST
======================================================================
Summary:                    Self referential use of generic from assembly fails
Description: 
Consider an assembly with this code:

namespace Library 
{ 
   public class BusinessBase[T] where T : BusinessBase[T] 
   { 
   } 
}

Then have another assembly that references the library, using the
generic:

using Library; 
public class Foo : BusinessBase[Foo] 
{ 
}

When compiling the application assembly I get: 
internal compiler error: assertion ``supertypes != null'' failed in file
hierarchy/TypeBuilder.n, line 191 
(followed by a stack trace... top of which is "at
Nemerle.Compiler.TypeBuilder.SuperType(TypeInfo ti)") 

This use of generics works in C#.
======================================================================

----------------------------------------------------------------------
 nazgul - 07-08-06 17:05 
----------------------------------------------------------------------
Fixed on trunk (r6437).

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-07-06 14:45 andrewdavey    New Issue                                    
07-08-06 17:05 nazgul         Status                   new => resolved     
07-08-06 17:05 nazgul         Resolution               open => fixed       
07-08-06 17:05 nazgul         Assigned To               => nazgul          
07-08-06 17:05 nazgul         Note Added: 0001355                          
======================================================================