From unknown Mon Jun 23 07:50:47 2025 X-Loop: help-debbugs@gnu.org Subject: bug#14879: fixnum-width, greatest-fixnum and least-fixnum disagree Resent-From: =?UTF-8?Q?G=C3=B6ran?= Weinholt Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 16 Jul 2013 14:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 14879 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 14879@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.137398427632616 (code B ref -1); Tue, 16 Jul 2013 14:18:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 Jul 2013 14:17:56 +0000 Received: from localhost ([127.0.0.1]:58482 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64h-0008U0-Tz for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:56 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58800) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64g-0008Tk-7D for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64W-0005Xe-9K for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-100.0 required=5.0 tests=BAYES_40,T_DKIM_INVALID, USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49385) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64V-0005XK-VF for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:44 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60493) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64U-0002OV-GK for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64T-0005Wb-9Q for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:42 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:47812) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz5wf-00022N-60 for bug-guile@gnu.org; Tue, 16 Jul 2013 10:09:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=weinholt.se; s=iustitia2012; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=Upp2le4GrrvgfNwAN/bobXip4q+eVVZqvcqeeJPJlyk=; b=USejm5pmxHAekibblqiC1urrcdiyWfIXOiUi+trd4yGTWHXvDQ62x56aIKTW3FrSMosr8cmjLhUr8do2bOJWKVQgHQHRXXfoBKZKhtp7awwGMYDv+w1R+f7GdkqsfMynj32bmC6O2YpxDyl9c+1z5tT7bZTqmLKkQ9gU0vnn2EjdJXeuPkisRLXVI5LyZrlvgIBVHYZRIpBYOgBYJ/y6XuNmo91Qbd4f1esYjjbbzij+vA4r8GG3fXIwL0n6UQMrxkDDzLgHT8MUVPmvK8BqGa6tY0mrz5fctkj1rhanAWa31/h4sOnCrVUd75s5djQpM8a1ju8jwrf3P3ZQVR3sQw==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1Uz5wX-00007n-Gk; Tue, 16 Jul 2013 16:09:29 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1Uz5qK-0003Ub-VG; Tue, 16 Jul 2013 16:03:04 +0200 X-Hashcash: 1:20:130716:bug-guile@gnu.org::+aakUEq8zCMWlXoy:000000000000000000000000000000000000000000003uZq From: =?UTF-8?Q?G=C3=B6ran?= Weinholt Date: Tue, 16 Jul 2013 16:02:55 +0200 Message-ID: <87ip0a61rk.fsf@industria.weinholt.se> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.3 (---) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello schemers, scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (fixnum-width) $1 =3D 61 scheme@(guile-user)> (greatest-fixnum) $2 =3D 2305843009213693951 scheme@(guile-user)> (least-fixnum) $3 =3D -2305843009213693952 If the reported fixnum width is correct, then these should be the least and greatest fixnums: (- (expt 2 (- (fixnum-width) 1))) =3D> -1152921504606846976 (- (expt 2 (- (fixnum-width) 1)) 1) =3D> 1152921504606846975 If the reported least and greatest fixnums are correct, then the fixnum width is actually 62. Tested with 2.0.9.33-3bbca-dirty on an amd64 system. Regards, =2D-=20 G=C3=B6ran Weinholt 20 JUSTICE KENNEDY: That seems odd. I mean, 21 Microsoft doesn't say please buy our disk because it's 22 the prettiest disk in the business. --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR5VKPAAoJEOM+YaLpuMOiynAP/1k3dUXx8/SaON/E2Unt/dig mUcX8IWfCVVRQ9kMhfF3fDtPJ7tB8hjfFezOLqBVcg0xxeCOHTBWQiPUwSdTwrOJ NZgU3NU8YFRadOrTQvDrjg2ADPHyVyJ7zcqo18L9jwFLS8iFsoVEHgzxtvDknfHy uZX5pu4XyH/vhjW4PK8xnHtADiRvYwo17U1QEsiq7r5/pPrKDz72JnNSSO+cfo1E +MP1iU21K3l4eem/oFV8GDGUYIRHszhjIzR5mjkpPIswl4vsjjqX1qdurLKOrYAM /L5huvylI/ULr4hrhtPTYxxs3S1CbjXYvWN11fmsIT6B+z0URbMi0D6ymhPY4Ip1 XGuGhAv8ipfOQwFpFFl0udhU7CfD56A6+r3gkkEkD+8/i3KySIpnfVfYEdBuzE3q J5rFegNW3NeZVzYJqkXwy4bthImbHh2bv0bsjW15HiQX4u5JWKqKCIRhW9S2hSyy 7ltTsvea1xVHSKLcRDPzpyv/jjra9DGl5IY3gNuA3wLIqoBAlZNcXZofPtju+4LV SoPUAdwkZgzvVAU8b/Be3pppwu3F8sNR/SwNTpa8BNtYh9a66QZ5MsKMUZoRMpJx 0gPLT4/oUZfpFOVb4cDx6UlYYq1nUj+Ws/KsUC4ua9gUb00C2jQtEW3wT0G2BxvU A4UnrP04mAmOSAz2yBrj =w6SW -----END PGP SIGNATURE----- --=-=-=-- From unknown Mon Jun 23 07:50:47 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: =?UTF-8?Q?G=C3=B6ran?= Weinholt Subject: bug#14879: closed (Re: bug#14879: fixnum-width, greatest-fixnum and least-fixnum disagree) Message-ID: References: <87li5618tm.fsf@tines.lan> <87ip0a61rk.fsf@industria.weinholt.se> X-Gnu-PR-Message: they-closed 14879 X-Gnu-PR-Package: guile Reply-To: 14879@debbugs.gnu.org Date: Tue, 16 Jul 2013 21:43:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1374010982-32751-1" This is a multi-part message in MIME format... ------------=_1374010982-32751-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #14879: fixnum-width, greatest-fixnum and least-fixnum disagree which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 14879@debbugs.gnu.org. --=20 14879: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D14879 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1374010982-32751-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 14879-done) by debbugs.gnu.org; 16 Jul 2013 21:42:09 +0000 Received: from localhost ([127.0.0.1]:59148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UzD0a-0008UA-FZ for submit@debbugs.gnu.org; Tue, 16 Jul 2013 17:42:08 -0400 Received: from world.peace.net ([96.39.62.75]:54327 ident=hope4) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UzD0X-0008Ts-GO for 14879-done@debbugs.gnu.org; Tue, 16 Jul 2013 17:42:06 -0400 Received: from 209-6-120-240.c3-0.arl-ubr1.sbo-arl.ma.cable.rcn.com ([209.6.120.240] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1UzD0R-0003ez-31; Tue, 16 Jul 2013 17:41:59 -0400 From: Mark H Weaver To: =?utf-8?Q?G=C3=B6ran?= Weinholt Subject: Re: bug#14879: fixnum-width, greatest-fixnum and least-fixnum disagree References: <87ip0a61rk.fsf@industria.weinholt.se> Date: Tue, 16 Jul 2013 17:41:41 -0400 In-Reply-To: <87ip0a61rk.fsf@industria.weinholt.se> (=?utf-8?Q?=22G=C3=B6r?= =?utf-8?Q?an?= Weinholt"'s message of "Tue, 16 Jul 2013 16:02:55 +0200") Message-ID: <87li5618tm.fsf@tines.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 14879-done Cc: 14879-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) G=C3=B6ran Weinholt writes: > scheme@(guile-user)> (import (rnrs)) > scheme@(guile-user)> (fixnum-width) > $1 =3D 61 > scheme@(guile-user)> (greatest-fixnum) > $2 =3D 2305843009213693951 > scheme@(guile-user)> (least-fixnum) > $3 =3D -2305843009213693952 > > If the reported fixnum width is correct, then these should be the least > and greatest fixnums: > > (- (expt 2 (- (fixnum-width) 1))) =3D> -1152921504606846976 > (- (expt 2 (- (fixnum-width) 1)) 1) =3D> 1152921504606846975 > > If the reported least and greatest fixnums are correct, then the fixnum > width is actually 62. That's correct. Fixed in 06903786211afd9a554b8f009a37111f729607ee. Thanks! Mark ------------=_1374010982-32751-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 16 Jul 2013 14:17:56 +0000 Received: from localhost ([127.0.0.1]:58482 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64h-0008U0-Tz for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:56 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58800) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64g-0008Tk-7D for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64W-0005Xe-9K for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-100.0 required=5.0 tests=BAYES_40,T_DKIM_INVALID, USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49385) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64V-0005XK-VF for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:44 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60493) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64U-0002OV-GK for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64T-0005Wb-9Q for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:42 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:47812) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz5wf-00022N-60 for bug-guile@gnu.org; Tue, 16 Jul 2013 10:09:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=weinholt.se; s=iustitia2012; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=Upp2le4GrrvgfNwAN/bobXip4q+eVVZqvcqeeJPJlyk=; b=USejm5pmxHAekibblqiC1urrcdiyWfIXOiUi+trd4yGTWHXvDQ62x56aIKTW3FrSMosr8cmjLhUr8do2bOJWKVQgHQHRXXfoBKZKhtp7awwGMYDv+w1R+f7GdkqsfMynj32bmC6O2YpxDyl9c+1z5tT7bZTqmLKkQ9gU0vnn2EjdJXeuPkisRLXVI5LyZrlvgIBVHYZRIpBYOgBYJ/y6XuNmo91Qbd4f1esYjjbbzij+vA4r8GG3fXIwL0n6UQMrxkDDzLgHT8MUVPmvK8BqGa6tY0mrz5fctkj1rhanAWa31/h4sOnCrVUd75s5djQpM8a1ju8jwrf3P3ZQVR3sQw==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1Uz5wX-00007n-Gk; Tue, 16 Jul 2013 16:09:29 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1Uz5qK-0003Ub-VG; Tue, 16 Jul 2013 16:03:04 +0200 X-Hashcash: 1:20:130716:bug-guile@gnu.org::+aakUEq8zCMWlXoy:000000000000000000000000000000000000000000003uZq From: =?utf-8?Q?G=C3=B6ran?= Weinholt To: bug-guile@gnu.org Subject: fixnum-width, greatest-fixnum and least-fixnum disagree Date: Tue, 16 Jul 2013 16:02:55 +0200 Message-ID: <87ip0a61rk.fsf@industria.weinholt.se> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello schemers, scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (fixnum-width) $1 =3D 61 scheme@(guile-user)> (greatest-fixnum) $2 =3D 2305843009213693951 scheme@(guile-user)> (least-fixnum) $3 =3D -2305843009213693952 If the reported fixnum width is correct, then these should be the least and greatest fixnums: (- (expt 2 (- (fixnum-width) 1))) =3D> -1152921504606846976 (- (expt 2 (- (fixnum-width) 1)) 1) =3D> 1152921504606846975 If the reported least and greatest fixnums are correct, then the fixnum width is actually 62. Tested with 2.0.9.33-3bbca-dirty on an amd64 system. Regards, =2D-=20 G=C3=B6ran Weinholt 20 JUSTICE KENNEDY: That seems odd. I mean, 21 Microsoft doesn't say please buy our disk because it's 22 the prettiest disk in the business. --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR5VKPAAoJEOM+YaLpuMOiynAP/1k3dUXx8/SaON/E2Unt/dig mUcX8IWfCVVRQ9kMhfF3fDtPJ7tB8hjfFezOLqBVcg0xxeCOHTBWQiPUwSdTwrOJ NZgU3NU8YFRadOrTQvDrjg2ADPHyVyJ7zcqo18L9jwFLS8iFsoVEHgzxtvDknfHy uZX5pu4XyH/vhjW4PK8xnHtADiRvYwo17U1QEsiq7r5/pPrKDz72JnNSSO+cfo1E +MP1iU21K3l4eem/oFV8GDGUYIRHszhjIzR5mjkpPIswl4vsjjqX1qdurLKOrYAM /L5huvylI/ULr4hrhtPTYxxs3S1CbjXYvWN11fmsIT6B+z0URbMi0D6ymhPY4Ip1 XGuGhAv8ipfOQwFpFFl0udhU7CfD56A6+r3gkkEkD+8/i3KySIpnfVfYEdBuzE3q J5rFegNW3NeZVzYJqkXwy4bthImbHh2bv0bsjW15HiQX4u5JWKqKCIRhW9S2hSyy 7ltTsvea1xVHSKLcRDPzpyv/jjra9DGl5IY3gNuA3wLIqoBAlZNcXZofPtju+4LV SoPUAdwkZgzvVAU8b/Be3pppwu3F8sNR/SwNTpa8BNtYh9a66QZ5MsKMUZoRMpJx 0gPLT4/oUZfpFOVb4cDx6UlYYq1nUj+Ws/KsUC4ua9gUb00C2jQtEW3wT0G2BxvU A4UnrP04mAmOSAz2yBrj =w6SW -----END PGP SIGNATURE----- --=-=-=-- ------------=_1374010982-32751-1--