The Coq mailing list

[Gyesik Lee <leegys AT gmail.com>]

Hi,

I need this old one for testing.
However, it seems to have some bugs in the tar file which can be
downloaded from the homepage.
During the "make world" phase, it stops with the following message:

=====
....
OCAMLC    parsing/pcoq.mli
OCAMLC4   parsing/pcoq.ml4
File "parsing/pcoq.ml4", line 749, characters 8-300:
Error: The constructor Gramext.Slist1sep expects 3 argument(s),
      but is applied here to 2 argument(s)
make[1]: *** [parsing/pcoq.cmo] Error 2
make: *** [stage1] Error 2
=====

I tested it on two machines (with the same error), one with ubuntu
11.10 , the other with mac 10.6.
I believe something is changed in the recent update for 8.2pl2 because
it was ok in the beginning of this year.

Any help?

Gyesik