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=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 90BF4BC69 for ; Thu, 4 Oct 2007 20:53:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGzTBEfAXQInemdsb2JhbACOOAEBCQo X-IronPort-AV: E=Sophos;i="4.21,231,1188770400"; d="scan'208";a="2389144" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Oct 2007 20:53:59 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l94IrwPf018352 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 4 Oct 2007 20:53:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGzTBEdCbwQZnmdsb2JhbACOOAEBAgcEBic X-IronPort-AV: E=Sophos;i="4.21,231,1188770400"; d="scan'208";a="3763821" Received: from out1.smtp.messagingengine.com ([66.111.4.25]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Oct 2007 20:53:58 +0200 Received: from compute2.internal (compute2.internal [10.202.2.42]) by out1.messagingengine.com (Postfix) with ESMTP id 9507F2F72F; Thu, 4 Oct 2007 14:53:57 -0400 (EDT) Received: from heartbeat2.messagingengine.com ([10.202.2.161]) by compute2.internal (MEProxy); Thu, 04 Oct 2007 14:53:57 -0400 X-Sasl-enc: AsEpRY4nqKepq+geoxK3BuKUYWEiEBeM7u+/19xHVdH+ 1191524037 Received: from [192.168.1.11] (AMontsouris-753-1-35-140.w90-46.abo.wanadoo.fr [90.46.3.140]) by mail.messagingengine.com (Postfix) with ESMTP id F3A4C20778; Thu, 4 Oct 2007 14:53:56 -0400 (EDT) Date: Thu, 4 Oct 2007 20:53:47 +0200 (CEST) From: Martin Jambon X-X-Sender: martin@martin.ec.wink.com To: Vincent Aravantinos Cc: OCaml Subject: Re: [Caml-list] Importing module signatures ? In-Reply-To: <6B825E73-5646-479B-85AA-8F6F5C496A7C@yahoo.fr> Message-ID: References: <1191500391.6118.23.camel@Blefuscu> <875c7e070710040709x3cbae411p9cc40e932571470d@mail.gmail.com> <6B825E73-5646-479B-85AA-8F6F5C496A7C@yahoo.fr> MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-1526936327-1191524027=:15403" X-Miltered: at concorde with ID 470536C6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ens-lyon:01 unreadable:01 mime-aware:01 bunzli:01 o'caml:01 bug:01 functors:01 2007,:98 wrote:01 signatures:01 readable:01 caml-list:01 inherit:01 jambon:01 jambon:01 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323328-1526936327-1191524027=:15403 Content-Type: TEXT/PLAIN; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8BIT On Thu, 4 Oct 2007, Vincent Aravantinos wrote: > Le 4 oct. 07 à 16:16, Daniel Bünzli a écrit : >> Le 4 oct. 07 à 16:09, Chris King a écrit : >> >> > I'd love to see make it into the official tree, but I haven't heard from >> > the O'Caml dev team one way or the other. >> >> If you want to raise the chances for this to happen I suggest you file a >> feature request in the bug tracking system. Or if one already exists, >> monitor the issue to give them a hint the feature is important to more than >> a single individual. >> > > I'd love it to (that makes at least two individuals...). Yes, an equivalent for modules of "inherit", which does the job of inheriting both the class type and the class implementation... would be convenient and easy. Of course, I don't know how it plays with functors, etc. Martin -- http://martin.jambon.free.fr --8323328-1526936327-1191524027=:15403--