[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: hygiene and macro-introduced toplevel bindings
From: |
Hans Aberg |
Subject: |
Re: hygiene and macro-introduced toplevel bindings |
Date: |
Mon, 4 Apr 2011 15:48:57 +0200 |
On 9 Mar 2011, at 21:14, Andy Wingo wrote:
>> I want a syntax that allows one to explicitly choose which macro-bound
>> variables to export, but otherwise, they should never be visible outside
>> the macro (i.e., be uninterned). When exported, they will just have the
>> name indicated.
>
> You have that already in the form of datum->syntax. If you create a
> syntax object in the context of the incoming expression, it will be
> treated as if it originated with that expression.
Great!
Hans