<div>All you need to know about asynchronous exceptions is: <b>don&#39;t use them!</b> They&#39;re too difficult to reason about, in terms of failure modes and such. Use TVars or MVars instead.</div><div><br></div><div><br>
</div><div><div><div class="gmail_quote">On Tue, Aug 9, 2011 at 1:40 PM, Edward Z. Yang <span dir="ltr">&lt;<a href="mailto:ezyang@mit.edu">ezyang@mit.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hello all,<br>
<br>
I was recently reading &quot;Asynchronous Exceptions as an Effect&quot; by Harrison,<br>
Allwein, Gill and Procter, and noticed at the end that they found an error<br>
in the operational semantics described in &quot;Asynchronous Exceptions in Haskell&quot;<br>
by the Simons and Andrew Moran.  Does anyone know what this error was, and<br>
whether or not it was corrected in the December 12, 2006 version of the paper<br>
floating around on the net?<br>
<br>
Thanks,<br>
Edward<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div><br></div></div>