benchmarking Poly/ML & floating point

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 11 Sep 2000 18:02:03 -0400 (EDT)


> But after your mail, I gather that you can do qequal with one test, and if so,
> then the right thing to do is to leave qequal as a primitive, and to make
> mlton-lib.h do the right thing for Real_qequal.

It's really too bad that your emails arrive just as I'm finishing the last
paragraph on mine. ;)