Re: EVAL

[Sean.Engelson@cad.cs.cmu.edu]

    >Date: Wed, 26 Nov 86 00:24:12 EST
    From: Alan Bawden <ALAN@AI.AI.MIT.EDU>
    Subject:  EVAL

    I'm not quite sure what your proposed source transformation was supposed to
    demonstrate.  How do you compile
    
      (defun bind-x-then-call-f (x f)
        (funcall f `(cons x x)))
    
    given that anyone can do
    
      (bind-x-then-call-f 'foo #'lexical-eval)?

Yes, but given lexical-eval as a special form, you couldn't do that.

Perhaps lexical-eval could substitute lexical values for the variables
in its argument, then eval the result?

	-Sean-