[MLton-devel] yeah, that did the trick

Stephen Weeks MLton@mlton.org
Mon, 16 Sep 2002 14:15:07 -0700

> This is a bit scary.  What are the semantics supposed to be for infinite
> reals under comparison.  I.e., I am assuming that
> 	Math.pow (3.0, 1000000.0)
> is infinite, but isn't bit-identical to Real.posInf.  Is it allowed for
> the Real.== to return false?

I don't think so.  The basis library spec defines == in terms of IEEE

Note, there is a comment in math.sml (which we got from Moscow ML or
the ML Kit) right next to test 12n that says

	 (* not in basis lib spec.*)

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list