Compiler Pipeline
At a high level, the compiler pipeline is:
- Parse source into syntax structures.
- Expand runtime
meta { ... }forms into runtime AST. - Elaborate/concretize runtime types (instantiate generic struct templates into concrete runtime structs).
- Lower into typed HIR.
- Run checker passes.
- Lower into MIR.
- Emit Rust code and optionally execute it.
Checker invariant: runtime generic types are not supported past elaboration. If a generic runtime type survives into checking, it is treated as an invariant violation and rejected.
See README.md, Language Design (MVP), and the Metaprogramming reference.