Stanislav Ievlev <inger_at_altlinux.org> writes:
> The phrase
>
> "Specifically, if the first argument to eval is a definition, it must
> raise an exception with condition type &eval-definition".
>
> should be replaced with something like
>
> "Any types of top level definitions are not allowed"
>
> Because, any of the samples below will break the first rule (and security):
>
> (eval '(begin (define a 3) ...) ... )
> (eval '(macro-begin '(+ 1 2) (define a 3) ...) ...)
> (evel '(my-define-macro a) ...)
While the phrase you cite is certainly not as clear as it could be, it
is only an example for the sentence preceding it, which specifies that
the above examples will break because they're all non-expressions.
Having said that, I'll try to clarify in the next draft.
--
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Sun Nov 26 2006 - 08:14:22 UTC