7 Dec
2007
7 Dec
'07
3:49 p.m.
On Fri, 7 Dec 2007, Andrew Coppin wrote:
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
Errors and exceptions are two very different concepts.