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 5F328BC57 for ; Thu, 22 Jul 2010 14:28:45 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.55,243,1278280800"; d="vcf'?scan'208";a="64269686" Received: from vpn-rocq-175.inria.fr (HELO [127.0.0.1]) ([128.93.42.175]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 22 Jul 2010 14:28:45 +0200 Message-ID: <4C483988.4050501@inria.fr> Date: Thu, 22 Jul 2010 14:28:56 +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: garrigue@math.nagoya-u.ac.jp, 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> <20100722.151839.48519361.garrigue@math.nagoya-u.ac.jp> <3D1C2CD6-7F45-4F2C-881A-14494E382636@gmail.com> In-Reply-To: <3D1C2CD6-7F45-4F2C-881A-14494E382636@gmail.com> Content-Type: multipart/mixed; boundary="------------060705060609070803070603" X-Spam: no; 0.00; bug:01 rossberg:01 sig:01 functors:01 dependencies:01 beginner's:01 ocaml:01 bug:01 jacky:98 beginners:01 wrote:01 wrote:01 syntactic:01 andreas:01 caml-list:01 X-Attachments: cset="utf-8" name="dumitru_potop_butucaru.vcf" name="dumitru_potop_butucaru.vcf" This is a multi-part message in MIME format. --------------060705060609070803070603 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit I'm interested, can you give more details? (I try to understand the language, as obviously there are parts that are not very intuitive) Dumitru, alias Jacky On 22/07/2010 12:44, Jacques Garrigue wrote: > On 2010/07/22, at 18:37, rossberg@mpi-sws.org wrote: > >> "Jacques Garrigue" wrote: >> >>> module type MyModuleType(Param:ParamType) = sig ... end >>> >>> But this just doesn't make sense. >>> >> Hm, I would disagree. It makes perfect sense, it just wouldn't desugar in >> the way Dumitru thought it should. >> >> /Andreas >> > I actually agree with you, since at some point I thought of adding this > kind of syntactic sugar for functors returning a signature. > But, seeing Dumitru's reasonning, this might well be confusing. > Anyway, I think that destructive substitution provides the same expressive > power in a more uniform way (using intra-signature dependencies). > > Jacques > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > --------------060705060609070803070603 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 --------------060705060609070803070603--