Re: mask, catch, myThreadId, throwTo

2013-04-16 Thread Edward Z. Yang
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

Re: mask, catch, myThreadId, throwTo

2013-04-16 Thread Felipe Almeida Lessa
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