search

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries
https://ocaml.org
Other
5.19k stars 1.06k forks source link

Refactored label comparison #13113

Open samsa1 opened 3 weeks ago

samsa1 commented 3 weeks ago

Factored together the code to compare labels during unification.

This is just reducing code duplication and does not have any impact on the user. I think this might not require a Changes entry.

This refactor was motivated by modular explicit that might require more label comparison.