[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: