[Haskell-cafe] Re: Asynchronous exception wormholes kill modularity

On Wed, Apr 7, 2010 at 5:12 PM, Simon Marlow wrote:

Comments?

I really like this design. One question, are you planning to write the MVar utility functions using 'mask' or using 'nonInterruptibleMask'? As in:

withMVar :: MVar a -> (a -> IO b) -> IO b withMVar m f = whichMask? $ \restore -> do a <- takeMVar m b <- restore (f a) `onException` putMVar m a putMVar m a return b

regards, Bas