[nem-bug] [Nemerle 0000767]: Can't implement generic interface methods.

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=767> 
======================================================================
Reported By:                objectx
Assigned To:                malekith
======================================================================
Project:                    Nemerle
Issue ID:                   767
Category:                   Compiler (parser/macros engine)
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             09-26-2006 15:46 CEST
Last Modified:              09-26-2006 18:23 CEST
======================================================================
Summary:                    Can't implement generic interface methods.
Description: 
When Compiling the class below...

class MyEnumerable : IEnumerable[int] {
    private data_ = array [0, 1, 2, 3] : array [int] ;

    public GetEnumerator () : IEnumerator {
        data_.GetEnumerator () ;
    }
    public GetEnumeratorOfInt32 () : IEnumerator [int] implements
IEnumerable [int].GetEnumerator {
        (data_ : IEnumerable [int]).GetEnumerator () ;
    }
}

ncc.exe says:

Z:\transient\objectx\Nemerle\main.n(9,5,18,6): error : simple identifier
expected in explicit implementation specifier

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

----------------------------------------------------------------------
 malekith - 09-26-06 18:23 
----------------------------------------------------------------------
Resolved on trunk (r6717).

There are still going to be problems, if you try to implement an interface
twice with different type parameters.

Issue History
Date Modified  Username       Field                    Change              
======================================================================
09-26-06 15:46 objectx        New Issue                                    
09-26-06 18:23 malekith       Status                   new => resolved     
09-26-06 18:23 malekith       Resolution               open => fixed       
09-26-06 18:23 malekith       Assigned To               => malekith        
09-26-06 18:23 malekith       Note Added: 0001457                          
======================================================================