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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id CA370BC57 for ; Wed, 21 Jul 2010 20:41:00 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.55,239,1278280800"; d="vcf'?scan'208";a="55951350" Received: from vpn-rocq-143.inria.fr (HELO [127.0.0.1]) ([128.93.42.143]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 21 Jul 2010 20:41:00 +0200 Message-ID: <4C473F45.6020307@inria.fr> Date: Wed, 21 Jul 2010 20:41:09 +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> In-Reply-To: Content-Type: multipart/mixed; boundary="------------010702000104010501090807" X-Spam: no; 0.00; bug:01 functor:01 sig:01 val:01 functor:01 jacky:98 signatures:01 signatures:01 caml-list:01 structures:02 structures:02 theoretical:03 module:03 module:03 multi-part:94 X-Attachments: cset="utf-8" name="dumitru_potop_butucaru.vcf" name="dumitru_potop_butucaru.vcf" This is a multi-part message in MIME format. --------------010702000104010501090807 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Hello everybody, Thanks for your help. I now have 2 solutions that should work (it will take a couple of days to change my **real** project to see if it works). However, I still did not understand this statement of Jeremy Yallop: >> module type Abc = >> functor (M:Simple) -> >> sig >> val x : M.t >> end >> > You're trying to treat Abc as a functor from signatures to signatures > (i.e. as a parameterised signature). In fact, it's something quite > different: it's the *type* of a functor from structures to structures. > 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? Yours, Jacky --------------010702000104010501090807 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 --------------010702000104010501090807--