← All docs
vfprintf() — internals
Compiler internals for vfprintf(): lowering path, type checks, and runtime helpers.
vfprintf() — internals
Where it lives
- Signature:
src/builtins/io/vfprintf.rs - Lowering:
src/codegen/lower_inst/builtins/io.rs:2896 (lower_vfprintf) - Function symbol:
lower_vfprintf()
Lowering notes
- Lowers
vfprintf(stream, format, values)through__rt_vsprintfthen fwrite.
Runtime helpers
The following runtime helpers are referenced:
__rt_fwrite__rt_vsprintf
Signature summary
function vfprintf(resource $stream, string $format, array $values): int
What the type checker enforces
- Arity: takes exactly 3 arguments.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/filesystem/vfprintf.rs(eval_builtin!) - Dispatch hooks:
direct,values