indirect eval spec too severe?

Mark S. Miller erights at
Sun Jan 18 22:19:55 PST 2009

On Sun, Jan 18, 2009 at 10:17 PM, Mark S. Miller <erights at> wrote:

> Though the above specific problem cannot occur if foo is strict, I propose
>>> that, for all code, one may not define a local variable named "eval".
>> This is unnecessary, and I'm not sure it's sufficient given your
>> assumptions.
> I think I'm happy with your earlier assumptions above; in which case it
> would be sufficient to prohibit defining local variables named "eval".

And (I agree) this restriction is unnecessary, so sufficiency is pointless.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Es-discuss mailing list