compiled-function, function, t

Any function may be considered by an implementation to be a a compiled function if it contains no references to macros that must be expanded at run time, and it contains no unresolved references to load time values. see section {\secref\CompilationSemantics}.

Functions whose definitions appear lexically within a file that has been compiled with compile-file and then loaded with load are of type compiled-function.

Functions produced by the compile function are of type compiled-function.

Other functions might also be of type compiled-function.

\issue{FUNCTION-TYPE:X3J13-MARCH-88} \issue{COMPILED-FUNCTION-REQUIREMENTS:TIGHTEN} \issue{COMPILED-FUNCTION-REQUIREMENTS:TIGHTEN}