On Fri, 2009-03-27 at 12:24 +0000, Chris Kuklewicz wrote:
> Jonathan Cast wrote:
> > Sure.  Which also points out that the original safeDiv wasn't actually
> > safe, since there's no guarantee of what evaluate will do with x and y.
> > (Actually, there's not much guarantee of what evaluate does anyway ---
> > just that any errors in e's definition get turned into exceptions by the
> > time evaluate e finishes running, or don't turn into exceptions at all).
> > 
> 
> That is not true if you mean "any errors" as "any and all errors".

No, that's not what I mean.  I just couldn't think of a good phrasing
for `errors that would prevent e from being evaluated to HNF'.  Which is
still a lousy phrasing.

jcc


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to