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

Cleanup fx shifts.

Browse Source
This commit is contained in:
Eric Dobson 2015-04-09 23:33:55 -07:00
parent 3c978d82cb
commit c3c134780e
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
View File

@ -394,8 +394,7 @@
(define fxlshift-type
(lambda ()
(fx-from-cases
(map (lambda (x) (-> x -Zero x))
(list -Zero -One -PosByte -Byte -PosIndex -Index))
(-> -Int -Zero -Fixnum : -true-filter : (-arg-path 0))
(-> -PosInt -Int -PosFixnum) ; negative 2nd arg errors, so we can't reach 0
(-> -Nat -Int -NonNegFixnum)
(-> -NegInt -Int -NegFixnum)
@ -404,8 +403,7 @@
(define fxrshift-type
(lambda ()
(fx-from-cases
(map (lambda (x) (-> x -Zero x))
(list -Zero -One -PosByte -Byte -PosIndex -Index))
(-> -Int -Zero -Fixnum : -true-filter : (-arg-path 0))
(-> -Nat -Int -NonNegFixnum) ; can reach 0
(-> -NegInt -Int -NegFixnum) ; can't reach 0
(-> -NonPosInt -Int -NonPosFixnum)