diff --git a/collects/tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt b/collects/tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt index 76fbfbac..d2c0611a 100644 --- a/collects/tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt +++ b/collects/tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt @@ -1,11 +1,11 @@ #; ( TR missed opt: invalid-fxquotient.rkt 10:21 (quotient fixnum-min -1) -- out of fixnum range -#f +#t ) #lang typed/racket/base (define: fixnum-min : Nonpositive-Fixnum (assert (- (expt 2 30)) fixnum?)) (define: q : Natural (quotient fixnum-min -1)) ; this can't be optimized safely -(fixnum? q) ; should return #f +(= 1073741824 q)