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
