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

[feedback at nemerle.org]

The following issue has been ASSIGNED.
======================================================================
<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:                     assigned
======================================================================
Date Submitted:             07-10-2006 22:33 CEST
Last Modified:              12-07-2006 12:47 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

----------------------------------------------------------------------
 nazgul - 12-07-06 12:47 
----------------------------------------------------------------------
Reopen. It still causes regression in speagram test compilation:


make -C terms
make[2]: Entering directory
`/home/users/nemweb/external-apps/speagram/src/terms'
mono /home/users/nemweb/nemerle/ncc/out.stage3/ncc.exe -tdll
-r:../utils/spg-utils.dll \
       -doc spg-terms.xml -out:spg-terms.dll var_trees.n types.n terms.n
basic_coding.n structures.n type_of_term.n
error: internal compiler error: got ArgumentException
(List.FirstN called for too short list)
 at Nemerle.Core.list`1[Nemerle.Compiler.StaticTyVar].FirstN (Int32 )
[0x00000]
 at Nemerle.Compiler.TypeBuilder.bind_types () [0x00000]
 at Nemerle.Compiler.TypeBuilder.FixupDefinedClass () [0x00000]
 at Nemerle.Compiler.Typer3.EmitStaticProxy
(Nemerle.Compiler.Typedtree.StaticRef sr) [0x00000]
 at Nemerle.Compiler.Typer3.DoWalk (Nemerle.Compiler.Typedtree.TExpr expr)
[0x00000]

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                          
12-06-06 17:05 malekith       Description Updated                          
12-06-06 17:05 malekith       Additional Information Updated                    
12-07-06 12:47 nazgul         Note Added: 0001569                          
12-07-06 12:47 nazgul         Status                   resolved => assigned
12-07-06 12:47 nazgul         Description Updated                          
12-07-06 12:47 nazgul         Additional Information Updated                    
======================================================================