Expand description
Static validation of a parser AST (§7.9 step 2).
Catches structural errors before type synthesis / plan construction: mixed named/anonymous captures in one template (§7.3), duplicate capture names, and wrong constructor arity.
Returns lightweight ValidationErrors carrying the source Span (byte
offsets). The HIR layer, which knows the [FileId], converts these into full
[Diagnostic]s with the I0xx (input-parser) category.
Structs§
- Validation
Error - A structural error found while validating a parser AST.
Enums§
- ArgKind
- What one argument of a constructor call is, with no payload — enough to decide whether the call has the shape §7.5 gives it.
Functions§
- check_
call - Check a constructor call against §7.5’s shape for that constructor — before anything is built.
- validate
- Validate a parser AST. Returns the list of errors (empty on success).