The Coq mailing list

[Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>]

Hi,

On Mon, Nov 07, 2011 at 11:14:44AM +0100, Gyesik Lee wrote:

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

Perhaps a problem of version of Camlp5. Which version do you have ?
(type "camlp5 -v"). Perhaps its version is not compatible with this
version of Coq, because too old or too new.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/