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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe