[Haskell-cafe] Error in the asynchronous exception operational semantics

2011-08-09 Thread Edward Z. Yang
Hello all, I was recently reading Asynchronous Exceptions as an Effect by Harrison, Allwein, Gill and Procter, and noticed at the end that they found an error in the operational semantics described in Asynchronous Exceptions in Haskell by the Simons and Andrew Moran. Does anyone know what this

Re: [Haskell-cafe] Error in the asynchronous exception operational semantics

2011-08-09 Thread David Barbour
All you need to know about asynchronous exceptions is: *don't use them!* They're too difficult to reason about, in terms of failure modes and such. Use TVars or MVars instead. On Tue, Aug 9, 2011 at 1:40 PM, Edward Z. Yang ezy...@mit.edu wrote: Hello all, I was recently reading Asynchronous