Alex Shinn scripsit:

> The language can simply say that the `update', `remove' and
> `insert' thunks must remain valid for their lifetimes.

But what is their lifetime?  Since they aren't tail-calls, they might
conceivably escape either by call/cc or as data structures, and then what?

--
John Cowan <cowan@ccil.org>             http://www.ccil.org/~cowan
Fundamental thinking is ha-ard.  Let's go ideology-shopping.
                        --Philosopher Barbie

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg2" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-wg2+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.