Skip to content

destruct: Removal of residual patterns fix #1560#1737

Merged
voodoos merged 2 commits intoocaml:masterfrom xvw:1560-destruct-should-not-produce-remanent-casesFeb 26, 2024

Commits

Commits on Feb 23, 2024