From c3c134780eaf4c13911490bb6ebf45d298a00232 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 9 Apr 2015 23:33:55 -0700 Subject: [PATCH] Cleanup fx shifts. --- typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt index 21d01641..6d2fba01 100644 --- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt @@ -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)