[nem-bug] [Nemerle 0000738]: Override generic method

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=738> 
======================================================================
Reported By:                Tobias
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   738
Category:                   Compiler
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             08-14-2006 19:20 CEST
Last Modified:              08-14-2006 19:20 CEST
======================================================================
Summary:                    Override generic method
Description: 
abstract class A {
   public abstract Test[T] (a : T) : void;
}
class B : A {
   public override Test[T] (a : T) : void {}
}

gives

`override' specified on method B.Test(a : T.823) : void, but there is no
method with this signature in parent to override

method A.Test(a : T.822) : void must be overriden, because it is abstract
and the current class `B' is not
======================================================================

Issue History
Date Modified  Username       Field                    Change              
======================================================================
08-14-06 19:20 Tobias         New Issue                                    
======================================================================