On Thu, 2013-09-26 at 17:14 +0200, Stefan Israelsson Tampe wrote: > We would like to construct a continuation, howso? This will demand > some trickery but in the end we would get it to work like > (with-delimeted-continuation-tag tag > (lambda () code ...) > (lambda (kk a ...) > ...)) >
We have call-with-prompt does the same work, but I'm not sure if you want to re-implement it > kk will be a meta continuation e.g. the state will be stored and a real > continuation will be made by issuing k = (kk), we would still need to > unwind explicitly (we will be at the state of the abort) and the we > can use k just as a normal fact e.g. (k X Y Z). the meaning of issuing > the continuation is that we will continue at the old state and when > the (lambda () code ...) successes it will copy X Y Z to their values, > reinstantiate the state at the beginning of (k X Y Z) and then unify > the interpretation of X Y Z with the copied values. and continue after > (k X Y Z) NICE! > > Anyway this is all words, I need to go into the fog and implement the > stuff. All cheers and have a nice day/night! > > /Stefan > > > > >
