From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jacques.garrigue@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id A22F9BC57
	for <caml-list@yquem.inria.fr>; Thu, 22 Jul 2010 12:44:31 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmADAFe9R0zRVaA2kWdsb2JhbACTN4w3CBUBAQEBCQsKBxEDH7E+hhOJAgEBAwWFMQSDfoRbh1M
X-IronPort-AV: E=Sophos;i="4.55,242,1278280800"; 
   d="scan'208";a="66803275"
Received: from mail-pw0-f54.google.com ([209.85.160.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2010 12:44:30 +0200
Received: by pwj9 with SMTP id 9so4183546pwj.27
        for <caml-list@inria.fr>; Thu, 22 Jul 2010 03:44:29 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:sender:subject:mime-version
         :content-type:from:x-priority:in-reply-to:date:cc:reply-to
         :content-transfer-encoding:message-id:references:to:x-mailer;
        bh=n4L0dHGVxB2NKw4Xv4iAVzAeg0O/fvacRasaEAoju8w=;
        b=IGBwY2RjLvwNQpXKz3DC+fAuHWNgU+TeV6H8YJ6e1P8RxwROtER+HPX7KiFcqI/gDz
         XmvLTV9+9VYeB8Pln/vxkKeDBG+ZeiDCFhsnKf6afHsbJe0Yg9QExpXWBmAnbUJ7bc3V
         9mu3Hhcj83xejRnxG+P5oxOoQVie9GMu59J5Q=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=sender:subject:mime-version:content-type:from:x-priority
         :in-reply-to:date:cc:reply-to:content-transfer-encoding:message-id
         :references:to:x-mailer;
        b=tWj0EpBMbhFf/07SDynmenezOyz6OEBT2kVE2ABQE2yWvEvgKL4jq67xkwYD+nreQc
         DPByuOmZ0mMMChsZxOGcsCisgGmAEJYD8Nzp7+O8ypFedlHpz6FyxJA/VeJCEzrFjHMK
         i5n9k/AkN7Zw9PP7lZvY2dWPZWYNgEnBPINxk=
Received: by 10.142.148.2 with SMTP id v2mr2092774wfd.114.1279795469816;
        Thu, 22 Jul 2010 03:44:29 -0700 (PDT)
Received: from tet.garrigue.jp (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157])
        by mx.google.com with ESMTPS id v38sm10255783wfh.0.2010.07.22.03.44.27
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Thu, 22 Jul 2010 03:44:28 -0700 (PDT)
Sender: Jacques Garrigue <jacques.garrigue@gmail.com>
Subject: Re: [Caml-list] Bug in the module system of version 3.12.0+beta1
Mime-Version: 1.0 (Apple Message framework v1081)
Content-Type: text/plain; charset=us-ascii
From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
X-Priority: 3 (Normal)
In-Reply-To: <eba06d53a3e944d03b2ffcde9f82684f.squirrel@mail.mpi-sws.org>
Date: Thu, 22 Jul 2010 19:44:24 +0900
Cc: caml-list@inria.fr
Reply-To: garrigue@math.nagoya-u.ac.jp
Content-Transfer-Encoding: 7bit
Message-Id: <3D1C2CD6-7F45-4F2C-881A-14494E382636@gmail.com>
References: <4C46F866.9050900@inria.fr> <AANLkTikvjA641yGQJDFrC-wWOyLRGuudTh=gZjpKiHYj@mail.gmail.com> <4C473F45.6020307@inria.fr> <20100722.151839.48519361.garrigue@math.nagoya-u.ac.jp> <eba06d53a3e944d03b2ffcde9f82684f.squirrel@mail.mpi-sws.org>
To: rossberg@mpi-sws.org
X-Mailer: Apple Mail (2.1081)
X-Spam: no; 0.00; bug:01 rossberg:01 sig:01 functors:01 dependencies:01 wrote:01 wrote:01 syntactic:01 andreas:01 caml-list:01 expressive:01 substitution:01 confusing:02 garrigue:03 garrigue:03 

On 2010/07/22, at 18:37, rossberg@mpi-sws.org wrote:
> "Jacques Garrigue" <garrigue@math.nagoya-u.ac.jp> 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