5 Oct
2005
5 Oct
'05
2:45 p.m.
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?