#10841: Run handler on STM retry -------------------------------------+------------------------------------- Reporter: shlevy | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries | Version: 7.10.2 (other) | Resolution: | Keywords: stm Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by shlevy): Alternate type signature: {{{#!haskell (a -> STM b) -> a -> IO a -> IO b }}} The idea being that a potentially different transaction is run every time (or not at all if the function wants to). But that may be just asking for people to shoot themselves in the foot. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10841#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler