[nem-bug] [Nemerle 0000999]: Compiler produces unverifiable code in case of infinite instantiation closure in type definition

[feedback at nemerle.org]

The following issue has been set as RELATED TO issue 0000841.
======================================================================
<http://nemerle.org/bugs/view.php?id=999> 
======================================================================
Reported By:                desco
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   999
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             05-02-2007 11:09 CEST
Last Modified:              05-02-2007 11:14 CEST
======================================================================
Summary:                    Compiler produces unverifiable code in case of
infinite instantiation closure in type definition
Description: 
According to ECMA 335 this code is not valid
class B[U] {}
class A[T] : B[A[A[T]]] {}
but it is compiled successfully and failed on verification

Microsoft (R) .NET Framework PE Verifier. Version 2.0.50727.42
Copyright (c) Microsoft Corporation. All rights reserved.

[token 0x02000003] Type load failed.
1 Error Verifying ClassLibrary.dll


======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
related to          0000841 Nemerle compiler does not warn if there...
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
05-02-07 11:09 desco          New Issue                                    
05-02-07 11:14 nikov          Relationship added       related to 0000841  
======================================================================