Skip to content

destruct: destructing punned record field breaks syntax#1734

Merged
voodoos merged 2 commits intoocaml:masterfrom xvw:1661-destructing-punned-record-field-breaks-syntaxMar 5, 2024
+71-4

Commits

Commits on Mar 5, 2024