Excerpts from loup.vaillant's message of Tue Jan 22 15:06:24 +0100 2008:
> 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,
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