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 UAA03946; Mon, 15 Mar 2004 20:17:02 +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 UAA04295 for ; Mon, 15 Mar 2004 20:17:00 +0100 (MET) Received: from mwinf0503.wanadoo.fr (smtp5.wanadoo.fr [193.252.22.26]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2FJGxHd014751 for ; Mon, 15 Mar 2004 20:16:59 +0100 Received: from morgana (ARennes-303-1-7-136.w80-14.abo.wanadoo.fr [80.14.144.136]) by mwinf0503.wanadoo.fr (SMTP Server) with ESMTP id 549616800AAF; Mon, 15 Mar 2004 20:16:59 +0100 (CET) Received: from david by morgana with local (Exim 4.30) id 1B2xa6-0000Q9-7t; Mon, 15 Mar 2004 20:16:58 +0100 To: Henri DF Cc: caml-list@inria.fr Subject: Re: [Caml-list] inconsistent assumptions over interface xxx.cmi References: From: David MENTRE Organization: none Date: Mon, 15 Mar 2004 20:16:58 +0100 In-Reply-To: (Henri DF's message of "Mon, 15 Mar 2004 11:59:07 +0100 (CET)") Message-ID: <874qsp3oph.fsf@linux-france.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit 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 dmentre:01 restarting:01 dmentre:01 cmo:01 cmo:01 inconsistent:01 inconsistent:01 writes:01 mentre:01 mentre:01 makefile:02 henri:03 henri:03 interface:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 138 Hello, Henri DF 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é ------------------- 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