← All docs
exit() — internals
Compiler internals for exit(): lowering path, type checks, and runtime helpers.
exit() — internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_surfaces.rs - Lowering:
(not lowered):0 - Function symbol:
(none — type-checker only)()
Lowering notes
- Lowered through the compiler’s dedicated language-construct path.
Semantic descriptor
Shared contract with a dedicated compiler language-construct implementation.
EIR and runtime boundary
Lowered by a dedicated compiler language-construct path.
Signature summary
function exit(int $status = 0): voidWhat the type checker enforces
- Arity: takes 0–1 arguments (1 optional).
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/core/exit.rs(eval_builtin!) - Execution: Magician interpreter adapter.
- Adapter reason:
dynamic-language-surface. - Dispatch hooks:
direct,values