Re: Issues from last meeting

[Jeff Dalton <jeff%aiai.edinburgh.ac.uk@NSS.Cs.Ucl.AC.UK>]

About the question of (COMPILE 'F), where F was defined in a non-null
lexical environment.  As Steve pointed out, this is already a problem
in CL because of SETF of SYMBOL-FUNCTION.  I agree with the suggestion
that it be "an error" to call COMPILE on function of this sort unless
someone can show that it is easy to compile them without requiring that
interpreted and compiled code use the same representation for closures.

The inability to compile such functions is widespread.  I just ran
into it in Lucid2.1.  What I ended up doing is this:

	(defun zz () (let (...) (defun f ...)))
	(compile 'zz)
	(zz)

which is not-very-nice and works only for cases reasonably near the
top-level.

-- Jeff