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

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