From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 1057EBC57 for ; Thu, 22 Jul 2010 08:36:05 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.55,242,1278280800"; d="vcf'?scan'208";a="64250140" Received: from vpn-rocq-152.inria.fr (HELO [127.0.0.1]) ([128.93.42.152]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 22 Jul 2010 08:36:04 +0200 Message-ID: <4C47E6DF.1080100@inria.fr> Date: Thu, 22 Jul 2010 08:36:15 +0200 From: Dumitru Potop-Butucaru User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.1.10) Gecko/20100512 Thunderbird/3.0.5 MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] Bug in the module system of version 3.12.0+beta1 References: <4C46F866.9050900@inria.fr> <4C473F45.6020307@inria.fr> <4C47ACFF.9020409@frisch.fr> In-Reply-To: <4C47ACFF.9020409@frisch.fr> Content-Type: multipart/mixed; boundary="------------020301040709040006010906" X-Spam: no; 0.00; bug:01 frisch:01 runtime:01 transforming:01 functor:01 functor:01 jacky:98 wrote:01 wrote:01 defines:01 caml-list:01 alain:01 theoretical:03 seems:03 module:03 X-Attachments: cset="utf-8" name="dumitru_potop_butucaru.vcf" name="dumitru_potop_butucaru.vcf" This is a multi-part message in MIME format. --------------020301040709040006010906 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit On 22/07/2010 04:29, Alain Frisch wrote: > On 7/21/2010 8:41 PM, Dumitru Potop-Butucaru wrote: >> If I understand well, what I try to do is impossible for >> some deep theoretical reason. Can someone explain this >> to me, or point me to a relevant paper explaining it? > > Turning a module type into a module is not possible in general: if the > module type defines runtime components like values, what module would > you produce? I do not understand why you talk about transforming a module type in a module. What I wanted to do is to use a functor signature as a transformer of module types in module types (just as a functor transforms a module into another module). Following the definitions of the reference manual of 3.12.0+beta1, section 2.4, doing this seems very natural, even if it is currently impossible. Jacky Potop --------------020301040709040006010906 Content-Type: text/x-vcard; charset=utf-8; name="dumitru_potop_butucaru.vcf" Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename="dumitru_potop_butucaru.vcf" begin:vcard fn:Dumitru Potop-Butucaru n:Potop-Butucaru;Dumitru org:INRIA Rocquencourt;Project AOSTE adr:;;Domaine de Voluceau, BP 105;Le Chesnay;;F-78153;France email;internet:dumitru.potop_butucaru@inria.fr tel;work:+33-139.63.55.80 tel;fax:+33-139.63.51.93 x-mozilla-html:FALSE url:http://www.DumitruPotop.net version:2.1 end:vcard --------------020301040709040006010906--