Compiler Control R←{X}(400⌶)Y
Controls the actions of the Compiler. For further information, see Compiler User Guide.
The optional left-argument X must be one of the following:
X |
Description |
|---|---|
0 |
Set automatic compilation options (default) |
1 |
Determine whether the function/operator Y has been successfully compiled |
2 |
Compile the function/operator Y |
3 |
Discard compiled form of the function/operator Y |
4 |
Show bytecode for the compiled function/operator Y |
nsref |
Compile the function/operator Y using user-defined callbacks in this namespace to provide information about global names |
The nature of Y and R depend on the value of X as follows:
X=0 : Control Automatic Compilation (default)
Y must be an integer 0, 1, 2, or 3.
Y |
Description |
|---|---|
0 |
disable automatic compilation (initial setting) |
1 |
compile functions when they are fixed (with ⎕FX or from the function editor) |
2 |
compile operators the first time they are executed |
3 |
compile functions when they are fixed (with ⎕FX or from the function editor) and compile operators the first time they are executed |
The result R is the previous value of Y.
The automatic compilation setting is maintained within the workspace, and is saved and loaded with the workspace.
X=1: Query Compilation State
Y must be a character vector, matrix or vector of vectors specifying the name of a function or operator or a list of such names.
The result R is a Boolean scalar or vector, with the value 1 if the corresponding function/operator has been successfully compiled or 0 if it has not.
X=2: Compile
Y must be a character vector, matrix or vector of vectors specifying the name of a function or operator or a list of such names that should be compiled.
The result R is a matrix of diagnostic information or, if Y was either a matrix or a vector of vectors, a vector of such matrices. Each row of the matrix describes a problem that caused the compilation to fail, with four columns corresponding to:
- the APL error number
- the line number in the function/operator
- the column number (currently always 0)
- the error message
If the matrix R has zero rows then the compilation was successful.
If this mechanism is used to compile operators, then the compiled bytecode will assume that the operator's operands are functions rather than arrays. At run time, the operands will be checked – if they are functions then the compiled bytecode will be used, otherwise the operator will be interpreted.
X=3: Discard Compiled Form
If Y is empty, discard any compiled bytecode for all functions and operators in the workspace. If Y is a character vector, matrix or vector of vectors specifying the name of a function or operator or a list of such names, discard any compiled bytecode for the name(s) specified by Y. R is always 0
X=4: Show Bytecode
Y must be a character vector, matrix or vector of vectors specifying the name of a function or operator or a list of such names.
The result R is a multi-line string (that is, a character vector with embedded newlines) or, if Y was either a matrix or a vector of vectors, a vector of such strings. Each string is a human-readable representation of the bytecode of a compiled function or operator.
This functionality is provided for information and diagnostic purposes only. The human-readable form of the bytecode is subject to change at any time.
X is a namespace reference: Compile With Callbacks
Y must be a character vector, matrix or vector of vectors specifying the name of a function or operator or a list of such names. The specified functions or operators are compiled in the same way as when X = 2 except that the compiler uses the user-defined callback functions in the namespace X to obtain information about global names. The namespace X can contain any or all of following callback functions:
| Callback | Description |
|---|---|
quadNC |
analogous to the system function ⎕NC . When applied monadically to an enclosed character vector it should return the detailed name class of that name. For example, given the name of a global dfn it should return the value 3.2. |
quadAT |
analogous to the system function ⎕AT . When applied monadically to an enclosed character vector it should return a 1 by 4 matrix whose first item is a vector of 3 integers describing (respectively) the result, function valence and operator valence of the name. |
getValue |
used to obtain the value of global constants. When applied monadically to a character vector that is a global constant it should return the enclose of the constant value, otherwise it returns ⍬ . |
Each of these callback functions returns information about names that should be guaranteed to exist when the compiled functions are executed. The compiler assumes that the information returned by the callbacks is correct, and generates bytecode accordingly. In the case of quadNC and quadAT, if the information returned by the callbacks turns out not to be correct when the compiled function is executed, then a runtime error is generated.
The result R is a matrix of diagnostic information or, if Y was either a matrix or a vector of vectors, a vector of such matrices. Each row of the matrix describes a problem that caused the compilation to fail, with four columns corresponding to:
- the APL error number
- the line number in the function/operator
- the column number (currently always 0)
- the error message
If the matrix R has zero rows then the compilation was successful.