From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA06424; Mon, 15 Mar 2004 20:55:59 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA06096 for ; Mon, 15 Mar 2004 20:55:58 +0100 (MET) Received: from fichte.ai.univie.ac.at (fichte.ai.univie.ac.at [131.130.174.156]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2FJtuHd018418 for ; Mon, 15 Mar 2004 20:55:57 +0100 Received: from fichte.ai.univie.ac.at (markus@localhost [127.0.0.1]) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-6.6) with ESMTP id i2FJttHn025064; Mon, 15 Mar 2004 20:55:55 +0100 Received: (from markus@localhost) by fichte.ai.univie.ac.at (8.12.3/8.12.3/Debian-6.6) id i2FJtt9A025063; Mon, 15 Mar 2004 20:55:55 +0100 Date: Mon, 15 Mar 2004 20:55:55 +0100 From: Markus Mottl To: David MENTRE Cc: Henri DF , caml-list@inria.fr Subject: Re: [Caml-list] inconsistent assumptions over interface xxx.cmi Message-ID: <20040315195555.GA21537@fichte.ai.univie.ac.at> Mail-Followup-To: David MENTRE , Henri DF , caml-list@inria.fr References: <874qsp3oph.fsf@linux-france.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <874qsp3oph.fsf@linux-france.org> User-Agent: Mutt/1.4.1i X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 restarting:01 dependencies:01 dependencies:01 cmo:01 inconsistent:01 ocaml:01 ocaml:01 mentre:01 makefile:02 parser:02 mottl:02 mottl:02 compile:02 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 140 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