Get rid of Stdlib.compare and Stdlib.(=)

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

126 stars 33 forks source link

Get rid of Stdlib.compare and Stdlib.(=) #1117

Closed Halbaroth closed 2 months ago

Halbaroth commented 2 months ago

The PR #1114 isn't sufficient. There were still some polymorphic comparison in the codebase of the form Stdlib.compare or Stdlib.(=). This PR tries to remove all of them.