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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B601CBC6B for ; Fri, 27 Jul 2007 17:34:00 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.233]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6RFXxWj016938 for ; Fri, 27 Jul 2007 17:34:00 +0200 Received: by nz-out-0506.google.com with SMTP id z3so718399nzf for ; Fri, 27 Jul 2007 08:33:59 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Jqe6LgMaFSTzNHuXX9EWPt8jUv1YVkNtHaHDSgABkPA9fuajU0MDGVTCwo89NslM/NwPIhB9lePyOMlMeqjAbl7Ccx1NqmKX9wUF+5w57SxHdXi6ZFO2vzmvLCd5PZNwFyBWjciXJ9zdRCX+1NHj3xjEFkzc9s0U0tJDnB3tU4c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=mNIKnTO6vKOLQNt2RureJp9cU1uRcBPzlJT8HpkAvmzgpPw7c1sy4dH5JoVg9QyRSdP1CU71qnVVPNboPc1oNx/ZPqAj7ynwd4Ie5hdX2LkCfAaD4RqeTvWQXQ7Vrm6xa7mnFN+vM5U3pkbhuqtukAKRy5cLuTZmgDTygCyJnws= Received: by 10.115.110.6 with SMTP id n6mr3036652wam.1185550439096; Fri, 27 Jul 2007 08:33:59 -0700 (PDT) Received: by 10.114.235.10 with HTTP; Fri, 27 Jul 2007 08:33:59 -0700 (PDT) Message-ID: <875c7e070707270833j2b7f9e01m1287f3f559e0939d@mail.gmail.com> Date: Fri, 27 Jul 2007 11:33:59 -0400 From: "Chris King" To: "Zheng Li" Subject: Re: [Caml-list] Why thread.cmi of vmthreads/systhreads different Cc: caml-list@inria.fr In-Reply-To: <87bqdyw6ko.fsf@pps.jussieu.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <87bqdyw6ko.fsf@pps.jussieu.fr> X-j-chkmail-Score: MSGID : 46AA1067.003 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 46AA1067.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; cmi:01 systhreads:01 cmi:01 wrote:01 pps:01 caml-list:01 caml-list:01 jussieu:01 caml:02 module:03 patches:03 chris:06 chris:06 interface:06 interface:06 On 7/27/07, Zheng Li wrote: > My point is that two different versions of thread.cmi greatly reduce the > flexibility. I don't see many obstacles to make them agree, but I'm not sure > whether there exist other factors to prevent that from happening. This is a perfect example of a situation in which Piotr Wieczorek's interface manipulation patches [1] would come in handy. In particular, they would allow each of the implementations of the Thread module to be retyped to a common interface, so that they can share a .cmi. - Chris [1] http://caml.inria.fr/pub/ml-archives/caml-list/2006/12/c7461312202053f2213a9bb33206fcb8.en.html