From 7c8cb9a476c68da12bb73475cbe6464a215f73ff Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 29 Jan 2013 16:15:00 -0500 Subject: [PATCH] Fix test for invalid fixnum quotient optimization. The test depended on fixnum width, which is not portable. original commit: 5efaa004f0541b5562400be822bfdeb6f89aa9bc --- .../tests/typed-racket/optimizer/tests/invalid-fxquotient.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)