From: Bruno H. <br...@cl...> - 2004-05-12 10:48:47
|
Sam wrote: > > So you can save the seclass of a function for compiling other > > functions in the same compilation unit, or if the function was > > declared inline. But not in this case. > > in that case we cannot fold (= 0 0) because this fas file might be > loaded by lisp.run with a redefined #'=. This analogy doesn't hold, because the user must not redefine =. It's an exported symbol of the CL package; the compiler can assume that its definition doesn't change. The compiler can also assume that a DEFSTRUCT, a DEFMACRO and an inline function will not change. The compiler must not assume that a DEFCLASS or a not-inline function will not change. See CLHS 3.2.2.3 for details. Bruno |