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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=712> 
======================================================================
Reported By:                steffen
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   712
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             07-10-2006 22:33 CEST
Last Modified:              12-06-2006 17:05 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).

----------------------------------------------------------------------
 malekith - 12-06-06 17:05 
----------------------------------------------------------------------
Resolved on trunk, r7060

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                          
12-06-06 17:05 malekith       Status                   new => resolved     
12-06-06 17:05 malekith       Resolution               open => fixed       
12-06-06 17:05 malekith       Assigned To               => malekith        
12-06-06 17:05 malekith       Note Added: 0001560                          
======================================================================