Re: Camlp4's (lack of) hygiene (was Re: Macros)

[Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>]

Hi,

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.

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
The trouble with computers is that they do what you tell them, not what
you want (D. Cohen).