[nem-bug] [Nemerle 0000885]: Interface member mapping on member, inherited from base class

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=885> 
======================================================================
Reported By:                nikov
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   885
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             02-10-2007 20:28 CET
Last Modified:              02-10-2007 20:28 CET
======================================================================
Summary:                    Interface member mapping on member, inherited from
base class
Description: 
class Base[T]
{
    public Foo(x : T) : void {}
}

interface IFace
{
    Foo(x : int) : void;
}

class Derived : Base[int], IFace { } /* error : unimplemented
interface method IFace.Foo(x : int) : void (in Derived type) */

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-10-07 20:28 nikov          New Issue                                    
======================================================================