[MLton-devel] yeah, that did the trick

[Stephen Weeks]

> 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
equality.  

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.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel