'check' isn't in any public version of GHC just yet. We have the code, but have not yet gotten it into the main darcs repository. Sorry. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@haskell.org] | 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 (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. | > 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 | > changes? | | I had the same question about check's signature last night. But I do | believe that throw is the same old throw :: Exception -> a from | Control.Exception. | | Cheers, | Koray | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users