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

From: AndrevanTonder <andre>
Date: Tue Mar 13 08:48:00 2007

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
Received on Tue Mar 13 2007 - 08:47:24 UTC