29 Mar
2006
29 Mar
'06
1:43 p.m.
On 3/29/06, Taral <taralx@gmail.com> wrote:
On 3/29/06, Ross Paterson <ross@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@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem