Re: translators and scoping rules (was: Re: language translator help)

[Marius Vollmer]

"John W. Eaton" <address@hidden> writes:

> [defining new local variables via eval.]
>
> OK.  I'm not sure whether this feature is really necessary, but it
> might also turn out to be a mistake to design the translator in way
> that makes it impossible.

Can you statically determine whether a function uses eval in such a
way?  If so, you can generate efficient code for functions that can
not define new locals, and use some horrible scheme for functions that
can.