[Haskell-cafe] Why is this strict in its arguments?
andrewcoppin at btinternet.com
Fri Dec 7 15:32:28 EST 2007
Ian Lynagh wrote:
> On Tue, Dec 04, 2007 at 03:07:01PM -0800, Ryan Ingram wrote:
>> Is there a reason why strictness is defined as
>>> f _|_ = _|_
>> instead of, for example,
>>> forall x :: Exception. f (throw x) = throw x
> There's discussion along these lines in
Gotta love bug reports where nobody is even sure what the "correct"
behaviour actually *is*... ;-)
More information about the Haskell-Cafe