English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-03-15 (19:55)
From: Markus Mottl <markus@o...>
Subject: Re: [Caml-list] inconsistent assumptions over interface xxx.cmi
On Mon, 15 Mar 2004, David MENTRE wrote:
> I've seen this kind of message in some rare cases where the .cmo is not
> properly recompiled with the .cmi, when the corresponding .ml is
> modified (due to errors or modification in my Makefile). Restarting from
> scratch (or at least erasing the yyy.cm* files) solve the issue.

This kind of error can also be the result of not computing dependencies
correctly after modifying ocamllex/yacc (*.mll, *.mly) files: you have
to first translate the scanner/parser specification to OCaml, you compute
dependencies for these files, and only then is it totally safe to compile
your code. If you run into such problems often, you might consider using
OCamlMakefile, which performs these steps automatically:



Markus Mottl          http://www.oefai.at/~markus          markus@oefai.at

To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners