From 96eabe440c9870d1eb476cecd042e9abeac88898 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Sat, 1 Dec 2018 02:09:21 +0000 Subject: [PATCH] Use real:abs, real:copysign. These aren't guaranteed to be flonums here. Mixed-exactness complex numbers are pretty silly. --- src/runtime/arith.scm | 8 ++++---- tests/runtime/test-arith.scm | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm index 76aa51f88..160e6b7f6 100644 --- a/src/runtime/arith.scm +++ b/src/runtime/arith.scm @@ -2022,16 +2022,16 @@ USA. ;; Rotate from pi/2 to pi/4, or from -pi/2 to -pi/4, ;; or preserve NaN but keep real sign positive. (assert (or (real:infinite? y) (real:nan? y))) - (complex:%make-rectangular (flo:abs y) y)) + (complex:%make-rectangular (real:abs y) y)) ((and (real:infinite? x) (real:finite? y)) (if (real:negative? x) - (complex:%make-rectangular 0. (flo:copysign x y)) - (complex:%make-rectangular x (flo:copysign 0. y)))) + (complex:%make-rectangular 0. (real:copysign x y)) + (complex:%make-rectangular x (real:copysign 0. y)))) (else ;; Garbage in, garbage out. Try to preserve as much ;; NaNity as possible. (assert (or (real:nan? x) (real:nan? y))) - (complex:%make-rectangular (flo:abs x) y))))) + (complex:%make-rectangular (real:abs x) y))))) ((real:safe-negative? z) (complex:%make-rectangular 0 (x>=0 (real:negate z)))) (else diff --git a/tests/runtime/test-arith.scm b/tests/runtime/test-arith.scm index 025c5d4b6..f8a5cb6c9 100644 --- a/tests/runtime/test-arith.scm +++ b/tests/runtime/test-arith.scm @@ -765,17 +765,17 @@ USA. (+inf.0+0.i +inf.0+0.i) (+inf.0+0i +inf.0+0i) (-inf.0+1.i 0.+inf.0i) - (-inf.0+1i 0.+inf.0i ,expect-error) + (-inf.0+1i 0.+inf.0i) (+inf.0+1.i +inf.0+0.i) - (+inf.0+1i +inf.0+0.i ,expect-error) + (+inf.0+1i +inf.0+0.i) (-inf.0-0.i 0.-inf.0i) (-inf.0-0i 0+inf.0i) ;no exact signed zero (+inf.0-0.i +inf.0-0.i) (+inf.0-0i +inf.0-0i) (-inf.0-1.i 0.-inf.0i) - (-inf.0-1i 0.-inf.0i ,expect-error) + (-inf.0-1i 0.-inf.0i) (+inf.0-1.i +inf.0-0.i) - (+inf.0-1i +inf.0-0.i ,expect-error) + (+inf.0-1i +inf.0-0.i) (-inf.0i +inf.0-inf.0i) (+inf.0i +inf.0+inf.0i) (+0.-inf.0i +inf.0-inf.0i) -- 2.25.1