Re: Ocaml 3.08.2 & LablGTK2 : inconsistent assumptions over implementation Thread
> Being a binary only package coq should not have problems with .cmi
> changes, up to (and this is a big UP TO) marshalling/unmarshalling since
> AFAIK Coq plays a lot with it ...
Right, Coq does a lot of marshalling/umarshalling that also involves
camlp4 data structures. And moreover there is coqide that uses threads
and lablgtk2. The perfect mix of problems...
--
----------------------------------------------------------------
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: