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 WAA11398; Thu, 27 Dec 2001 22:14:48 +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 WAA11108 for ; Thu, 27 Dec 2001 22:14:47 +0100 (MET) Received: from mel-rto6.wanadoo.fr (smtp-out-6.wanadoo.fr [193.252.19.25]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBRLEkT24083 for ; Thu, 27 Dec 2001 22:14:46 +0100 (MET) Received: from mel-rta9.wanadoo.fr (193.252.19.69) by mel-rto6.wanadoo.fr; 27 Dec 2001 22:14:46 +0100 Received: from polux (80.11.100.184) by mel-rta9.wanadoo.fr; 27 Dec 2001 22:14:44 +0100 Message-ID: <002301c18f1b$7dde8ab0$b8640b50@polux> From: "polux moon" To: Subject: [Caml-list] inconsistent assumption et erreur en general Date: Thu, 27 Dec 2001 22:14:33 +0100 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0020_01C18F23.DCC3EEA0" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------=_NextPart_000_0020_01C18F23.DCC3EEA0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Y a t il un document qui explique precisement les messages d erreurs des = compilateurs ocaml (les causes precises pouvant etre a l origine du message) J ai une erreur "inconsistent assumption over interface ThreadUnix" et = je vois pas pourquoi. ------=_NextPart_000_0020_01C18F23.DCC3EEA0 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

Y a t il un document qui explique = precisement les=20 messages d erreurs des compilateurs ocaml

(les causes precises pouvant etre a l = origine du=20 message)

J ai une erreur "inconsistent = assumption over=20 interface ThreadUnix" et je vois pas pourquoi.

------=_NextPart_000_0020_01C18F23.DCC3EEA0-- ------------------- 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 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