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

[AndrevanTonder]

On Mon, 12 Mar 2007, Abdulaziz Ghuloum wrote:

> I think of having local locations in addition to the exported locations as
> just one possible implementation strategy.  Wouldn't it be simpler to talk
> about the library bindings (their scope, locations, mutability, only-once
> initialization, etc.) in a manner that's independent of implementation?

I agree, especially since (to me) the simplest implementation strategy 
seems to be the one without local locations, in which one simply set!'s the 
exported locations directly, and no local->exported copying is even necessary. 
It would be less than ideal if the document contained language that implied 
that something more complex were happening.

Andre