[MLton] ML/Lisp/Scheme, =, eq?, eqv?, equal?
Mon, 23 Feb 2004 19:15:50 -0500
On Feb 23, 2004, at 5:03 PM, Henry Cejtin wrote:
> I don't know if you are aware of it, but the standard for SML before
> the 97
> version did have real an equality type. You can look at
> to see the justifiction for the change, which reading it, seems to be
> much what I mentioned.
Thanks. From this I infer that IEEE arithmetic = doesn't do what ML =
wants, so it was renamed to Real.==; I don't see a justification for
not defining a different = that works with floating-point numbers that
does what ML expects.
So maybe it's not something deep, perhaps it was just overlooked.