On Wed, Oct 05, 2005 at 03:22:29PM +0100, Simon Marlow wrote: > Also, GHC's optimiser currently treats (_|_ :: IO a) and (do _|_; return > ()) as interchangeable, which is naughty, and people have occasionally > noticed, but the benefits can sometimes be huge.
What's wrong with identifying them? You're not expecting the monad laws to hold, are you? _______________________________________________ Haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell
