14.2 Front-end
Grammar, parser, AST/HIR contracts, and syntax diagnostics in beskid_analysis.
Front-end
The front-end turns text into a structured program representation—or gives you actionable syntax diagnostics instead of “error on line 1.”
Spec areas
Section titled “Spec areas”- Grammar and parser contract
- Parser and AST contracts
- AST/HIR shape contract
- HIR normalization and legality
Crates and modules
Section titled “Crates and modules”| Piece | Location |
|---|---|
| Lex/parse | beskid_analysis::syntax, beskid_analysis::parser |
| SyntaxMirror / facade | Tied to Syntax domain model generation, Beskid compiler syntax facade |
Program assembly
Section titled “Program assembly”Before parse, effective roots come from manifests and workspace resolution:
beskid parse
Section titled “beskid parse”Exercises front-end slices without full codegen—useful for grammar work, insufficient for shipping.