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

[R. Kent Dybvig]

>       (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