[Haskell-cafe] Interruptible exception wormholes kill modularity

[Yuras Shumovich]

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.

Thanks,
Yuras.