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 324cf7a4..f1e73707 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 @@ -148,3 +148,25 @@ ;; should be: 0.0+nan.0i (/ (make-rectangular 1 +inf.0)) (/ (make-rectangular 1.0 +inf.0)) + +;; is: 1.0+0.0 +;; should be: +inf.0+0.0 +(+ + (exp 1.7976931348623151e+308) + 0.0+0.0i) + +;; is: 1.0+0.0i +;; should be: 1.0-0.0i +(conjugate 1.0+0.0i) + +;; is: +nan.0+nan.0i +;; should be: 1.0+1.0i +(* (expt 10 500) (expt 10 -500) 1.0+1.0i) + +;; is: +nan.0+1.0i +;; should be: 1.0+1.0i +(+ (expt 10 501) (expt -10 501) 1.0+1.0i) + +;; is: 0.0+0.0i +;; should be: -0.0-0.0i +(- (+ 0 0) 0.0+0.0i)