[nem-bug] [Nemerle 0000712]: Nested generic type problem

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<https://nemerle.org/bugs/view.php?id=712> 
======================================================================
Reported By:                steffen
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   712
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             07-10-2006 22:33 CEST
Last Modified:              07-10-2006 22:43 CEST
======================================================================
Summary:                    Nested generic type problem
Description: 
The program

public class A['a] {
    class B : System.IComparable[B] {
        public CompareTo (e : B) : int {
            0
        }
    }
}

();

fails to compile:

nestedgentype.n:2:5:6:6: error: unimplemented interface method
System.IComparable.CompareTo(x : T.1) : int

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

----------------------------------------------------------------------
 steffen - 07-10-06 22:43 
----------------------------------------------------------------------
namespace X {
    public class A['a] {
        class B : System.IComparable[A['a].B] {
            public CompareTo (b : B) : int {
                0
            }
        }
    }
}

();

also fails to compile:

nestedgentype2.n:3:9:8:10: error: the type `X.A['a.739]' does not contain
a nested type named `B'
nestedgentype2.n:3:9:8:10: error: unimplemented interface method
System.IComparable.CompareTo(x : T.1) : int

This problem might be related.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-10-06 22:33 steffen        New Issue                                    
07-10-06 22:43 steffen        Note Added: 0001358                          
======================================================================