Recent OCaml told me to do this (used to be Pervasives
)
gares@ollypat:~/LPCIC/coq-elpi$ git grep Stdlib
src/coq_elpi_builtins.ml: let compare = Stdlib.compare
src/coq_elpi_glob_quotation.ml: List.sort Stdlib.compare |>
src/coq_elpi_utils.ml:let compare_qualified_name = Stdlib.compare
src/coq_elpi_vernacular.ml:let compare_src = Stdlib.compare
src/coq_elpi_vernacular.ml:let elpi = Stdlib.ref None
Now I'm updating the CI job for coq-elpi and I get an error that Stdlib is not there. What shoud I do?
Shall I put in the docker image stdlib-shims?
is coq-elpi requiring more recent ocaml than coq? or is it depending on the shims lib?
I don't think so, I test with 4.07-flambda
but I also develop with with recent ocaml, hence the warning about pervasives
I do now depend on stdlib-shims in the opam package I think
I'll put stdlib-shims in the docker image and see how it goes, unless there are known issues
should be fine
we could also move the elpi job to the edge switch
pick the solution you prefer
Last updated: Oct 13 2024 at 01:02 UTC