[no subject]

[EB@MIT-ML]

(defun f macro (m)
   (cond ((eq (cadr m) '+) 'plus)
	 ((eq (cadr m) '-) 'difference)
	 (t (error))))

(defun foo+ (x y) ((f +) x y))

(defun foo- (x y) ((f -) x y))

In the Interpreter, PLUS or DIFFERENCE is an unbound variable.  In
the compiler, the function PLUS or DIFFERENCE is JCALLed, or
so the LAP claims.