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