Finally clauses Tony Garnock-Jones (09 Aug 2002 14:05 UTC)
Re: Finally clauses Dave Mason (09 Aug 2002 14:58 UTC)
Re: Finally clauses Richard Kelsey (09 Aug 2002 23:28 UTC)
Re: Finally clauses Tony Garnock-Jones (12 Aug 2002 11:24 UTC)
Re: Finally clauses Richard Kelsey (13 Aug 2002 00:48 UTC)
Re: Finally clauses Tony Garnock-Jones (13 Aug 2002 17:35 UTC)
Re: Finally clauses Richard Kelsey (15 Aug 2002 01:47 UTC)
Re: Finally clauses Tony Garnock-Jones (15 Aug 2002 11:11 UTC)
Re: Finally clauses bear (15 Aug 2002 15:19 UTC)
Re: Finally clauses sperber@xxxxxx (29 Aug 2002 08:08 UTC)
Re: Finally clauses bear (01 Sep 2002 20:55 UTC)
Re: Finally clauses Richard Kelsey (01 Sep 2002 22:22 UTC)
Re: Finally clauses bear (04 Sep 2002 03:07 UTC)
Re: Finally clauses Richard Kelsey (04 Sep 2002 06:55 UTC)

Re: Finally clauses Richard Kelsey 13 Aug 2002 00:47 UTC

   Date: Mon, 12 Aug 2002 12:29:29 +0100
   From: Tony Garnock-Jones <xxxxxx@eservglobal.com>

   However I still think (finally) does something *slightly* different to
   what is done by (dynamic-wind): where (dynamic-wind) executes its
   third thunk on *any* throw past it, I'd expect (finally) to be
   triggered by only either normal return, or exception-throw.

I don't understand why this makes any difference.  No matter
how you get out, by a normal return, an exception throw, or
some other throw, you can still throw back in.  An exception
throw is no more 'final' than any other throw.

                                -Richard Kelsey