[Haskell] strictness of putChar: report incomplete?
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