Functions
Signatures carry resolved parameter, result, and calling-convention identities.
DByte 12.0 · Language
Contract§
Direct and indirect calls are decided in canonical HIR.
Mechanics§
A function signature records parameter TypeIds, result TypeId, visibility and CallConvention. Direct calls retain a resolved SymbolId; indirect calls retain a checked callable shape.
Validation and failure§
Argument count, types, convention and result use are checked before lowering. Public cross-module calls require exported symbols; private definitions do not cross object boundaries.
Evidence and boundary§
Native objects expose defined/undefined symbols and R_386_PC32 call relocations that correspond to resolved HIR calls.