← All docs
exit() — internals
Compiler internals for exit(): lowering path, type checks, and runtime helpers.
exit() — internals
Where it lives
- Signature:
src/types/signatures.rs - Lowering:
(not lowered):0 - Function symbol:
(none — type-checker only)()
Runtime helpers
No direct __rt_* helpers captured — the lowering is inlined or routes through another builtin.
Signature summary
function exit(int $status): 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!) - Dispatch hooks:
direct,values