From 4f5e10d7308dc040a65ba465c12cf7e04fcbbce5 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 29 Oct 2013 21:50:48 -0700 Subject: [PATCH] Add new known bug. --- .../tests/typed-racket/optimizer/known-bugs.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt index 17df6cffef..44b84db4b3 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt @@ -71,6 +71,9 @@ ;; Addition of multiple args should keep exact semantics for exact args (bad-opt (+ (expt 10 501) (expt -10 501) 1.0+1.0i)) + ;; Magnitude should not overflow unless necessary + (bad-opt (magnitude 3.0e300+4.0e300i)) + ;; Negation should correctly compute sign of 0.0 (bad-opt (- 0.0+0.0i)) (bad-opt (- 0+0i 0.0+0.0i))