The Coq mailing list

[Catalin Hritcu <catalin.hritcu AT gmail.com>]

https://github.com/coq/coq/commit/9c00f3c4f2b642a90b41b89c8430892d2c2064dd

On Tue, Oct 21, 2014 at 3:24 AM, Jason Gross 
<jasongross9 AT gmail.com>
 wrote:
> I'm not sure; you can check 8.4 at https://github.com/coq/coq/tree/v8.4, and
> trunk at https://github.com/coq/coq/
>
> On Mon, Oct 20, 2014 at 8:48 PM, Perry E. Metzger 
> <perry AT piermont.com>
> wrote:
>>
>> 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
>> > >
>>
>