Skip to content

Remove unused Ppat_open from the current AST - #8682

Merged
cknitt merged 3 commits into
codex/ternary-parsetree-nodefrom
codex/remove-unused-ppat-open
Sep 28, 2026
Merged

Remove unused Ppat_open from the current AST#8682
cknitt merged 3 commits into
codex/ternary-parsetree-nodefrom
codex/remove-unused-ppat-open

Bump AST and CMT formats after removing open patterns

18f56ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar