← All docs

number_format() — internals

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

number_format() — internals

Where it lives

Lowering notes

  • Uses the runtime_call strategy from the single-source builtin descriptor.
  • Emits the typed EIR target runtime.number_format through BuiltinLoweringContext.
  • The backend resolves that typed target through src/codegen/lower_inst/runtime_calls.rs; PHP builtin names do not participate in dispatch.

Semantic descriptor

  • Target strategy: runtime_call
  • Validation: signature
  • Result type source: declared
  • Result ownership: may_alias_arguments
  • Effects: static (0 declared effects)
  • Requirements: static (0 requirements)
  • Callable policy: static_only
  • Target support: macos-aarch64, ios-arm64, ios-sim-arm64, linux-aarch64, linux-x86_64

EIR and runtime boundary

  • Typed EIR target: runtime.number_format
  • Backend boundary: src/codegen/lower_inst/runtime_calls.rs resolves the typed target without PHP-name dispatch.

Signature summary

function number_format(float $num, int $decimals = 0, string $decimal_separator = '.', string $thousands_separator = ','): string

What the type checker enforces

  • Arity: takes 1–4 arguments (3 optional).

Eval interpreter (magician)

Cross-references