coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Perry E. Metzger" <perry AT piermont.com>
To: Jason Gross <jasongross9 AT gmail.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] problems building with a recent OCaml compiler
Date: Mon, 20 Oct 2014 20:48:08 -0400

On Mon, 20 Oct 2014 19:01:22 -0400
Jason Gross
<jasongross9 AT gmail.com>
wrote:
> I believe the recommended work-around is to add spaces in the relevant
> locations, so that "{w|u..." becomes "{ w | u ...".

Has it been patched in the main sources?

Perry

>
> 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