7 Dec
2007
7 Dec
'07
3:32 p.m.
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 http://hackage.haskell.org/trac/ghc/ticket/1171
Gotta love bug reports where nobody is even sure what the "correct" behaviour actually *is*... ;-)