benchmarking Poly/ML & floating point

[Stephen Weeks]

> So, here's a quick little case I put together to check the changes I made
> to the translations of Real_{ne,e,qe}qual:
...

Looks good.  I'll add it to the regressions.

> So MLton and/or SML/NJ and/or the Basis Library spec are wrong.  SML/NJ
> doesn't follow the requirement that Real.!= is equivalent to not o Real.==.

I'd send this in as a bug report to SML/NJ and/or Reppy.

> On the other hand, as a friend of mine remarked, is it even true that 
> not o Real.== is equivalent to the IEEE ?<> operator?

I don't know IEEE enough to know.  Maybe you can ask Reppy directly.