summaryrefslogtreecommitdiff
path: root/test-suite/tests
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2013-07-16 04:43:07 -0400
committerMark H Weaver <mhw@netris.org>2013-07-16 04:43:07 -0400
commitad922d065c5f8b01c4ace3ee34d26300409e44fa (patch)
tree77966124c9f5c5eaec6af0c7b5faee4a90f8803f /test-suite/tests
parent85b32d43e63bd2939ce3706f44a50f153ba01a46 (diff)
downloadguile-ad922d065c5f8b01c4ace3ee34d26300409e44fa.tar.gz
Flonum operations always return flonums.
Fixes <http://bugs.gnu.org/14871>. Reported by Göran Weinholt <goran@weinholt.se>. * module/rnrs/arithmetic/flonums.scm (ensure-flonum): New procedure. (fllog): Rewrite using case-lambda. Handle negative zeroes. Use 'ensure-flonum'. (flatan): Rewrite using case-lambda. (flasin, flacos, flsqrt, flexpt): Use 'ensure-flonum'. * test-suite/tests/r6rs-arithmetic-flonums.test (fllog, flasin, flacos, flsqrt, flexpt): Add tests.
Diffstat (limited to 'test-suite/tests')
-rw-r--r--test-suite/tests/r6rs-arithmetic-flonums.test27
1 files changed, 19 insertions, 8 deletions
diff --git a/test-suite/tests/r6rs-arithmetic-flonums.test b/test-suite/tests/r6rs-arithmetic-flonums.test
index 0be504f5f..3df00b247 100644
--- a/test-suite/tests/r6rs-arithmetic-flonums.test
+++ b/test-suite/tests/r6rs-arithmetic-flonums.test
@@ -256,14 +256,18 @@
(with-test-prefix "fllog"
(pass-if "unary fllog returns natural log"
- (let ((l (fllog 2.718281828459045)))
- (and (fl<=? 0.9 l) (fl>=? 1.1 l))))
+ (reasonably-close? (fllog 2.718281828459045) 1.0))
(pass-if "infinities"
(and (fl=? (fllog +inf.0) +inf.0)
(flnan? (fllog -inf.0))))
- (pass-if "zeroes" (fl=? (fllog 0.0) -inf.0))
+ (pass-if "negative argument"
+ (flnan? (fllog -1.0)))
+
+ (pass-if "zero" (fl=? (fllog 0.0) -inf.0))
+ (pass-if "negative zero" (fl=? (fllog -0.0) -inf.0))
+ (pass-if "negative zero with base" (fl=? (fllog -0.0 0.5) +inf.0))
(pass-if "binary fllog returns log in specified base"
(fl=? (fllog 8.0 2.0) 3.0)))
@@ -285,12 +289,16 @@
(with-test-prefix "flasin"
(pass-if "simple"
(and (reasonably-close? (flasin 1.0) (/ fake-pi 2))
- (reasonably-close? (flasin 0.5) (/ fake-pi 6)))))
+ (reasonably-close? (flasin 0.5) (/ fake-pi 6))))
+ (pass-if "out of range"
+ (flnan? (flasin 2.0))))
(with-test-prefix "flacos"
(pass-if "simple"
(and (fl=? (flacos 1.0) 0.0)
- (reasonably-close? (flacos 0.5) (/ fake-pi 3)))))
+ (reasonably-close? (flacos 0.5) (/ fake-pi 3))))
+ (pass-if "out of range"
+ (flnan? (flacos 2.0))))
(with-test-prefix "flatan"
(pass-if "unary flatan"
@@ -306,12 +314,15 @@
(with-test-prefix "flsqrt"
(pass-if "simple" (fl=? (flsqrt 4.0) 2.0))
-
+ (pass-if "negative" (flnan? (flsqrt -1.0)))
(pass-if "infinity" (fl=? (flsqrt +inf.0) +inf.0))
-
(pass-if "negative zero" (fl=? (flsqrt -0.0) -0.0)))
-(with-test-prefix "flexpt" (pass-if "simple" (fl=? (flexpt 2.0 3.0) 8.0)))
+(with-test-prefix "flexpt"
+ (pass-if "simple" (fl=? (flexpt 2.0 3.0) 8.0))
+ (pass-if "negative squared" (fl=? (flexpt -2.0 2.0) 4.0))
+ (pass-if "negative cubed" (fl=? (flexpt -2.0 3.0) -8.0))
+ (pass-if "negative to non-integer power" (flnan? (flexpt -2.0 2.5))))
(with-test-prefix "fixnum->flonum"
(pass-if "simple" (fl=? (fixnum->flonum 100) 100.0)))