[nem-bug] [Nemerle 0000776]: Can't Define virtual & override methods (in macro)

[feedback at nemerle.org]

A NOTE has been added to this issue.
======================================================================
<http://nemerle.org/bugs/view.php?id=776> 
======================================================================
Reported By:                VladD2
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   776
Category:                   Compiler (type engine)
Reproducibility:            always
Severity:                   block
Priority:                   urgent
Status:                     new
======================================================================
Date Submitted:             10-05-2006 01:59 CEST
Last Modified:              10-05-2006 07:46 CEST
======================================================================
Summary:                    Can't Define virtual & override methods (in macro)
Description: 
Macro code:
----------------------------------------------------------------------------
using Nemerle.Compiler;

[Nemerle.MacroUsage (Nemerle.MacroPhase.WithTypedMembers,
                     Nemerle.MacroTargets.Class)]
macro AddVirtualTestImpl (tb : TypeBuilder)
{
  tb.Define (<[ decl: 
    internal virtual TestImpl () : void
    {
    }
  ]>);
}

[Nemerle.MacroUsage (Nemerle.MacroPhase.WithTypedMembers,
                     Nemerle.MacroTargets.Class)]
macro AddOverrideTestImpl (tb : TypeBuilder)
{
  tb.Define (<[ decl: 
    internal override TestImpl () : void
    {
    }
  ]>);
}
----------------------------------------------------------------------------
Code use macro:
----------------------------------------------------------------------------
[AddVirtualTestImpl]
class A { }

[AddOverrideTestImpl]
class B : A { }
----------------------------------------------------------------------------
Error message:
----------------------------------------------------------------------------
Main.n(4,2,4,21): error : `override' specified on method B.TestImpl() :
void, but there is no such member in parent to override
======================================================================

----------------------------------------------------------------------
 malekith - 10-05-06 07:46 
----------------------------------------------------------------------
It's by design.

You need to add virtual memebers in the BeforeInheritance stage, not
WithTypedMembers. Otherwise they are not visible in derived class.

We can maybe turn this issue into feature request to allow this also at
later stages. Is BeforeInheritenance a problem for you?

Issue History
Date Modified  Username       Field                    Change              
======================================================================
10-05-06 01:59 VladD2         New Issue                                    
10-05-06 07:46 malekith       Note Added: 0001467                          
======================================================================