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)
--
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem