English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Camlp4's (lack of) hygiene (was Re: Macros)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2000-07-16 (21:32)
From: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: Camlp4's (lack of) hygiene (was Re: Macros)

On Fri, Jul 07, 2000 at 07:42:02PM -0400, John Prevost wrote:
> Somebody on clf pointed out the other bigger part of hygiene, which is
> allowing symbols which *are* bound in the "macro" source to be
> statically bound to that value when used.  Unfortunately, I don't
> think this is a change that's at all simple for camlp4, since it
> requires very tight coupling with the compiler.

Well, if I find how to do that, I think it would not be a problem to
add things in Ocaml compiler to allow that, if it is not too complicated.

> Kind of sad, since for some of the most easy useful things you could
> do (providing little syntaxes for various datastructures via
> quotations) depend on referring to values from the ernvironment.  As
> an example, the quotations in q_MLast need Pcaml to be opened, or they
> won't work.

??? No. These quotations do not depend on Pcaml... only on MLast.

The trouble with computers is that they do what you tell them, not what
you want (D. Cohen).