[nem-bug] [Nemerle 0000715]: Cannot implement interface when interface already implemented on base class

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=715> 
======================================================================
Reported By:                Snaury
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   715
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             07-11-2006 23:02 CEST
Last Modified:              07-11-2006 23:02 CEST
======================================================================
Summary:                    Cannot implement interface when interface already
implemented on base class
Description: 
The following code produces error: no interface implemented by `Something2'
contains method named `DoSomething' (looking for `ISomething.DoSomething')

using System;

public interface ISomething
{
  DoSomething() : void;
}

public class Something: ISomething
{
  ISomething_DoSomething() : void implements ISomething.DoSomething
  {
    Console.WriteLine("Something.DoSomething");
  }
}

public class Something2: Something, ISomething
{
  ISomething_DoSomething() : void implements ISomething.DoSomething
  {
    Console.WriteLine("Something2.DoSomething");
  }
}

public static class Program
{
  public static Main() : void
  {
    ((Something() : ISomething)).DoSomething();
    ((Something2() : ISomething)).DoSomething();
  }
}
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
07-11-06 23:02 Snaury         New Issue                                    
======================================================================