From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id CC746BC6B for ; Wed, 19 Sep 2007 21:12:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACIR8UbAXQImn2dsb2JhbACOEgIBAQcEBgcIGA X-IronPort-AV: E=Sophos;i="4.20,274,1186351200"; d="scan'208";a="16437468" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Sep 2007 21:13:34 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8JJCo2f008081 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 19 Sep 2007 21:12:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJsR8UaYTQLKnmdsb2JhbACOEgIBAQcEBgUKGA X-IronPort-AV: E=Sophos;i="4.20,274,1186351200"; d="scan'208";a="2932021" Received: from amazone2.ujf-grenoble.fr ([152.77.2.202]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Sep 2007 21:13:33 +0200 Received: from tana2.ujf-grenoble.fr (tana2.ujf-grenoble.fr [152.77.24.22]) by amazone2.ujf-grenoble.fr (8.13.7/8.13.7/Configured by JE 21 07 2006) with ESMTP id l8JJDW2O002134; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) Received: from localhost (unknown [127.0.0.1]) by tana2.ujf-grenoble.fr (Postfix) with ESMTP id A665795842; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) X-UJF-Scanned: Scanned on tana2.ujf-grenoble.fr Received: from tibre2.ujf-grenoble.fr (tibre2.ujf-grenoble.fr [152.77.24.10]) by tana2.ujf-grenoble.fr (Postfix) with ESMTP id 792D495840; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) Received: from fourier.ujf-grenoble.fr (fourier.ujf-grenoble.fr [193.54.241.15]) by tibre2.ujf-grenoble.fr (8.14.1/8.14.1) with ESMTP id l8JJDWIh007514; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) (envelope-from san.vu-ngoc@ujf-grenoble.fr) Received: from localhost (localhost.localdomain [127.0.0.1]) by fourier.ujf-grenoble.fr (Postfix) with ESMTP id 387414F9DF; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at fourier.ujf-grenoble.fr Received: from fourier.ujf-grenoble.fr ([127.0.0.1]) by localhost (fourier.ujf-grenoble.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id t3stwimx1W96; Wed, 19 Sep 2007 21:13:32 +0200 (CEST) Received: from [127.0.0.1] (malherbe.ujf-grenoble.fr [193.54.241.13]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by fourier.ujf-grenoble.fr (Postfix) with ESMTP id C58AC4F939; Wed, 19 Sep 2007 21:13:31 +0200 (CEST) Message-ID: <46F174D9.5060900@ujf-grenoble.fr> Date: Wed, 19 Sep 2007 21:13:29 +0200 From: Vu Ngoc San User-Agent: Mozilla-Thunderbird 2.0.0.4 (X11/20070828) MIME-Version: 1.0 To: Zheng Li Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: [ANN] coThreads 0.10 References: <87lkb5fe3f.fsf@pps.jussieu.fr> <87sl5d8cgd.fsf@pps.jussieu.fr> In-Reply-To: <87sl5d8cgd.fsf@pps.jussieu.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 46F174B2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lablgtk:01 usr:01 lib:01 ocaml:01 cmi:01 usr:01 lib:01 ocaml:01 lablgtk:01 gtkthread:01 cmi:01 0.10:98 caml-list:01 compiling:02 inconsistent:05 Hi this looks like something I'd be very happy to use. Have you tried compiling lablgtk2 with it ? (so that I could get rid of the following:) [ The files /usr/lib/ocaml/3.10.0/process/thread.cmi and /usr/lib/ocaml/3.10.0/lablgtk2/gtkThread.cmi make inconsistent assumptions over interface Thread ] San