Recent OCaml told me to do this (used to be
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: Dec 01 2023 at 04:01 UTC