← All docs
filemtime() — internals
Compiler internals for filemtime(): lowering path, type checks, and runtime helpers.
filemtime() — internals
Where it lives
- Signature:
src/builtins/io/filemtime.rs - Lowering:
src/codegen/lower_inst/builtins/io.rs:5428 (lower_filemtime) - Function symbol:
lower_filemtime()
Lowering notes
- Lowers
filemtime(path)through the target-aware runtime stat helper.
Runtime helpers
The following runtime helpers are referenced:
__rt_filemtime__rt_link__rt_linkinfo__rt_readlink__rt_symlink
Signature summary
function filemtime(string $filename): intWhat the type checker enforces
- Arity: takes exactly 1 argument.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/filesystem/filemtime.rs(eval_builtin!) - Dispatch hooks:
direct,values