oleg@pobox.com wrote:
> In almost all useful circumstances call/cc appears in combination with
> store -- which is a dead give-away that we are dealing with delimited
> continuations.

I suspected that much, and hoped for a reply from you :-)

> The following code does compute (p false, p true) by
> really entering p only once (but exiting it twice).

Excellent, thank you.

> The argument to p must be a thunk, so we are able to enter p, or to get p to swallow the
> hook.

This is not a problem because in my actual non-simplified problem p is a 
functional of type (int -> bool) -> bool. Now let me see if I can apply 
delimited continuations in the non-simplified version. Thank you again!

Andrej