important news: refocusing discussion

[Taral]

On 3/29/06, Taral <taralx at gmail.com> wrote:
> On 3/29/06, Ross Paterson <ross at soi.city.ac.uk> 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 <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem