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

From: Abdulaziz Ghuloum <aghuloum>
Date: Mon Mar 12 19:06:28 2007

On Mar 12, 2007, at 6:36 PM, AndrevanTonder wrote:

> But I think the statement "The effect of returning twice to the
> continuation of the last body expression is unspecified", allows an
> implementation to output the above, to output
>
> (0 0)
> ("wizard" "Oz")
>
> or to fail, all without violating the spec :-)

I think Kent carefully crafted his example to not return to the
continuation
of the last body expression twice (it gets in, does the damage, and
gets out).

Aziz,,,
Received on Mon Mar 12 2007 - 19:05:46 UTC