Jay, Thanks very much for the answer.
My current thinking is that the dynamic-wind described on page 17 of Friedman's Constraining Control may provide enough of dynamic-wind's functionality for my needs. It doesn't appear to have any of the forbidden constructs* of the web-server language. and it has a local redefinition of call/cc. Subject to experiment, I think #lang web-server could capture continuations safely within it. I'll try to make progress over the weekend and let you know results. *for example set! nested inside a letrec nested inside a define ____________________ Racket Users list: http://lists.racket-lang.org/users
