Stream: Dune devs & users

Topic: recommended using coq version


view this post on Zulip Karl Palmskog (Sep 23 2021 at 15:28):

@Emilio Jesús Gallego Arias is (using coq 0.3) now the recommended default for everyone using Dune for Coq in CI and so on? And what would be the corresponding lang dune and opam dune version bounds?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:32):

Hi @Karl Palmskog , I think it is safe to recommend 0.3; the documentation says:
" 0.3: support for (mode native), requires Coq >= 8.10 (and dune >= 2.9 for Coq >= 8.14)."

however you need to pick the readthedocs unstable branch, not sure if the stable is updating correctly

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

If that's not very clear, it means that Dune 2.9 includes special support for 8.14 new native warnings

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

otherwise you get noise

view this post on Zulip Karl Palmskog (Sep 23 2021 at 15:33):

ah, the "dune >= 2.9 for Coq >= 8.14" is really hard to specify

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:33):

actually it is not a big deal, you get noise if dune 0.2 and Coq < 8.14, which can be disabled with -w

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:34):

I hope anyways that for Dune 3.0 due this fall/winter we can arrive to Coq lang 1.0

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:34):

we will see

view this post on Zulip Karl Palmskog (Sep 23 2021 at 15:35):

hmm, based on above, I'm inclined to start specifying:

(lang dune 2.9)
(using coq 0.3)

and setting in the opam file: "dune" {>= "2.9"}

any obvious drawbacks if this is used across many Coq versions?

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

Only works for Coq >= 8.10

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

other than that, not any obvious ones

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

note that dune 2.8 is very close to 2.9

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:47):

and coq lang 0.2 is almost identical to 0.3

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:48):

so other than the bits for 8.14 there is little difference between 2.8 and 2.9

view this post on Zulip Emilio Jesús Gallego Arias (Sep 23 2021 at 15:48):

The opam file should produce the correct dune version if it is generated by the way

view this post on Zulip Karl Palmskog (Sep 23 2021 at 15:58):

OK, 8.9 is usually driving me nuts anyway


Last updated: Oct 16 2021 at 07:02 UTC