From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2N8AOSK014000
	for <caml-list@sympa-roc.inria.fr>; Fri, 23 Mar 2012 09:10:24 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtsBAEUvbE/RVdS0imdsb2JhbABEDrdcCCIBAQEKCQ0HEgYjggoBAQQSAiYGATgBAwwBBQVGFCABBQEBITWHaASaKgqPB4R9iTUBBQsIkA1jBJVejko9gVeBezg
X-IronPort-AV: E=Sophos;i="4.73,634,1325458800"; 
   d="scan'208";a="137375936"
Received: from mail-wi0-f180.google.com ([209.85.212.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Mar 2012 09:10:21 +0100
Received: by wibhm17 with SMTP id hm17so1578742wib.9
        for <caml-list@inria.fr>; Fri, 23 Mar 2012 01:10:21 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=sender:date:from:to:cc:subject:message-id:references:mime-version
         :content-type:content-disposition:in-reply-to:user-agent;
        bh=bHWBvNmo8hG0ZZERd05JViQDs9koJVxGRh90KevJPq8=;
        b=hHMQv2B3fe9dJh4VvAV1xqHcx6u/HRkczD2IITky2w5pEJsvensbRxXZ3kigF7LDB8
         WXIpP7eR0xd3cPRfrkrPXBbv0rIXN45qqd44iKq7Yx19TQpdxH5O0/SPqEvSbS9rbhiK
         vhYnd7FPMdCHIizP/BDXEaqsRbIgnIC71z0hqeK7ZDval1mAQMkj95ttBffSND7h+3c+
         7PW5ZRfAZSQpX4S2QyXBMh+kwu6+PRDFROC+w6VURMaITXFgWwNKNkSGy7JSfiyGGgwE
         9sn3QKKCPF/fe96iexMCAl4YOW2TopnJTchP6piG06X4cr6WkSeMPX5of1bTb53PQM83
         pkMA==
Received: by 10.180.82.132 with SMTP id i4mr4273683wiy.12.1332490220810;
        Fri, 23 Mar 2012 01:10:20 -0700 (PDT)
Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163])
        by mx.google.com with ESMTPS id gp8sm11924705wib.5.2012.03.23.01.10.19
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 23 Mar 2012 01:10:19 -0700 (PDT)
Sender: Roberto Di Cosmo <rdicosmo@gmail.com>
Received: from dicosmo by voyager with local (Exim 4.72)
	(envelope-from <roberto@dicosmo.org>)
	id 1SAzct-00075X-TL; Fri, 23 Mar 2012 09:13:35 +0100
Date: Fri, 23 Mar 2012 09:13:35 +0100
From: Roberto Di Cosmo <roberto@dicosmo.org>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: Gabriel Scherer <gabriel.scherer@gmail.com>, caml-list@inria.fr
Message-ID: <20120323081335.GA27190@voyager>
References: <20120322095143.GA30016@voyager>
 <AA1FC020-B493-4E08-B3C4-96EA80F747EC@math.nagoya-u.ac.jp>
 <CAPFanBGBbYs2p=4SHPyWyWCpBeko_gy4feonq2eU8NP0jWeo5A@mail.gmail.com>
 <8F5F6351-7DF3-4BFD-BE79-6B76696A457C@math.nagoya-u.ac.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <8F5F6351-7DF3-4BFD-BE79-6B76696A457C@math.nagoya-u.ac.jp>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Funny name for a type variable in the output:
 should this be filed on the BTS?

Dear Jacques,
     that seems a perfect fix, for me, as it also gives a hint
to the user about what is going on under the hood, thanks for
implementing it so fast.

And thanks to all for the feedback on this issue :-)

--Roberto

On Fri, Mar 23, 2012 at 03:45:51PM +0900, Jacques Garrigue wrote:
<snip>
> The point here is that the "type a b. ..." syntax is syntactic sugar.
> Rather than putting efforts in making it "hygienic", at the cost of
> mangling type variable names, isn't it simpler to define precisely
> how it expands, and prohibit ambiguous types?
> I would argue that this is actually simpler to explain it that way
> (if you want to give an exact specification).
> 
> I have committed this in trunk and 4.00, and the output now is a syntax
> error:
> 
> Error: In this scoped type, variable 'a is reserved for the local type a.
> 
<snip>
> 
> Jacques Garrigue