← All docs
readlink() — internals
Compiler internals for readlink(): lowering path, type checks, and runtime helpers.
readlink() — internals
Where it lives
- Signature:
src/builtins/io/readlink.rs - Lowering:
src/codegen/lower_inst/builtins/io.rs:5454 (lower_readlink) - Function symbol:
lower_readlink()
Lowering notes
- Lowers
readlink(path)and boxes the owned runtime string-or-false result.
Runtime helpers
The following runtime helpers are referenced:
__rt_fileatime__rt_filectime__rt_fileperms__rt_readlink
Signature summary
function readlink(string $path): mixed
What the type checker enforces
- Arity: takes exactly 1 argument.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/filesystem/readlink.rs(eval_builtin!) - Dispatch hooks:
direct,values