27 Mar
2009
27 Mar
'09
9:42 a.m.
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