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