On Thu, Jun 16, 2011 at 10:53 AM, David Matthews <[email protected]> wrote: > I've fixed a bug that Grant Passmore reported where the > IEEEReal.setRoundingMode settings weren't working on X86. I've written a > small regression test for this particular case but it would be nice to test > Poly/ML's real numbers more completely. I'm not that familiar with real > number arithmetic and even less so with the rather arcane areas of IEEE > reals. Is there anyone who could provide some more tests for this part of > Poly/ML? It may be that there are some tests available in another language > that could be adapted, perhaps as a student project.
David, There are a few Real<*> and IEEEReal regression tests from MLton's suite: http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/regression/?rev=HEAD The two that specifically use IEEEReal.setRoundingMode are "ieee-real.sml" and "real-str.sml"; but, I'm afraid that they are no more extensive than the test that you wrote. -Matthew _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
