[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: hygiene and macro-introduced toplevel bindings
From: |
Andy Wingo |
Subject: |
Re: hygiene and macro-introduced toplevel bindings |
Date: |
Fri, 01 Apr 2011 10:52:22 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
Hello list,
On Tue 08 Mar 2011 23:37, Andy Wingo <address@hidden> writes:
> On Mon 28 Feb 2011 22:28, Andy Wingo <address@hidden> 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/
- Re: hygiene and macro-introduced toplevel bindings,
Andy Wingo <=