From 58da9ff90f8671c80954380709ebeae2f39a65a4 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Sat, 9 Jun 2012 22:00:27 -0400 Subject: [PATCH] Fix typechecking of Single-Flonum-Complex literals. Closes PR12840. original commit: 442def0b0f87888fe7cb38c40e33df62f3de68e6 --- collects/typed-racket/typecheck/tc-expr-unit.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt index 53072de8..9bfdd4f1 100644 --- 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]