[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Limbo

>philw@plan9.bell-labs.com wrote:
>> >Is Limbo tail recursive?
>> no
>Limbo does not allow you to get the address of a local variable and the
>language is automatic GC'd. A tail call is the last call in a function.
>This would allow the compiler to know exactly when to empty the stack
>frame. With all this said I wonder why Limbo is not tail recursive...
The compiler is required to do data dependence analysis
of the argument area to determine if a new parameter may
be referenced after it has been overwritten. It does not.