User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

cl:types:compiled-function [2017/05/01 21:00] (current)
Line 1: Line 1:
 +====== Type COMPILED-FUNCTION ======
 +
 +====Supertypes====
 +**compiled-function**,​ **[[CL:​Types:​function]]**,​ **[[CL:​Types:​t]]**
 +
 +====Description====
 +Any //​[[CL:​Glossary:​function]]//​ may be considered by an //​[[CL:​Glossary:​implementation]]//​ to be a a //​[[CL:​Glossary:​compiled function]]//​ if it contains no references to //​[[CL:​Glossary:​macros]]//​ that must be expanded at run time, and it contains no unresolved references to //​[[CL:​Glossary:​load time values]]//. see section {\secref\CompilationSemantics}.
 +
 +//​[[CL:​Glossary:​function|Functions]]//​ whose definitions appear lexically within a //​[[CL:​Glossary:​file]]//​ that has been //​[[CL:​Glossary:​compiled]]//​ with **[[CL:​Functions:​compile-file]]** and then //​[[CL:​Glossary:​loaded]]//​ with **[[CL:​Functions:​load]]** are of type **compiled-function**.
 +
 +//​[[CL:​Glossary:​function|Functions]]//​ produced by the **[[CL:​Functions:​compile]]** function are of type **compiled-function**.
 +
 +Other //​[[CL:​Glossary:​function|functions]]//​ might also be of type **compiled-function**.
 +
 +\issue{FUNCTION-TYPE:​X3J13-MARCH-88} \issue{COMPILED-FUNCTION-REQUIREMENTS:​TIGHTEN} \issue{COMPILED-FUNCTION-REQUIREMENTS:​TIGHTEN}