coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.6 and Ocaml 4.06

From: Gabriel Scherer <gabriel.scherer AT gmail.com>
To: Coq Club <coq-club AT inria.fr>, Théo Zimmermann <theo.zimmi AT gmail.com>, Benedikt Ahrens <benedikt.ahrens AT gmail.com>
Subject: Re: [Coq-Club] Coq 8.6 and Ocaml 4.06
Date: Thu, 23 Nov 2017 17:10:06 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer AT gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f182.google.com
Ironport-phdr: 9a23:Psbg5BQdGyHZhzixxyh4tdGOktpsv+yvbD5Q0YIujvd0So/mwa64bBaN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY6Uy/yPgttJ+nzBpWaz4Huj7jzqNXvZFBjgyP1SrdvJl3ipgLI88ISnIFKK6AryxKPrGEeP6xqxeJvEmCSmhPx/MK5+pgrpzhQtvVn5c9FVKTScKExTLgeBzMjZSR9zsDtuBXCThfHz3sGX2MN2k5CDg7I4BD5QtH4sjH3sPFV1yyTPMmwRrcxD2eM9aBuHTDhgj0GOjpxy2rXh9Z9luoPrxurvR1yx8jPa4GYLvdkVqzYdNIeA2FGW5ACBGR6HoqgYt5XXKI6NuFCoty4/gNWoA==

Yes, and it will remain forever convenient to be able to test old Coq
versions under newer OCaml releases. So at least having a 8.6
maintenance branch with either changes (which does not necessitate a
new release) would be very nice.

On Thu, Nov 23, 2017 at 4:51 PM, Emilio Jesús Gallego Arias
<e AT x80.org>
wrote:
> Théo Zimmermann
> <theo.zimmi AT gmail.com>
> writes:
>
>> Indeed, Coq is known to have issues with OCaml 4.06. The Opam packages
>> should be fixed to reflect this.
>
>> There is no plan to ever do a 8.6.2 release and 8.7.0 also has issues with
>> OCaml 4.06 (only concerns CoqIDE IIRC). Coq 8.7.1 is planned to be released
>> in December with OCaml 4.06 support.
>
> That being said, it is easy to add support for 4.06.0 in an eventual
> 8.6.2. We can either:
>
> - modify configure.ml:coq_safe_string so coq is not compiled with
> safe_string
> - backport the 8.7 changes [should be safe enough]
>
> E.

[Coq-Club] Coq 8.6 and Ocaml 4.06, John Leo, 11/23/2017
- Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
  - Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Emilio Jesús Gallego Arias, 11/23/2017
    - Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Gabriel Scherer, 11/23/2017
      - Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Théo Zimmermann, 11/23/2017
        
        Re: [Coq-Club] Coq 8.6 and Ocaml 4.06, Pierre Courtieu, 11/23/2017