Bug: 0 * inf should be NaN, but if the 0 is exact it gives 0.

diff --git a/tests/runtime/test-arith.scm b/tests/runtime/test-arith.scm
index c3033b9c2fae92c9969f2a0a4173a56c8194a942..3d634288c17879f7da4ebfda021aba6432f3d9b0 100644 (file)
--- a/tests/runtime/test-arith.scm
+++ b/tests/runtime/test-arith.scm
@@ -126,6 +126,14 @@ USA.
   (vector (flo:-inf.0) -2. -1 -0. 0 +0. +1 +2. (flo:+inf.0))
   (lambda (v) (assert-nan (/ v (flo:nan.0)))))
 
+(define-enumerated-test 'inf*0-exact
+  (vector (list 0 (flo:+inf.0))
+          (list 0 (flo:-inf.0))
+          (list (flo:+inf.0) 0)
+          (list (flo:-inf.0) 0))
+  (lambda (l)
+    (expect-failure (lambda () (assert-nan (apply * l))))))
+
 (define-enumerated-test 'flo:ulp
   (vector
    (vector (flo:-inf.0) (flo:+inf.0))