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
Received on Wed Nov 15 2006 - 11:39:17 UTC