From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <loup.vaillant@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
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 846FBBC6B
	for <caml-list@yquem.inria.fr>; Tue, 22 Jan 2008 15:06:26 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAGGHlUfRVYT7i2dsb2JhbACQFwEBAQgEBAkKEQWVRYY/
X-IronPort-AV: E=Sophos;i="4.25,233,1199660400"; 
   d="scan'208";a="21598478"
Received: from an-out-0708.google.com ([209.85.132.251])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Jan 2008 15:06:25 +0100
Received: by an-out-0708.google.com with SMTP id b15so586824ana.102
        for <caml-list@yquem.inria.fr>; Tue, 22 Jan 2008 06:06:25 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=d4qnCryB+j0t+0gftyGKsaj5fZ1z3kvh7kivfA1AUUU=;
        b=HJ7G/tBQI94IjbIO67qO3jeZ1VPd6FCSv9f7RGERlmGSgObPE9wpT24QUX8BGcws+YGLDud4VRZYF7+2KJ7Q/RpRuvh3lkDu5SBGtqdRlS/29Nl20WC+F/+kTvwZxoUMmjU+AzgT3oCaGMDj6OkRZu7342VQ+vzcR4XjDbLQJS8=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=GjRw+lHVG2zo6O71DqjBv9teVe2RkOt1g5MI0lmx+J8BC90S0t/bksbZSzTYjD4z3Hbnqa8y1OqgTDHc3Ub5o5lCvxXZX0D72FJEu+HbqIQKTKLTB7DTbYaESGc2+fl2lK5mIS0/lW7AwSvD+0raNyF/eTVcKEwM1+2Mmi/WIuQ=
Received: by 10.100.106.1 with SMTP id e1mr17600068anc.10.1201010784835;
        Tue, 22 Jan 2008 06:06:24 -0800 (PST)
Received: by 10.100.248.15 with HTTP; Tue, 22 Jan 2008 06:06:24 -0800 (PST)
Message-ID: <6f9f8f4a0801220606k39bb916aj76f269a1ea6f7b7e@mail.gmail.com>
Date: Tue, 22 Jan 2008 15:06:24 +0100
From: "Loup Vaillant" <loup.vaillant@gmail.com>
To: "Nicolas Pouillard" <nicolas.pouillard@gmail.com>
Subject: Re: [Caml-list] camlp4
Cc: "christian. sternagel" <christian.sternagel@uibk.ac.at>,
	caml-list <caml-list@yquem.inria.fr>
In-Reply-To: <1201009268-sup-196@port-ext18.ensta.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <1200676132.4790dd24bfca9@web-mail2.uibk.ac.at>
	 <95513600801181130u2f6584b8w505cd10e848bcc65@mail.gmail.com>
	 <1200685853-sup-3987@ausone.local>
	 <1200755341.4792128d5dad6@web-mail2.uibk.ac.at>
	 <1200842484-sup-3237@ausone.local>
	 <20080122133355.GI3862@pc6197-c703.uibk.ac.at>
	 <1201009268-sup-196@port-ext18.ensta.fr>
X-Spam: no; 0.00; camlp:01 syntax:01 camlp:01 syntax:01 ocaml:01 pointers:01 abstract:01 caml-list:01 cleanly:01 cleanly:01 tree:02 variables:02 tue:06 papers:06 extension:06 

2008/1/22, Nicolas Pouillard <nicolas.pouillard@gmail.com>:
> Excerpts from christian.sternagel's message of Tue Jan 22 14:33:55 +0100
> > I deduce that there is no standard way of introducing
> > `fresh' (w.r.t. the abstract syntax tree) variables
> > within a camlp4 syntax extension? Wouldn't that be nice? =)
>
> That  would be nice, but doing it cleanly would require a large amount of work
> and user visible changes.

Hello,

I am personally interested in how we "do it cleanly" (not specifically
for Ocaml), but I didn't found much documentation nor papers on the
subject. Do anyone have some pointers about that?

Thanks,
Loup