| Thanks for your reply. I'm a bit confused, however. There is a
| function
| check :: Bool - STM a in the STM library, but it appears to act
| differently than the one described in the paper. This version of
check
| seems to cause a transaction to block when its (check's) first
argument
| is
-haskell-users@haskell.org
| Subject: Re: STM check operation
|
| Rodney D Price wrote:
| I've been reading the STM papers on Simon PJ's website, but I find
that
| the GHC I'm using (6.5) changes a few things from the paper's
| descriptions.
| For instance, atomic becomes atomically and catch
-
| From: [EMAIL PROTECTED]
[mailto:[EMAIL PROTECTED]
| On Behalf Of S Koray Can
| Sent: 13 July 2006 03:13
| To: glasgow-haskell-users@haskell.org
| Subject: Re: STM check operation
|
| Rodney D Price wrote:
| I've been reading the STM papers on Simon PJ's website, but I find
that
| the GHC I'm using
I've been reading the STM papers on Simon PJ's website, but I find that
the GHC I'm using (6.5) changes a few things from the paper's
descriptions.
For instance, atomic becomes atomically and catch becomes
catchSTM.
I can't, however, find throw, and the type signature of check has
changed.
Rodney D Price wrote:
I've been reading the STM papers on Simon PJ's website, but I find that
the GHC I'm using (6.5) changes a few things from the paper's
descriptions.
For instance, atomic becomes atomically and catch becomes
catchSTM.
I can't, however, find throw, and the type signature