[Haskell-cafe] Interruptible exception wormholes kill modularity
shumovichy at gmail.com
Sat Jul 2 13:06:59 UTC 2016
On Sat, 2016-07-02 at 00:49 -0400, Edward Z. Yang wrote:
> P.P.S. I have some speculations about using uninterruptibleMask more
> frequently: it seems to me that there ought to be a variant of
> uninterruptibleMask that immediately raises an exception if
> the "uninterruptible" action blocks. This would probably of
> great assistance of noticing and eliminating blocking in
> uninterruptible code.
Could you please elaborate where it is useful. Any particular example?
I'm interested because few years ago I proposed similar function, but
in a bit different context. I needed it to make interruptible cleanup
actions safe to use.
More information about the Haskell-Cafe