[nem-bug] [Nemerle 0000349]: Interfaces should be possible to reimplement second time

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=349> 
======================================================================
Reported By:                nazgul
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   349
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-25-2005 16:44 CET
Last Modified:              07-13-2006 22:22 CEST
======================================================================
Summary:                    Interfaces should be possible to reimplement second
time
Description: 

using System;

public interface IVehicle {
         Start () : int;
         Stop () : int;
         Turn () : int;
}

public class Base : IVehicle {
         IVehicle_Start () : int implements IVehicle.Start {  1; }
        public Stop () :  int {  2; }
        public virtual Turn () :  int {  3; }
}

public class Derived2 : Base, IVehicle {
        
        // legal - we redeclared IVehicle support
         IVehicle_Start () : int implements IVehicle.Start {  5; }
        // replaces IVehicle.Turn
         IVehicle_Turn () : int implements IVehicle.Turn {  7; }

}

public class Test {

        static Main () :  int {
        }
}

======================================================================
Relationships       ID      Summary
----------------------------------------------------------------------
duplicate of        0000715 Cannot implement interface when interfa...
======================================================================

----------------------------------------------------------------------
 nazgul - 07-13-06 22:22 
----------------------------------------------------------------------
This is now fixed on trunk (r6449).

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-25-05 16:44 nazgul         New Issue                                    
07-13-06 22:22 nazgul         Relationship added       duplicate of 0000715
07-13-06 22:22 nazgul         Duplicate ID             0 => 715            
07-13-06 22:22 nazgul         Status                   new => resolved     
07-13-06 22:22 nazgul         Resolution               open => fixed       
07-13-06 22:22 nazgul         Assigned To               => nazgul          
07-13-06 22:22 nazgul         Note Added: 0001366                          
======================================================================