16 Mar
2005
16 Mar
'05
6:08 a.m.
On Sun, Feb 13, 2005 at 11:25:07PM +0100, Remi Turk wrote:
(as the paper claims that e.g. mergeIO :: [IO a] -> IO a is unimplementable in anything built on mutexes and condition variables.)
My STM monad is not IO, it has the same restrictions as STM in the paper. The paper doesn't claim you can't implement mergeSTM :: [STM a] -> STM a mergeSTM = msum
P.S. And don't forget to post a link when you put it online.
Here is the darcs repository: http://www.uncurry.com/repos/FakeSTM/ Warning: no documentation (other than patch comments), probably some bugs Best regards Tomasz