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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe