[nem-bug] [Nemerle 0000804]: Self tail calls should not be used in virtual methods

[feedback at nemerle.org]

The following issue has been SUBMITTED.
======================================================================
<http://nemerle.org/bugs/view.php?id=804> 
======================================================================
Reported By:                nazgul
Assigned To:                
======================================================================
Project:                    Nemerle
Issue ID:                   804
Category:                   Code Completion Engine
Reproducibility:            always
Severity:                   minor
Priority:                   normal
Status:                     new
======================================================================
Date Submitted:             12-06-2006 20:43 CET
Last Modified:              12-06-2006 20:43 CET
======================================================================
Summary:                    Self tail calls should not be used in virtual
methods
Description: 
using System.Console;

class Base
{
  public virtual f( i : int ) : void
  {
    WriteLine("Base.f");
    when( i != 0 )
      f(i-1);
  }

};

class Derived : Base
{
  public base_f( i : int ) : void
  {
    WriteLine("Derived.base_f");
    base.f(i);
  }

  public override f( i : int ) : void
  {
    WriteLine("Derived.f");
    when( i < 10 )
      f(i+1);
  }

};

def b = Base();
def d = Derived();

WriteLine("Calling b.f(10)");
b.f(10);

WriteLine("Calling d.f(10)");
d.f(10);

WriteLine("Calling d.base_f(10)");
d.base_f(10); 

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

Issue History
Date Modified  Username       Field                    Change              
======================================================================
12-06-06 20:43 nazgul         New Issue                                    
======================================================================