Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] inconsistent assumptions over interface Pervasives
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre Weis <pierre.weis@i...>
Subject: Re: [Caml-list] inconsistent assumptions over interface Pervasives
> I've just upgraded to 3.07, and I'm recompiling some of my code that 
> depends heavily on libraries.  It seems that code compiled with earlier 
> versions of the standard libraries is not compatible with code compiled 
> under 3.07:
> "The files /usr/local/lib/ocaml/pervasives.cmi and 
> /usr/local/lib/ocaml/site-lib/pcre/pcre.cmi make inconsistent 
> assumptions over interface Pervasives"
> This is not a problem for me right now, since I have source to the 
> libraries I'm using, but it seems like it would be a problem if people 
> distribute commercial libraries for OCaml.

Right you have to recompile your libraries from scratch or wait for a
new binary distribution compatible with O'Caml 3.07.

This is also true for your own programs: you should remove old .cmo
and .cmi compiled object files.

Normally, if your library uses a regular Makefile, the command

$ make clean; make

should solve the problem.

Hope this helps,

Pierre Weis

INRIA, Projet Cristal,,

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: