Pattern-matching test coverage (matching.ml / parmatch.ml)#4

Draft

JonoPrest wants to merge 8 commits into

jono/pattern-match-coverage

Commits on Jun 2, 2026

Add pattern-match constant-compilation coverage fixtures

JonoPrest
and
claude
committed
Add pattern-match compilation coverage fixtures (constructors, variants, records, arrays, or-patterns)

JonoPrest
and
claude
committed
Format array fixture and add compiled .mjs outputs

JonoPrest
and
claude
committed
Widen constant matches to trigger the dichotomic comparison split

JonoPrest
and
claude
committed
Document pattern-matching coverage findings (reachable vs dead cold lines)

JonoPrest
and
claude
committed
Add exhaustiveness/redundancy super_errors fixtures

JonoPrest
and
claude
committed
Update error-variant catalog and format constants fixture

JonoPrest
and
claude
committed
Correct coverage doc: parmatch pretty_val is debug-only, not the witness printer

JonoPrest
and
claude
committed