Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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:

  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