Grammar coverage: cartouches, modifiers, subscripts, qualified names, legacy markup#14

Merged

christiankissig merged 10 commits into

grammar-coverage-cartouche-modifiers

Jun 3, 2026

Commits on Jun 3, 2026

Accept cartouche RHS in type_synonym declarations

christiankissig
and
claude
committed
Accept private/qualified modifiers on top-level commands

christiankissig
and
claude
committed
Accept \<^sub> subscripts in type variables and typespec names

christiankissig
and
claude
committed
Accept repeated and symbol subscripts in identifier names

christiankissig
and
claude
committed
Accept qualified class names in sort/arity positions

christiankissig
and
claude
committed
Accept (in -) target, ctor discriminators, qualified attribute args

christiankissig
and
claude
committed
Accept custom print-mode names in mode annotations

christiankissig
and
claude
committed
Accept qualified type names on the type_synonym RHS

christiankissig
and
claude
committed
Accept legacy {* ... *} verbatim markup in document and ML blocks

christiankissig
and
claude
committed
Apply ruff format to test additions

christiankissig
and
claude
committed