[Caml-list] inconsistent assumptions over interface xxx.cmi

[Caml-list] inconsistent assumptions over interface xxx.cmi

[Henri DF]

hi, 

Every now and then, when compiling a medium size (< 100 files) project, 
i get a 'files xxx.cmo and yyy.cmo make inconsistent assumptions over 
interface Yyy' - yet xxx.ml makes no references of any kind to yyy.ml  
(which is why ocamldep does not generate the dependency of yyy over xxx).

Of course there must be some indirect dependency of some kind - is there a 
way to get ocamldep to output these as well, or any other fix?


thanks
henri

-------------------
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

Re: [Caml-list] inconsistent assumptions over interface xxx.cmi

[David MENTRE]

Hello,

Henri DF <henri.dubois-ferriere@epfl.ch> writes:

> i get a 'files xxx.cmo and yyy.cmo make inconsistent assumptions over 
> interface Yyy' - yet xxx.ml makes no references of any kind to yyy.ml  

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.

I hope it helps,
Yours,
david
-- 
 David Mentré <dmentre@linux-france.org>

-------------------
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

Re: [Caml-list] inconsistent assumptions over interface xxx.cmi

[Markus Mottl]

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:

  http://www.oefai.at/~markus/home/ocaml_sources.html#OCamlMakefile

Regards,
Markus

-- 
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