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: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
