It's not a no-op to unmask an interruptible operation (and dejafu detects this)

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

User effectfully on reddit wrote an article It’s not a no-op to unmask an interruptible operation ( reddit discussion ) about a small gotcha with interruptible operations and asynchronous exceptions. The gist of it is that this snippet of code: mask $ \restore -> do putMVar var x ... behaves differently to this snippet of code: mask $ \restore -> do restore $ putMVar var x ... in the presence of…

Read on memo.barrucadu.co.uk ↗