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

Reply via email to