← All docs
readdir() — internals
Compiler internals for readdir(): lowering path, type checks, and runtime helpers.
readdir() — internals
Where it lives
- Signature:
src/builtins/io/readdir.rs - Lowering:
src/codegen/lower_inst/builtins/io.rs:3553 (lower_readdir) - Function symbol:
lower_readdir()
Lowering notes
- Lowers
readdir(dir_handle)for libc, glob, and userspace-wrapper handles.
Runtime helpers
The following runtime helpers are referenced:
__rt_closedir__rt_readdir__rt_user_wrapper_dir_closedir__rt_user_wrapper_dir_readdir
Signature summary
function readdir(resource $dir_handle): mixed
What the type checker enforces
- Arity: takes exactly 1 argument.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/filesystem/readdir.rs(eval_builtin!) - Dispatch hooks:
direct,values