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

Add new known bug.

Browse Source 
original commit: 7c945d36c06589cf93e68c6f633c50749cb7efa4
This commit is contained in:
Eric Dobson 2014-01-12 13:20:25 -08:00
parent 24eac377cd
commit 9ae20f77b8
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

@ -63,6 +63,7 @@
(good-opt (- (* (/ 6 11) (/ 1.2345678f0 123456.7f0)) (make-rectangular 0.0 0.3)))
(bad-opt (/ 1.0 0.0+0.0i))
(good-opt (+ 0.0+0.0i (* 1 1 +inf.0)))
(bad-opt (* 1.0f-30 1.0f-30 1.0e60+1.0e60i))
;; Unary division has bad underflow
(bad-opt (/ (make-rectangular 1e+100 1e-300)))