From a50913b597491c8ce5e2b590b7ff3d9f0195ace6 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 7 Sep 2010 16:49:13 -0400 Subject: [PATCH] Removed unsafe optimization on fixnums. original commit: ae88abd5c849b664e4720fb0ac20b29c684b2a2b --- collects/typed-scheme/optimizer/fixnum.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/optimizer/fixnum.rkt b/collects/typed-scheme/optimizer/fixnum.rkt index c62f3a3c..5aefac8f 100644 --- a/collects/typed-scheme/optimizer/fixnum.rkt +++ b/collects/typed-scheme/optimizer/fixnum.rkt @@ -36,7 +36,7 @@ ;; closed on fixnums, but 2nd argument must not be 0 (define-syntax-class nonzero-fixnum-binary-op #:commit - (pattern (~or (~literal quotient) (~literal fxquotient)) #:with unsafe #'unsafe-fxquotient) + ;; quotient is not closed. (quotient most-negative-fixnum -1) is not a fixnum (pattern (~or (~literal modulo) (~literal fxmodulo)) #:with unsafe #'unsafe-fxmodulo) (pattern (~or (~literal remainder) (~literal fxremainder)) #:with unsafe #'unsafe-fxremainder))