[nem-bug] [Nemerle 0000881]: Bogus error concerning override

[feedback at nemerle.org]

The following issue has been RESOLVED.
======================================================================
<http://nemerle.org/bugs/view.php?id=881> 
======================================================================
Reported By:                nikov
Assigned To:                nazgul
======================================================================
Project:                    Nemerle
Issue ID:                   881
Category:                   Compiler
Reproducibility:            always
Severity:                   major
Priority:                   normal
Status:                     resolved
Resolution:                 fixed
Fixed in Version:           
======================================================================
Date Submitted:             02-06-2007 14:12 CET
Last Modified:              02-11-2007 13:06 CET
======================================================================
Summary:                    Bogus error concerning override
Description: 
class Base {
	public virtual Foo[T]() : void {}
}

interface IFace {
	Foo[T]() : void;
}

class Derived : Base, IFace {} /* error : `override' specified on method
Derived.Foo() : void, but there is no method with this signature in parent
to override */

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

----------------------------------------------------------------------
 nazgul - 02-11-07 13:06 
----------------------------------------------------------------------
Fixed on trunk (r7404)

Issue History
Date Modified  Username       Field                    Change              
======================================================================
02-06-07 14:12 nikov          New Issue                                    
02-11-07 13:06 nazgul         Status                   new => resolved     
02-11-07 13:06 nazgul         Resolution               open => fixed       
02-11-07 13:06 nazgul         Assigned To               => nazgul          
02-11-07 13:06 nazgul         Note Added: 0001708                          
======================================================================