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

Imaginaries can't be inexact complexes.

Browse Source 
original commit: bce003fa1813b309382d6af01090f3cb5b9f84d5
This commit is contained in:
Vincent St-Amour 2010-08-03 13:53:46 -04:00
parent 6e1c0a9ca5
commit f51d1e640d
1 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/typed-scheme/types/abbrev.rkt
View File

@ -154,13 +154,17 @@
;; Numeric hierarchy
(define -Number (make-Base 'Number #'number?))
;; a complex number can't have an inexact imaginary part and an exact real part
(define -InexactComplex (make-Base 'InexactComplex #'(and/c number? (lambda (x) (inexact-real? (imag-part x))))))
(define -InexactComplex (make-Base 'InexactComplex
#'(and/c number?
(lambda (x)
(and (inexact-real? (imag-part x))
(inexact-real? (real-part x)))))))
(define -Flonum (make-Base 'Flonum #'inexact-real?))
(define -NonnegativeFlonum (make-Base 'Nonnegative-Flonum #'(and/c inexact-real?
(or/c positive? zero?)
(lambda (x) (not (eq? x -0.0))))))
(define -NonnegativeFlonum (make-Base 'Nonnegative-Flonum
#'(and/c inexact-real?
(or/c positive? zero?)
(lambda (x) (not (eq? x -0.0))))))
(define -ExactRational
(make-Base 'Exact-Rational #'(and/c number? rational? exact?)))