Re: Making while interruptable

[Miles Bader <miles@gnu.org>]

Lennart Borgman <lennart.borgman@gmail.com> writes:
> However this mechanism would just be used only for code that you are
> running in a timer - in cases where the code does not explicitly
> handle pending input. Of course, changing that code is better, but you
> can not always do that.

Nonetheless, the cure seems far worse than the disease.  People writing
timers need to be very careful.  If there are important functions timers
need to call which should be extended to handle user input differently,
then fix those functions, or file a bug, or whatever.  [An implicit
mechanism like you suggest might seem "easier" but it would most likely
not actually work correctly in many cases.]

-Miles

-- 
Electricity, n. The cause of all natural phenomena not known to be caused by
something else.