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

[Marius Vollmer]

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

> | 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.
> 
> I'm not sure.  It would be easy to determine whether a function uses
> eval(), but I think it would be harder to decide whether what funny
> stuff might be going on with eval since the string to be evaluated can
> come from anywhere, including user input.

Yes, just detecting the use of eval would be good enough, then.  It
might catch cases that don't strictly need it, but that's no problem.