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

Fix type names.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-03-17 13:29:06 -04:00
parent 3ebe9e78f9
commit 4ba3f1a6dd
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/types/numeric-tower.rkt
View File

@ -72,7 +72,7 @@
(define -PosFixnum (*Un -PosFixnumNotIndex -PosIndex)) (define -PosFixnum (*Un -PosFixnumNotIndex -PosIndex))
(define -NonNegFixnum (*Un -PosFixnum -Zero)) (define -NonNegFixnum (*Un -PosFixnum -Zero))
(define -NegFixnum (define -NegFixnum
(make-Base 'Negative-Fixnum-Not-Index (make-Base 'Negative-Fixnum
#'(and/c fixnum? negative?) #'(and/c fixnum? negative?)
(conjoin portable-fixnum? negative?) (conjoin portable-fixnum? negative?)
#'-NegFixnum)) #'-NegFixnum))
@ -205,7 +205,7 @@
;; Thus, the only possible kinds of complex numbers are: ;; Thus, the only possible kinds of complex numbers are:
;; Real/Real, Flonum/Flonum, SingleFlonum/SingleFlonum ;; Real/Real, Flonum/Flonum, SingleFlonum/SingleFlonum
(define -ExactNumberNotReal (define -ExactNumberNotReal
(make-Base 'Complex-Not-Real (make-Base 'Exact-Number-Not-Real
#'(and/c number? #'(and/c number?
(not/c real?) (not/c real?)
(lambda (x) (exact? (imag-part x)))) (lambda (x) (exact? (imag-part x))))