Re: Function constants

[David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>]

    Date: Tue, 25 Apr 89 14:56:27 MDT
    From: sandra%defun@cs.utah.edu (Sandra J Loosemore)

    We could require both sets of requirements to be fulfilled by
    conforming programs, though.  The real question is whether we view the
    semantics of Common Lisp as the semantics of programs that can be
    compiled with COMPILE-FILE, or whether we view COMPILE-FILE as a kind
    of wart on the language that can process only a restricted subset of
    conforming programs.  I've always taken the former view, but it
    appears that I might be in the minoriy.

The former view is fine with me.  My comments were directed more towards
not muddling COMPILE and COMPILE-FILE.  In other words, the semantics of
programs that can be compiled with COMPILE-FILE includes that those
programs can call COMPILE on lambda expressions that could not have been
part of the macro expansion of DEFUN forms appearing in a file to be
compiled.  That doesn't sound very clear, re-reading it, but from past
mail you should know what I mean.  I'm sending this message mainly to
clarify that if you are in the minority, I'm not one of the majority.