Grammar and generation
- racc-compatible declarations, precedence, actions, and user-code sections
- Deterministic LALR(1) output with compact or inspectable tables
- Standalone embedded output with
-E
PERMANENT DEFAULT CONTRACT
Compatible mode preserves yacc-style grammar input, token contracts, semantic actions,
error callbacks, and the familiar do_parse/yyparse runtime API.
-EStatic checks and a subprocess differential harness expose unsupported constructs and compare parser observations before a migration is accepted.
Migration guide →Opt-in improvements never silently replace compatible behavior. Extended syntax, exact lookahead defaults, and research algorithms require an explicit mode or option.
Stability and deprecation →Public-gem migrations, external performance measurements, scale construction, error review, and type evidence decide release readiness.
Read the v1.0 decision →