diff --git a/typed-racket-test/optimizer/known-bugs.rkt b/typed-racket-test/optimizer/known-bugs.rkt index 72af51c3..0eb75b1b 100644 --- a/typed-racket-test/optimizer/known-bugs.rkt +++ b/typed-racket-test/optimizer/known-bugs.rkt @@ -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: /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"