Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: e AT x80.org (Emilio Jesús Gallego Arias)
  • To: Théo Zimmermann <theo.zimmi AT gmail.com>
  • Cc: coq-club AT inria.fr, Benedikt Ahrens <benedikt.ahrens AT gmail.com>
  • Subject: Re: [Coq-Club] Coq 8.6 and Ocaml 4.06
  • Date: Thu, 23 Nov 2017 16:51:31 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:p5pvUxa7Y4Hm6J4aIXS+mL3/LSx+4OfEezUN459isYplN5qZpcy4bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76xXcoFx7+LQt4IPjuUs6X1pzvlrP6x5qGXwXJg3KPYLZ3IQ+zpAPX/p0KgYZlbLQwzx7IinRNcuVSg2hvIATAsQz745K91I4zq2JXof1pt+NFUKH7eOwaQKfKF3wJOmQx6cLs/TDZTAKUpyhPGl4KmwZFVlCWpCrxWY38526j7rJw
  • Organization: X80 Heavy Industries

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.



Archive powered by MHonArc 2.6.18.

Top of Page