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

Fix type names.

Browse Source 
original commit: 4ba3f1a6ddde6a69cd110435a0294136eb7efd13
This commit is contained in:
Vincent St-Amour 2011-03-17 13:29:06 -04:00
parent 5a35d4ea66
commit 8040ee8831
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 -NonNegFixnum (*Un -PosFixnum -Zero))
(define -NegFixnum
(make-Base 'Negative-Fixnum-Not-Index
(make-Base 'Negative-Fixnum
#'(and/c fixnum? negative?)
(conjoin portable-fixnum? negative?)
#'-NegFixnum))
@ -205,7 +205,7 @@
;; Thus, the only possible kinds of complex numbers are:
;; Real/Real, Flonum/Flonum, SingleFlonum/SingleFlonum
(define -ExactNumberNotReal
(make-Base 'Complex-Not-Real
(make-Base 'Exact-Number-Not-Real
#'(and/c number?
(not/c real?)
(lambda (x) (exact? (imag-part x))))