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

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://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:              12-06-2006 16:41 CET
======================================================================
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.

----------------------------------------------------------------------
 malekith - 12-06-06 16:41 
----------------------------------------------------------------------
The basic scenario is now fixed. The one from the note still doesn't work
(it's kind of strange, because without namespace declaration it works just
fine).

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