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

That bug has been fixed.

Browse Source
This commit is contained in:
Vincent St-Amour 2015-11-06 11:55:18 -06:00
parent f523fb1721
commit f2bb83b012
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
typed-racket-test/optimizer/known-bugs.rkt
View File

@ -46,13 +46,6 @@
(fail-check "Optimizer regression"))))]))
;; TODO add this as a test
;; type-before = Single-Flonum-Complex
;; type-after = Float-Complex
;; redex-check: <collects>/typed-racket-test/tr-random-testing.rkt:258
;; counterexample found after 499 attempts:
;(log (make-rectangular -inf.f -inf.f))
(define tests
(test-suite "Known bugs"