← All docs

finfo_open() - internals

Compiler internals for finfo_open(): lowering path, type checks, and runtime helpers.

finfo_open() - internals

Where it lives

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)

Cross-references