Subject: Re: Dynamic-wind
From: (Rob Warnock)
Date: 5 Nov 2001 08:15:12 GMT
Newsgroups: comp.lang.scheme
Message-ID: <9s5hqg$5pcji$>
felix <> wrote:
| If you consider call/cc + dynamic-wind (the way it currently exists)
| a problem.  I have to admit that I'm perfectly happy the way it is
| (besides a small point: the undefined behaviour of invoking continuations
| inside winder-thunks).

Unfortunately, that "small point" makes it impossible to use
call/cc + dynamic-wind as the basis for an exception system.
In fact, within what's guaranteed by R5RS, you can't even
implement a simple "catch/throw" with it!!


Rob Warnock, 30-3-510		<>
SGI Network Engineering		<>
1600 Amphitheatre Pkwy.		Phone: 650-933-1673
Mountain View, CA  94043	PP-ASEL-IA

[Note: and aren't for humans ]