Jens Kilian <Jens_Kilian@bbn.hp.com> wrote:
+---------------
| Kent M Pitman <pitman@world.std.com> writes:
| > o, for example, in T we had
| > (dynamic-wind winder-thunk unwinder-thunk body-thunk)
| > or some such thing. I don't recall the specific syntax...
|
| IIRC, the latest-and-greatest Revised^N Report on Scheme has a similar
| construct.
+---------------
Except that the arg order is different (though more intuitive to me)
than what Kent showed for T:
(dynamic-wind before-thunk body-thunk after-thunk)
-Rob
p.s. Not too long ago there was a fairly long thread in comp.lang.scheme
on the implications of the interactions of call/cc, dynamic-wind, and
exception handlers. It ain't pretty, and it's not clear what the right
semantics are (or even if there is just one "right" set of semantics).
-----
Rob Warnock, 7L-551 rpw3@sgi.com http://reality.sgi.com/rpw3/
Silicon Graphics, Inc. Phone: 650-933-1673
2011 N. Shoreline Blvd. FAX: 650-933-4392
Mountain View, CA 94043 PP-ASEL-IA