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: Jun 13 2024 at 03:02 UTC