"R. Kent Dybvig" <dyb_at_cs.indiana.edu> writes:
>> OK, thanks for clarifying. Does this mean that, if you capture an
>> escape procedure inside a dynamic binding, and you invoke that escape
>> procedure in a different thread, the thread where the escape procedure
>> is invoked will see a different value when it dereferences the
>> parameter than the capturing thread?
>
> No. Whether the continuation is invoked by the same or a different
> thread, the value will be the same as the one in place when the
> continuation was created. [...]
So would a simple way to describe the semantics be that `call/cc'
captures the *contents* of the locations of the thread parameters?
--
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Sat Feb 17 2007 - 02:50:24 UTC