Re: FW: Exceptions are too return values!

[Simon L Peyton Jones]

> Another question: Is "handle" strict in the following argument:
> 
>   handle :: (IOError -> IO a) -> IO a -> IO a
>                                     ^
> (meaning: will "handle f (return bottom)" be bottom?)

Good question.  No, it's not strict in that sense.

Simon