search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
131 stars 33 forks source link

Remove polymorphic comparison with lists #1114

Closed Halbaroth closed 4 months ago

Halbaroth commented 4 months ago

Some functions from stdlib's list contains polymorphic comparison. We cannot use them safely on Dolmen identifiers.

This PR replaces these functions by new functions in Lists that use monomorphic comparisons.