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

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=885> 
======================================================================
Reported By:                nikov
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   885
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-10-2007 20:28 CET
Last Modified:              02-12-2007 23:26 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) */

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

----------------------------------------------------------------------
 nazgul - 02-12-07 23:26 
----------------------------------------------------------------------
Fixed on trunk (r7409)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-10-07 20:28 nikov          New Issue                                    
02-12-07 23:26 nazgul         Status                   new => resolved     
02-12-07 23:26 nazgul         Resolution               open => fixed       
02-12-07 23:26 nazgul         Assigned To               => nazgul          
02-12-07 23:26 nazgul         Note Added: 0001713                          
======================================================================