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

From: R. Kent Dybvig <dyb>
Date: Mon Mar 12 18:25:26 2007

> (define z ((caddr x) #f)) ; modified line

Thanks---you're right.

> I get the following, which I think is also consistent with the current
> specification:
>
> (0 0)
> (3 3)

Perhaps, though the wording of the library semantics section implies that
the export variable locations are created and initialized after the RHS
and body expressions are evaluated.

Kent
Received on Mon Mar 12 2007 - 18:24:52 UTC