suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Document another TR optimizer bug found via random testing.

Browse Source
This commit is contained in:
Vincent St-Amour 2014-11-06 13:47:27 -05:00
parent ec6bb1b8c0
commit 547d52fe27
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/known-bugs.rkt
View File

@ -74,6 +74,7 @@
;; Division of complex 0 should only make part of the result nan ;; Division of complex 0 should only make part of the result nan
(good-opt (/ 0.0+0.0i)) (good-opt (/ 0.0+0.0i))
(bad-opt (/ 1 0.0+0.0i)) (bad-opt (/ 1 0.0+0.0i))
(bad-opt (/ 1.5 -3.0+9.8e-324i))
;; Division of complex infinity should only make part of the result nan ;; Division of complex infinity should only make part of the result nan
(good-opt (/ (make-rectangular 1.0 +inf.0))) (good-opt (/ (make-rectangular 1.0 +inf.0)))