On Sun, Jan 18, 2009 at 10:17 PM, Mark S. Miller <[email protected]> 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.
Right.


-- 
   Cheers,
   --MarkM
_______________________________________________
Es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss

Reply via email to