runtime.File · builtin · Updated 2026-09-09

File.ReadBytes

Read file bytes with an explicit maximum byte count.

builtincpufileyeho

Built into Yeho; no package import is needed. Native services require an admitted host and the correct resource lifecycle.

File.ReadBytes(text path, int maximum_bytes) -> list of byte

Status: registered-intrinsic

Parameters

text path: Supply path as text.
int maximum_bytes: Supply maximum bytes as int.

Call File.ReadBytes

A complete typed caller with illustrative arguments. Native operations need the corresponding host and resources.

cpu · builtin · type checked

text path = "path"
int maximum_bytes = 4
list of byte result = File.ReadBytes(path, maximum_bytes)
Console.Log(Text.From(result.count))

project.mech

manifestVersion = "2"
package = "api.example.runtime__file_readbytes"
version = "0.1.0"
languageEdition = "yeho-core-2026.1"

[app]
kind = "headless"

Notes and source

The example checks the call shape. Opening windows, recording audio, changing files, network operations, and process operations have real effects when run. Follow the corresponding package lifecycle before using live resources.

yeho/src/compiler/common/intrinsic_registry.cpp:804