Re: Ocaml 3.08.1 release.

[Sven Luther <sven.luther@wanadoo.fr>]

On Thu, Aug 19, 2004 at 11:59:07AM -0400, Mike Furr wrote:
> On Thu, 2004-08-19 at 11:05, Sven Luther wrote:
> > Ok, this was what we were expecting. I am preparing packages, but i would like
> > all of you to rebuild your packages locally to see if there is a problem. 
> All of my stuff builds fine, including otags which makes mild use of
> camlp4.

I am Samuel where not so lucky, coq broke :

  Warning: pa_ifdef is deprecated since OCaml 3.07. Use pa_macro instead.
  File "contrib/funind/tacinv.ml4", line 498, characters 38-39:
  Parse error: [fun_def] expected after [simple_patt] (in [expr])
  Uncaught exception: Stream.Error("[fun_def] expected after [simple_patt] (in [expr])")
  Preprocessor error
  make[1]: *** [contrib/funind/tacinv.cmo] Erreur 2

This is probably due to :

  - camlp4 parsing of patterns now conforms to normal parsing (PR#3015)

So, either we get coq fixed (or unfixed, since the above is probably due to a
ocaml 3.08 fix or something :/). Or we back this out. I would prefer a coq fix
though. Samuel, can you investigate this with upstream ?

Well, coq needed a new upload anyway, for some minor issues, so ...

Friendly,

Sven Luther