Re: Coq ne compile plus avec ocaml 3.08.1
Hi,
> Well, i am under the impression that ocaml 3.08 did occasion some breakage
> that coq worked around, and that this breakage was now reverted, but the fix
> not yet removed.
No, this was not the case (according to CVS logs).
However, the bug signalled is very trivial to fix: camlp4 used to accept
fun a,b -> a
whereas only
fun (a,b) -> a
is accepted by ocaml. Camlp4 has now been made more strict and an error
is signalled. To fix the problem just add a pair of parentheses. I think
that you can already try the fix in the debian package if you are in an
hurry.
Back from holidays,
C.S.C.
--
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacerdot@cs.unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: