[nem-en] Bug 777

[Michal Moskal]

On 10/16/06, Valient Gough <valient at gmail.com> wrote:
>
> I just reported a bug
> (http://nemerle.org/bugs/view.php?id=777) with in Typer:
> error: internal compiler error: assertion ``parm.kind == ParmKind.Normal''
> failed in file generation/Typer3.n, line 1696
>
> The problem is that it can't handle recursive functions which take a
> reference.  For example, the following test code causes this:
>
> public class Test
> {
>     public Recur( n : int, foo : ref long ) : long
>     {
>         if(n <= 0)
>             1L;
>         else
>             Recur(n-1, ref foo);
>     }
> }
>
> Does this sound like something that's simple to fix, or something that won't
> be supported for a while?

I have just fixed this one (by not transforming self-tail-call to jump
in this case).\

Thanks!

-- 
   Michał