[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


    >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?