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