Stream: Coq devs & plugin devs

Topic: Stdlib


view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:11):

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?

view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:12):

Shall I put in the docker image stdlib-shims?

view this post on Zulip Gaëtan Gilbert (Jul 23 2021 at 09:13):

is coq-elpi requiring more recent ocaml than coq? or is it depending on the shims lib?

view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:15):

I don't think so, I test with 4.07-flambda

view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:15):

but I also develop with with recent ocaml, hence the warning about pervasives

view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:16):

I do now depend on stdlib-shims in the opam package I think

view this post on Zulip Enrico Tassi (Jul 23 2021 at 09:17):

I'll put stdlib-shims in the docker image and see how it goes, unless there are known issues

view this post on Zulip Gaëtan Gilbert (Jul 23 2021 at 09:18):

should be fine
we could also move the elpi job to the edge switch
pick the solution you prefer


Last updated: Oct 16 2021 at 03:02 UTC