[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