From 84d010b5672c5745badbbaee7dc760b8275bcf22 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 15 May 2008 18:59:53 +0000 Subject: [PATCH] fix r6rs fixnum-width svn: r9856 --- collects/rnrs/arithmetic/fixnums-6.ss | 2 +- collects/tests/r6rs/arithmetic/fixnums.ss | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/rnrs/arithmetic/fixnums-6.ss b/collects/rnrs/arithmetic/fixnums-6.ss index 129352d389..fc18f106b2 100644 --- a/collects/rnrs/arithmetic/fixnums-6.ss +++ b/collects/rnrs/arithmetic/fixnums-6.ss @@ -25,7 +25,7 @@ (define 64-bit? (fixnum? (expt 2 33))) -(define (fixnum-width) (if 64-bit? 62 30)) +(define (fixnum-width) (if 64-bit? 63 31)) (define (least-fixnum) (if 64-bit? (- (expt 2 62)) -1073741824)) (define (greatest-fixnum) (if 64-bit? (- (expt 2 62) 1) +1073741823)) diff --git a/collects/tests/r6rs/arithmetic/fixnums.ss b/collects/tests/r6rs/arithmetic/fixnums.ss index 32dc95e515..f1632ca0e0 100644 --- a/collects/tests/r6rs/arithmetic/fixnums.ss +++ b/collects/tests/r6rs/arithmetic/fixnums.ss @@ -51,6 +51,9 @@ ;; ---------------------------------------- + (test (least-fixnum) (- (expt 2 (- (fixnum-width) 1)))) + (test (greatest-fixnum) (- (expt 2 (- (fixnum-width) 1)) 1)) + (test (fixnum? 1.0) #f) (test (fixnum? 1+1i) #f)