Expand description
Compiler-owned whole-program loading and canonical module identity.
Structs§
- Executable
Module Provenance - Compiler-only identity and resolved-edge provenance for one executable module.
- Executable
Program - The compiler’s sole executable product: one verified wire program plus non-wire provenance.
- Module
Edge - One source-anchored, resolved dependency.
- Program
Loader - Loads one entrypoint and its complete local module graph.
- Program
Lower Error - A whole-program lowering failure anchored to a canonical module path and phase.
- Resolved
Module - A module loaded exactly once under its canonical filesystem identity.
- Resolved
Program - The canonical whole-program value shared by every compiler and execution phase.
- Unresolved
Module Diagnostic - A typed module-resolution failure anchored at the importing source.
Enums§
- Module
Edge Kind - The semantic role of one resolved module dependency.
- Module
Target - The canonical identity of a resolved module dependency.
- Program
Load Error - Fail-fast program loading errors. No partially resolved graph is exposed.
- Program
Lower Error Kind - Program
Lower Phase
Functions§
- lower_
program - Lowers one canonical resolved program and its matching frontend products.