[Haskell] Network accept loop with graceful shutdown
taralx at gmail.com
Thu Dec 7 15:31:55 EST 2006
On 12/7/06, Chris Kuklewicz <haskell at list.mightyreason.com> wrote:
> Small clarification: You don't need a safepoint in your code. But "unblock
> yield" is the right code for a safepoint; the "unblock (return ())" suggested by
> the published paper *does not work* in my small test, while "unblock yield"
> worked every time in a small test. Simon may updated the documentation
> eventually to reflect this.
I think people are misunderstanding the nature of a safepoint. The
safepoint is a point at which you are prepared to have exceptions
delivered. This does not mean that they *will* be delivered, just that
they can. If you need to *wait* for an asynchronous exception, then
you shouldn't be using them at all.
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem
More information about the Haskell