Module check

Semantic checking APIs and checked-program annotations.

Structs

CheckedProgram

Fully checked program annotations used by later compiler stages.

FunctionSig

Checked function signature used during semantic analysis.

LocalSymbol

Semantic metadata for one local binding symbol.

LocalSymbolOccurrence

One local-symbol occurrence discovered during checking.

ParamSig

Checked parameter signature used for call validation and lowering.

Enums

CheckError

Semantic checking error produced from HIR validation.

Ty

Semantic type assigned by checking and consumed by lower IRs/backends.

Functions

check_program

Check a HIR program and produce semantic annotations for later stages.