[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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]