STM check operation

Rodney D Price rodprice at
Wed Jul 12 20:00:55 EDT 2006

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  
For instance, "atomic" becomes "atomically" and "catch" becomes  
I can't, however, find "throw", and the type signature of "check" has  
The GHC documentation isn't much help.  Is there a discussion,  
perhaps in
a mailing list archive somewhere, that will shed some light on these  



More information about the Glasgow-haskell-users mailing list