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

Fixed typechecking of imaginaries.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-08-03 15:07:24 -04:00
parent e9687b5cf6
commit dbdbaed506
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-scheme/typecheck/tc-expr-unit.rkt
View File

@ -49,7 +49,8 @@
[(~var i (3d inexact-real?)) -Flonum] [(~var i (3d inexact-real?)) -Flonum]
[(~var i (3d real?)) -Real] [(~var i (3d real?)) -Real]
;; a complex number can't have an inexact imaginary part and an exact real part ;; a complex number can't have an inexact imaginary part and an exact real part
[(~var i (3d (conjoin number? (lambda (x) (inexact-real? (imag-part x)))))) [(~var i (3d (conjoin number? (lambda (x) (and (inexact-real? (imag-part x))
(inexact-real? (real-part x)))))))
-InexactComplex] -InexactComplex]
[(~var i (3d number?)) -Number] [(~var i (3d number?)) -Number]
[i:str -String] [i:str -String]