I think your solution is perfectly sensible. shift/reset needs two CPS transformations. Then you have two continuations : one local (up to the next reset), one global (from the next reset to the toplevel). The global one is usually called the meta-continuation, and often denoted m.
I think this is explained in "Abstracting Control" by Filinski and Danvy. This blog post shows an evaluator for shift/reset where you can see the two continuations at work: http://calculist.blogspot.com/2006/11/shift-and-reset-via-two-continuations.html Best regards, Nicolas. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
