[r6rs-discuss] A different take on libraries

Jens Axel Søgaard jensaxel at soegaard.net
Wed Nov 15 11:39:17 EST 2006


Abdulaziz Ghuloum skrev:
> 
> On Nov 15, 2006, at 11:13 AM, Jens Axel Søgaard wrote:
> 
>> The last paragraph of section 6.2 reads:
>>
>>     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.

May I suggest adding your explanation to the report :-)


-- 
Jens Axel Søgaard




More information about the r6rs-discuss mailing list