[nem-bug] [Nemerle 0000735]: cannot specify 'new' for interface member

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=735> 
======================================================================
Reported By:                steffen
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   735
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             08-11-2006 21:01 CEST
Last Modified:              08-12-2006 12:57 CEST
======================================================================
Summary:                    cannot specify 'new' for interface member
Description: 
When compiling

public interface A {
    X () : object;
}

public interface B : A {
    new X () : string;
}

();

ncc says:

test.n:6:5:6:22: error: interface members are not allowed to have any
attributes specified
test.n:6:5:6:22: warning: N114: method B.X() : string hides method A.X() :
System.Object inherited from base class. To make the current member
override that implementation, add the `override' keyword. Otherwise add
the `new' keyword.

A similar C# program compiles without warnings or errors.
======================================================================

----------------------------------------------------------------------
 nazgul - 08-12-06 12:57 
----------------------------------------------------------------------
Fixed on trunk (r6511).

Issue History
Date Modified  Username       Field                    Change              
======================================================================
08-11-06 21:01 steffen        New Issue                                    
08-12-06 12:57 nazgul         Status                   new => resolved     
08-12-06 12:57 nazgul         Resolution               open => fixed       
08-12-06 12:57 nazgul         Assigned To               => nazgul          
08-12-06 12:57 nazgul         Note Added: 0001414                          
======================================================================