The Coq mailing list

[Prashanth Mundkur <prashanth AT jibenetworks.com>]

Hi,

I'm trying to compile coq-8.0pl2.tar.gz with the recently released
OCaml 3.09.0; and getting the following error:

OCAMLOPT4 parsing/pcoq.ml4
Warning: pa_ifdef is deprecated since OCaml 3.07. Use pa_macro instead.
File "parsing/pcoq.ml4", line 620, characters 4-18:
Warning Y: unused variable l'.
The implementation parsing/pcoq.ml4
does not match the interface parsing/pcoq.cmi:
Values do not match:
  val main_entry : ((Coqast.t -> Util.loc) * '_a) option Gram.Entry.e
is not included in
  val main_entry : (Util.loc * Vernacexpr.vernac_expr) option Gram.Entry.e
make: *** [parsing/pcoq.cmx] Error 2


Will there be any support soon for OCaml 3.09?  This will help
packaging in Coq for various distributions.

Thanks,

--prashanth