From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?G=C3=B6ran?= Weinholt Newsgroups: gmane.lisp.guile.bugs Subject: bug#14879: fixnum-width, greatest-fixnum and least-fixnum disagree Date: Tue, 16 Jul 2013 16:02:55 +0200 Message-ID: <87ip0a61rk.fsf@industria.weinholt.se> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Trace: ger.gmane.org 1373984295 14092 80.91.229.3 (16 Jul 2013 14:18:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 16 Jul 2013 14:18:15 +0000 (UTC) To: 14879@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Tue Jul 16 16:18:15 2013 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Uz650-0005LP-Vb for guile-bugs@m.gmane.org; Tue, 16 Jul 2013 16:18:15 +0200 Original-Received: from localhost ([::1]:50064 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz650-0002P3-Eu for guile-bugs@m.gmane.org; Tue, 16 Jul 2013 10:18:14 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:60623) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64t-0002Os-V6 for bug-guile@gnu.org; Tue, 16 Jul 2013 10:18:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64p-0005d7-2w for bug-guile@gnu.org; Tue, 16 Jul 2013 10:18:07 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:35933) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64p-0005d3-0G for bug-guile@gnu.org; Tue, 16 Jul 2013 10:18:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Uz64o-0008UV-Iw for bug-guile@gnu.org; Tue, 16 Jul 2013 10:18:02 -0400 X-Loop: help-debbugs@gnu.org 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: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.137398427632616 (code B ref -1); Tue, 16 Jul 2013 14:18:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 16 Jul 2013 14:17:56 +0000 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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 Original-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==; Original-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 Original-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 User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7229 Archived-At: --=-=-= 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----- --=-=-=--