diff --git a/collects/typed-scheme/types/numeric-predicates.rkt b/collects/typed-scheme/types/numeric-predicates.rkt index a99590fe..4224f3e3 100644 --- a/collects/typed-scheme/types/numeric-predicates.rkt +++ b/collects/typed-scheme/types/numeric-predicates.rkt @@ -9,7 +9,6 @@ ;; we assume indexes are 2 bits shorter than fixnums ;; We're generating a reference to fixnum? rather than calling it, so ;; we're safe from fixnum size issues on different platforms. -(define (index? x) - (and (fixnum? x) (unsafe-fx>= x 0) (fixnum? (unsafe-fx* x 4)))) +(define (index? x) (and (fixnum? x) (unsafe-fx>= x 0) (fixnum? (* x 4)))) (define exact-rational? (conjoin rational? exact?))