Re: hygiene and macro-introduced toplevel bindings

[Hans Aberg]

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