Dan Sugalski writes:At 4:15 PM +0200 9/23/04, Leopold Toetsch wrote: > return_cc() # 2) return via current continuation > >1) is only needed for special porposes, like passing the >continuation on to a different place. The normal way to return from >a sub will be 2) > >If that's in, access to C<P1> as a return continuation will be deprecated.
Well... should we? We're still passing the return continuation *in* in P1, unless you want to move it out and unconditionally make it a parameter to invoke. Which is OK, but we should be up front.
What we'd really like is to get the call chain. That is, given a continuation, can we query it to see what the previous continuation was?
Yes. All the information in the continuation is inspectable. (And the interpreter needs to do this for exceptions, for example) Not directly modifiable (I think) but inspectable.
--
Dan
--------------------------------------it's like this------------------- Dan Sugalski even samurai [EMAIL PROTECTED] have teddy bears and even teddy bears get drunk