[r6rs-discuss] [Formal] SRFI-39 should be made an R6RS library

[R. Kent Dybvig]

> Just as a quick clarification: if, in the scenario below, thread T2
> uses parameterize to change P1 and P2 before invoking K1 (instead of
> mutation), then the values seen by the whatever's left to be done in
> the continuation K1 would be 0 and 1, not 2 and 2, right?

If you mean that code executed in K1 would see P1=1 and P2=0, then you are
correct.  Parameterize affects only the code in its continuation, and the
continuation in T2 that parameterizes P1 and P2 is aborted when K1 is
invoked, so the code executed in K1 sees the original value of P2 and the
T1-parameterized value of P1.

Kent