From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.1 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id CD28DBC6B for ; Tue, 22 Jan 2008 15:27:55 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.25,233,1199660400"; d="scan'208";a="7048905" Received: from peray.inria.fr (HELO ausone.inria.fr) ([128.93.8.98]) by mail1-relais-roc.national.inria.fr with SMTP; 22 Jan 2008 15:27:55 +0100 Received: by ausone.inria.fr (sSMTP sendmail emulation); Tue, _d Jan 2008 15:26:55 +0100 From: "Nicolas Pouillard" Cc: christian.sternagel , caml-list Subject: Re: [Caml-list] camlp4 To: loup.vaillant 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> <6f9f8f4a0801220606k39bb916aj76f269a1ea6f7b7e@mail.gmail.com> In-Reply-To: <6f9f8f4a0801220606k39bb916aj76f269a1ea6f7b7e@mail.gmail.com> Date: Tue, 22 Jan 2008 15:26:49 +0100 Message-Id: <1201011788-sup-7094@port-ext18.ensta.fr> User-Agent: Sup/git Content-Type: multipart/signed; protocol=""application/pgp-signature""; boundary="=-1201012014-977866-77665-2019-5-="; micalg="pgp-sha1" MIME-Version: 1.0 X-Spam: no; 0.00; camlp:01 syntax:01 camlp:01 syntax:01 ocaml:01 pointers:01 abstract:01 cristal:01 cristal:01 caml-list:01 cleanly:01 cleanly:01 tree:02 variables:02 fpottier:02 X-Attachments: cset="UTF-8" type="application/pgp-signature" name="signature.asc" name="signature.asc" --=-1201012014-977866-77665-2019-5-= Content-Type: text/plain; charset=UTF-8 Excerpts from loup.vaillant's message of Tue Jan 22 15:06:24 +0100 2008: > 2008/1/22, Nicolas Pouillard : > > 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, 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? You should have a look to alphaCaml [1] and Pure FreshML [2]. [1]: http://cristal.inria.fr/~fpottier/alphaCaml [2]: http://cristal.inria.fr/~fpottier/freshml/freshml.html.en -- Nicolas Pouillard aka Ertai --=-1201012014-977866-77665-2019-5-= Content-Disposition: attachment; filename="signature.asc" Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (Darwin) iD8DBQFHlf0uj+FCNw9dwLkRAvMnAJ49gjogDo9IxAMJuJmJtOlKKHh+PACfbTjC 0qR7qgoU2C20JHOqAQ/ZrLM= =BGoB -----END PGP SIGNATURE----- --=-1201012014-977866-77665-2019-5-=--