From unknown Sun Jun 15 08:27:24 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#16356 <16356@debbugs.gnu.org> To: bug#16356 <16356@debbugs.gnu.org> Subject: Status: doc out of date about (integer? +inf.0) Reply-To: bug#16356 <16356@debbugs.gnu.org> Date: Sun, 15 Jun 2025 15:27:24 +0000 retitle 16356 doc out of date about (integer? +inf.0) reassign 16356 guile submitter 16356 Zefram severity 16356 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Sun Jan 05 18:44:21 2014 Received: (at submit) by debbugs.gnu.org; 5 Jan 2014 23:44:21 +0000 Received: from localhost ([127.0.0.1]:37197 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VzxMi-0004yh-Of for submit@debbugs.gnu.org; Sun, 05 Jan 2014 18:44:21 -0500 Received: from eggs.gnu.org ([208.118.235.92]:44598) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Vzwb8-0003aH-Sp for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:11 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwb0-00087D-6n for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:10 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:60590) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwb0-000879-4K for submit@debbugs.gnu.org; Sun, 05 Jan 2014 17:55:02 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:46294) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwat-0003CW-Pv for bug-guile@gnu.org; Sun, 05 Jan 2014 17:55:01 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Vzwak-00082g-Vk for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:55 -0500 Received: from river.fysh.org ([5.135.154.127]:53092) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Vzwak-00081I-Po for bug-guile@gnu.org; Sun, 05 Jan 2014 17:54:46 -0500 Received: from zefram by river.fysh.org with local (Exim 4.80 #2 (Debian)) id 1VzwaZ-0008Tl-Gd; Sun, 05 Jan 2014 22:54:35 +0000 Date: Sun, 5 Jan 2014 22:54:35 +0000 From: Zefram To: bug-guile@gnu.org Subject: doc out of date about (integer? +inf.0) Message-ID: <20140105225435.GA30283@fysh.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x 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: -4.0 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sun, 05 Jan 2014 18:44:18 -0500 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: -4.0 (----) The "Integers" node of the guile info document contains this gem (source in doc/ref/api-data.texi): (integer? +inf.0) => #t Actual guile-2.0.9 behaviour: scheme@(guile-user)> (integer? +inf.0) $16 = #f The doc example matches the behaviour of guile-1.8, which classifies +inf.0 and -inf.0 as integers, and +nan.0 as rational but not integer. guile-2.0 follows R6RS in treating all three of these values as real but not rational, and the "Reals and Rationals" node describes this accurately. Debian incarnation of this bug report: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734323 Mathematically, infinities are not real, and NaN is, as the acronym says, not a number. The documentation could perhaps do with a note about the difference between mathematical terminology and Scheme terminology. I was rather surprised to find any discrepancy, as Scheme's numerical tower stands out among programming languages as being uniquely accurate in its use of mathematical terms. Scheme's concept of "real" more closely corresponds to the mathematical concept of "hyperreal", which includes infinities, although NaN doesn't fit. Scheme's "complex" is similarly extended relative to the mathematical complex numbers, but the mathematical term "hypercomplex" unfortunately refers to something quite different (quaternions and the like). -zefram From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 08 22:58:58 2014 Received: (at 16356-done) by debbugs.gnu.org; 9 Jan 2014 03:58:58 +0000 Received: from localhost ([127.0.0.1]:43375 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W16ll-00038r-Gc for submit@debbugs.gnu.org; Wed, 08 Jan 2014 22:58:57 -0500 Received: from world.peace.net ([96.39.62.75]:41091) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W16lj-00038h-76 for 16356-done@debbugs.gnu.org; Wed, 08 Jan 2014 22:58:55 -0500 Received: from 209-6-197-194.c3-0.smr-ubr2.sbo-smr.ma.cable.rcn.com ([209.6.197.194] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1W16lY-00011L-I6; Wed, 08 Jan 2014 22:58:44 -0500 From: Mark H Weaver To: Zefram Subject: Re: bug#16356: doc out of date about (integer? +inf.0) References: <20140105225435.GA30283@fysh.org> Date: Wed, 08 Jan 2014 22:56:44 -0500 In-Reply-To: <20140105225435.GA30283@fysh.org> (zefram@fysh.org's message of "Sun, 5 Jan 2014 22:54:35 +0000") Message-ID: <87mwj5x0xv.fsf@netris.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 16356-done Cc: 16356-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 (/) Zefram writes: > The "Integers" node of the guile info document contains this gem (source > in doc/ref/api-data.texi): > > (integer? +inf.0) > => #t > > Actual guile-2.0.9 behaviour: > > scheme@(guile-user)> (integer? +inf.0) > $16 = #f Fixed in f659df44954a7f182361395396c5e0340b08c7dd on the stable-2.0 branch, which will become Guile 2.0.10. Thanks! Mark From unknown Sun Jun 15 08:27:24 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 06 Feb 2014 12:24:03 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator