A Caveat with EVAL (Cont.)

EVAL does recognize global bindings:

> (define x 0)

0

> (let ((x 5)

(exp2 '(* 2 3 4 x)))

(print exp2)(newline)

(print (eval exp2)) )

(* 2 3 4 x)

0

The evaluation of (* 2 3 4 X) takes place within the body of EVAL (a built-in function) which is OUTSIDE the lexical scope established by the LET form.

But the global value of X is accessible and is used.

Previous slide

Back to first slide

View graphic version