[Haskell] strictness of putChar: report incomplete?

Ross Paterson ross at soi.city.ac.uk
Wed Oct 5 10:45:31 EDT 2005

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?

More information about the Haskell mailing list