On Wed, Oct 31, 2007 at 10:24:44AM +0100, felix winkelmann wrote:
> On 10/31/07, Peter Bex <[EMAIL PROTECTED]> wrote:
> > >
> > > The "exit" will not invoke any pending dynamic-wind thunks
> >
> > Why not?  Shouldn't it?  IMHO it violates POLA not to do so.
> 
> Because it might not be desired.

Why wouldn't it if you use dynamic-wind?  The thunk is exited by
calling (exit), isn't it?  So I would *expect* it to call the 'after'
part of the dynamic-wind.  Just from reading the standard I would never
consider the possibility that a program ever leaves the thunk without
calling the 'after' part.

People use dynamic-wind because they *want* the 'after' part to be called
whenever the thunk is exited.

> It shouldn't. And I don't know who POLA is, nor did I meeet her before.

$ wtf is POLA
POLA: principle of least astonishment

Peter
-- 
http://sjamaan.ath.cx
--
"The process of preparing programs for a digital computer
 is especially attractive, not only because it can be economically
 and scientifically rewarding, but also because it can be an aesthetic
 experience much like composing poetry or music."
                                                        -- Donald Knuth

Attachment: pgpWy7EVmf7uD.pgp
Description: PGP signature

_______________________________________________
Chicken-users mailing list
Chicken-users@nongnu.org
http://lists.nongnu.org/mailman/listinfo/chicken-users

Reply via email to