From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA08692 for caml-red; Sun, 16 Jul 2000 23:32:47 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA09329 for <caml-list@pauillac.inria.fr>; Mon, 10 Jul 2000 11:38:08 +0200 (MET DST)
Received: from jaune.inria.fr (jaune.inria.fr [128.93.11.80])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6A9c3H13479;
	Mon, 10 Jul 2000 11:38:03 +0200 (MET DST)
Received: (from ddr@localhost)
	by jaune.inria.fr (8.8.7/8.8.7) id LAA07136;
	Mon, 10 Jul 2000 11:37:59 +0200
Date: Mon, 10 Jul 2000 11:37:58 +0200
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
To: John Prevost <prevost@maya.com>
Cc: caml-list@inria.fr
Subject: Re: Camlp4's (lack of) hygiene (was Re: Macros)
Message-ID: <20000710113758.F6842@jaune.inria.fr>
References: <8js72h$11h$1@nnrp1.deja.com> <Pine.LNX.4.21.0007041051140.20796-100000@punaluu.informatik.uni-freiburg.de> <8juuep$420$1@news.planetinternet.be> <u0lmzhyllz.fsf@hana.kurims.kyoto-u.ac.jp> <8jv92l$qpb$1@bird.wu-wien.ac.at> <u0wvj0datl.fsf@hana.kurims.kyoto-u.ac.jp> <87d7kqitmo.fsf_-_@isil.localdomain> <87r995jynp.fsf@isil.localdomain>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0i
In-Reply-To: <87r995jynp.fsf@isil.localdomain>; from prevost@maya.com on Fri, Jul 07, 2000 at 07:42:02PM -0400
Sender: weis@pauillac.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).