Re: Re[2]: important news: refocusing discussion

On 3/29/06, Ross Paterson 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 "You can't prove anything." -- Gödel's Incompetence Theorem