[r6rs-discuss] [Formal] eliminate library export immutability loophole

From: Andre van Tonder <andre>
Date: Tue Mar 20 09:52:46 2007

On Tue, 20 Mar 2007, Abdulaziz Ghuloum wrote:

> On Mar 19, 2007, at 10:08 AM, AndrevanTonder wrote:
>
>> Someone who reads this might rightfully ask how the set of exported
>> variables is determined. Although I think the last sentence is
>> logically correct, since it can be satisfied in a simple implementation
>> by simply potentially doing too much, e.g., creating an export location
>> for all non-mutated variables, the statement might trip up some readers.
>
> Do you have a better strategy for determining the set of exports?

Since I do not use local bindings for library toplevel variables, their is no
copying-on-export, so the issue does not arise. But in your case, if one
wanted to bother, a more accurate strategy is possible if the library contained
no macros, for example.

Andre
Received on Tue Mar 20 2007 - 09:52:08 UTC