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

Fix typechecking of Single-Flonum-Complex literals.

Browse Source 
Closes PR12840.
This commit is contained in:
Vincent St-Amour 2012-06-09 22:00:27 -04:00
parent 7191ef5c74
commit 442def0b0f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -69,7 +69,8 @@
-FloatComplex] -FloatComplex]
[(~var i (3d (conjoin number? (lambda (x) (and (single-flonum? (imag-part x)) [(~var i (3d (conjoin number? (lambda (x) (and (single-flonum? (imag-part x))
(single-flonum? (real-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 [(~var i (3d number?)) -Number] ; otherwise, Number
[i:str -String] [i:str -String]