important news: refocusing discussion

Taral taralx at
Wed Mar 29 08:41:34 EST 2006

On 3/29/06, Ross Paterson <ross at> wrote:
> -- The reference contains a rollback action to be executed on exceptions
> newtype STM a = STM (IORef (IO ()) -> IO a)

Cute, but why use an IORef?

newtype STM a = STM (IO () -> IO a)

Taral <taralx at>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell-prime mailing list