← All docs
finfo_open() - internals
Compiler internals for finfo_open(): lowering path, type checks, and runtime helpers.
finfo_open() - internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_surfaces.rs - Lowering:
src/fileinfo_prelude/build.rs(finfo_open) - Function symbol:
finfo_open()
Lowering notes
- Implemented by the compiler-injected fileinfo prelude.
Semantic descriptor
Shared contract implemented by an injected elephc-PHP prelude.
EIR and runtime boundary
Implemented by an injected elephc-PHP prelude.
Signature summary
function finfo_open(int $flags = 0, ?string $magic_database = null): finfo|false
What the type checker enforces
- Arity: takes 0–2 arguments (2 optional).
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/fileinfo/finfo_open.rs(eval_builtin!) - Execution: Magician interpreter adapter.
- Adapter reason:
dynamic-language-surface. - Dispatch hooks:
direct,values