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 JAA17316; Sun, 30 Dec 2001 09:31:25 +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 JAA17478 for ; Sun, 30 Dec 2001 09:31:25 +0100 (MET) Received: from alan-schm1p.inria.fr (ppp-rocq-10.inria.fr [128.93.43.10]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBU8VKT05529; Sun, 30 Dec 2001 09:31:21 +0100 (MET) Received: by alan-schm1p.inria.fr (Postfix, from userid 11207) id 7A38423637; Sun, 30 Dec 2001 09:08:50 +0100 (CET) Date: Sun, 30 Dec 2001 09:08:50 +0100 From: Alan Schmitt To: polux moon Cc: caml-list@inria.fr Subject: Re: [Caml-list] inconsistent assumption et erreur en general Message-ID: <20011230090850.D1744@alan-schm1p> Mail-Followup-To: polux moon , caml-list@inria.fr References: <002301c18f1b$7dde8ab0$b8640b50@polux> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable User-Agent: Mutt/1.2.5i In-Reply-To: =?iso-8859-1?Q?=3C002301c18f1b$7dde8ab0$b8640b50=40polux=3E=3B_from_polu?= =?iso-8859-1?Q?x=2Emoon=40wanadoo=2Efr_on_jeu=2C_d=E9c_27=2C_2001_at_10:?= =?iso-8859-1?Q?14:33_+0100?= X-Editor: Vim http://vim.sf.net/ X-Info: http://pauillac.inria.fr/~aschmitt/ X-Operating-System: Linux/2.4.16 (i686) X-Uptime: 9:06am up 2 days, 21:07, 1 user, load average: 0.03, 0.33, 0.39 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk * polux moon (polux.moon@wanadoo.fr) wrote: > J ai une erreur "inconsistent assumption over interface ThreadUnix" et je= vois pas pourquoi. >=20 Cela veut dire que la version de ThreadUnix avec laquelle a =E9t=E9 compil= =E9 un cmo n'est pas la m=EAme que la version avec laquelle il est link=E9. Cela peut typiquement arriver lorsque l'on change sa version de caml et que l'on recompile un programme sans commencer par faire "make clean" avant (ie effacer tous les cmo pour les recompiler avec la nouvelle version). Amicalement, Alan -- The hacker: someone who figured things out and made something cool happen. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr