[nem-bug] [Nemerle 0000841]: Nemerle compiler does not warn if there are polymorphic types with too deep inheritance tree

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=841> 
======================================================================
Reported By:                nikov
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   841
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             01-26-2007 20:19 CET
Last Modified:              01-26-2007 20:19 CET
======================================================================
Summary:                    Nemerle compiler does not warn if there are
polymorphic types with too deep inheritance tree
Description: 
Nemerle compiler does not warn if there are polymorphic types with too deep
inheritance tree.

class A[T] { }
class B[T] : A[B[B[T]]] { }

_ = null : B[int]


This code produces System.TypeLoadException: A generic instantiation for
type
'A`1' from assembly 'NemerleProject, Version=1.0.0.0, Culture=neutral,
PublicKey
Token=null' was too deep.  Is this generic type defined or used
recursively?
   at _N_AutoModule.Main()

See Ecma-335, 9.2 Generics and recursive inheritance graphs
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
01-26-07 20:19 nikov          New Issue                                    
======================================================================