OK, I've updated the docus.
Excerpts from Felipe Almeida Lessa's message of Mon Apr 15 13:34:50 -0700 2013:
Thanks a lot, you're correct! The trouble is, I was misguided by the
Interruptible operations note [1] which states that
The following operations are guaranteed not to be
Nice, thanks, Edward =).
On Tue, Apr 16, 2013 at 6:20 PM, Edward Z. Yang ezy...@mit.edu wrote:
OK, I've updated the docus.
Excerpts from Felipe Almeida Lessa's message of Mon Apr 15 13:34:50 -0700
2013:
Thanks a lot, you're correct! The trouble is, I was misguided by the
Interruptible
Hey!
I have some code that is not behaving the way I thought it should.
The gist of it is
sleeper =
mask_ $
forkIOWithUnmask $ \restore -
forever $
restore sleep `catch` throwBack
throwBack (Ping tid) = myThreadId = throwTo tid . Pong
throwBack (Pong tid) =
Felipe Almeida Lessa wrote:
I have some code that is not behaving the way I thought it should.
The gist of it is
sleeper =
mask_ $
forkIOWithUnmask $ \restore -
forever $
restore sleep `catch` throwBack
throwBack (Ping tid) = myThreadId = throwTo tid . Pong
Thanks a lot, you're correct! The trouble is, I was misguided by the
Interruptible operations note [1] which states that
The following operations are guaranteed not to be interruptible:
... * everything from Control.Exception ...
Well, it seems that not everything from
Sounds like those docs need to be fixed, in that case.
Edward
Excerpts from Felipe Almeida Lessa's message of Mon Apr 15 13:34:50 -0700 2013:
Thanks a lot, you're correct! The trouble is, I was misguided by the
Interruptible operations note [1] which states that
The following