[r6rs-discuss] A different take on libraries

From: Abdulaziz Ghuloum <aghuloum>
Date: Wed Nov 15 12:43:29 2006

On Nov 15, 2006, at 12:05 PM, AndrevanTonder wrote:

> On Wed, 15 Nov 2006, Abdulaziz Ghuloum wrote:
>
>>> An implementation is further allowed to start each expansion of a
>>> library form by removing all library bindings above phase 0.
>>> Can this be interpreted as a license to write macros that expand to
>>> imports? If so you can add your own clauses. I am not 100% sure,
>>> that this is allowed.
>>
>> The line from 6.2 can be deciphered as: "Don't rely on side effects
>> when you write macros." The compiler is licensed to reload the
>> compile-time information before expanding a form so any state saved
>> from previous invocations of a macros may not persist to the next
>> invocation. ^^^^
>
> If I understand you correctly, I don't think so. Are you saying
> compile-time information may be reloaded before expanding any macro,
> or simply before expanding a new "library" form?

The latter. I said "form" when I should've said "library".
Thanks.

Aziz,,,
Received on Wed Nov 15 2006 - 12:43:23 UTC