Jan-Willem Maessen <[EMAIL PROTECTED]> writes:
> - Fetch elimination for imperative reads:
> writeIORef r e >> acts >> readIORef r
> === writeIORef r e >> acts >> return e
This transformation is valid only on single-threaded systems.
If there is any possibility of an IORef being shared across threads,
you are out of luck.
Regards,
Malcolm
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
