On Thu, Jun 16, 2011 at 10:53 AM, David Matthews David.Matthews@prolingua.co.uk 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