Re: hygiene and macro-introduced toplevel bindings

[Andy Wingo <wingo@pobox.com>]

Hello list,

On Tue 08 Mar 2011 23:37, Andy Wingo <wingo@pobox.com> writes:

> On Mon 28 Feb 2011 22:28, Andy Wingo <wingo@pobox.com> writes:
>
>> But you have to, I think.  If that module that contained the above
>> define-syntactic-accessor expansion exports "foo", then in another
>> module you have:
>>
>>   (define bar (lambda () (foo)))
>>
>> which expands to
>>
>>   (define bar (lambda () val-234123))
>>
>> Val needs to be named.
>
> Everyone appears to want gensymmed names.  OK!  Let's consider this to
> be a bug, and that at some point in the future, Guile will start
> gensymming this names.

Just a reminder, the next step here is to implement gensyms with global
uniqueness.  To do this we will use globally-unique gensyms.  128 bits
of randomness would be fine I think.

> If people want to make this go faster, start working on the gensyms.

If anyone is looking for a project, here is one.

Andy
-- 
http://wingolog.org/