OCamlPro / alt-ergo

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

Get rid of `stdcompat` #1191

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

We do not need to use stdcompat because we only need to support few new functions from stdlib. This PR removes the stdcompat dependency and create a new module compat which contains all the functions we need to compile on OCaml 4.08.

I also rename Lists to my_list and myUnix to my_unix and now my_list only contains extra functions (which are not part of any stdlib versions).