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
cab00e0
Add pattern-match compilation coverage fixtures (constructors, variants, records, arrays, or-patterns)

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

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

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

JonoPrest
and
claude
committed
17107a9
Add exhaustiveness/redundancy super_errors fixtures

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

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

JonoPrest
and
claude
committed
418d04f