coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] problems building with a recent OCaml compiler

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] problems building with a recent OCaml compiler
Date: Mon, 20 Oct 2014 19:01:22 -0400

I believe the recommended work-around is to add spaces in the relevant locations, so that "{w|u..." becomes "{ w | u ...".

On Mon, Oct 20, 2014 at 6:55 PM, Perry E. Metzger <perry AT piermont.com> wrote:

It appears there are some issues building Coq with a recent OCaml
compiler, see:

http://caml.inria.fr/mantis/view.php?id=6561

Is there a recommended workaround?

Perry

[Coq-Club] problems building with a recent OCaml compiler, Perry E. Metzger, 10/21/2014
- Re: [Coq-Club] problems building with a recent OCaml compiler, Jason Gross, 10/21/2014
  - Re: [Coq-Club] problems building with a recent OCaml compiler, Perry E. Metzger, 10/21/2014
    - Re: [Coq-Club] problems building with a recent OCaml compiler, Jason Gross, 10/21/2014
      - Re: [Coq-Club] problems building with a recent OCaml compiler, Catalin Hritcu, 10/22/2014