On 3/29/06, Taral <[EMAIL PROTECTED]> wrote:
> On 3/29/06, Ross Paterson <[EMAIL PROTECTED]> 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)
Oh, nevermind. I got it. :)
--
Taral <[EMAIL PROTECTED]>
"You can't prove anything."
-- Gödel's Incompetence Theorem
_______________________________________________
Haskell-prime mailing list
[email protected]
http://haskell.org/mailman/listinfo/haskell-prime
