Fix typechecking of Single-Flonum-Complex literals.

Closes PR12840. original commit: 442def0b0f87888fe7cb38c40e33df62f3de68e6
2012-06-09 22:00:27 -04:00 · 2012-06-09 22:00:27 -04:00 · 58da9ff90f
commit 58da9ff90f
parent 4e9783b436
1 changed files with 2 additions and 1 deletions
--- a/collects/typed-racket/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt
@ -69,7 +69,8 @@
       -FloatComplex]
      [(~var i (3d (conjoin number? (lambda (x) (and (single-flonum? (imag-part x))
                                                     (single-flonum? (real-part x)))))))
-       -InexactComplex]
+       -SingleFlonumComplex]
+      ;; can't have real and imaginary parts that are both inexact, but not the same precision
      [(~var i (3d number?)) -Number] ; otherwise, Number
      
      [i:str -String]