GNU logs - #31593, boring messages


Message sent to bug-guile@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#31593: Inconsistency with division of a real number by an integer
Resent-From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-guile@HIDDEN
Resent-Date: Fri, 25 May 2018 15:30:03 +0000
Resent-Message-ID: <handler.31593.B.152726219729980 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 31593
X-GNU-PR-Package: guile
X-GNU-PR-Keywords: 
To: 31593 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-guile@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.152726219729980
          (code B ref -1); Fri, 25 May 2018 15:30:03 +0000
Received: (at submit) by debbugs.gnu.org; 25 May 2018 15:29:57 +0000
Received: from localhost ([127.0.0.1]:48563 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1fMEfE-0007nU-QH
	for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:56 -0400
Received: from eggs.gnu.org ([208.118.235.92]:39615)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEfB-0007nG-8K
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:55 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf5-00076G-5t
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:47 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM,
 FROM_EXCESS_BASE64,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled
 version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:54464)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <tommi.hoynalanmaa@HIDDEN>)
 id 1fMEf5-000765-3A
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:47 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58819)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf4-0007qG-2k
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:46 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf3-00074p-BP
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:46 -0400
Received: from mail-it0-x235.google.com ([2607:f8b0:4001:c0b::235]:50974)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <tommi.hoynalanmaa@HIDDEN>)
 id 1fMEf3-000741-61
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:45 -0400
Received: by mail-it0-x235.google.com with SMTP id p3-v6so7297933itc.0
 for <bug-guile@HIDDEN>; Fri, 25 May 2018 08:29:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:from:date:message-id:subject:to;
 bh=vgYN6TZzruHhC0O5IzNRmxDzTN7Qp12KpHc5XIl9Eww=;
 b=X6RqZQhudsWsXe+t9wTYaWJYV5xszEiHoiSVVOQtXtiUYlyaoVGzNQjryMvuFE2uPU
 jzQPS1A3zPYi8FzatakmC512RsmlFOLALOhFaGBFRsoxMjW6WQBnyxPyYsioWBByq+hs
 28ypps5pPXAudCWSLSrd6qO6trH3wyKf1sLqed0ieYlOWm09hF4fgGYlPonoFnPw3fyH
 z7SLcx/FsQm9HSRxcPGex2zSgebfs+FcIcMUkkoLneQd7naSzp9i0eIvL9fELype17yq
 gyZxfYOvtQnN9h5WKNdqIOHYTHB87ZA4xffgjHrYvr/9EoIvWfRqXPT4Jvs6Wx4s8y66
 GnEg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
 bh=vgYN6TZzruHhC0O5IzNRmxDzTN7Qp12KpHc5XIl9Eww=;
 b=Z0h0Gx5IxTJaURgEPinL9b4/fT4V8c0gTP65U8EdNmjYJx50qtcMvCQkiPjvCYrx3e
 vmJZMzUVDffsWLWY/UyaufPmfh+wzaK0ZwkEFnk0ULYirYEuKA1QP2bhBgMsN5WGIAZd
 A2w/knJe+b5paBGaf5f6ohG9hFDK40uuqk6qpuTpd4OtaLvcakMmiOCfoBtnvi1ksDa5
 8xqSBq0eBQ9+LOdUucHyeZstEGjV2Dms5GX+DE5xDezwpkd6QnQPyXMi0qrh6Wz6nNG/
 TIcFmga4r/vTq1uE80Yy7UL7E1UDWocXLctZl/tomYEcv4V5BIDQHFawNsyxbCUmKwtb
 dEFA==
X-Gm-Message-State: ALKqPwe4m8Dzl6+c01up509NO+v6iXjZ8COi05IUcW6nTWRx2mAyvdf4
 05aCvcEioGXCbYcTnpiXUMQfLUk65C4KwwcRs+ze
X-Google-Smtp-Source: ADUXVKJfKiXMwx2qtovSS8Ex8Tr3XmPxqERXFDPVCqeljj+CjXSyrWZuTaja120KgfA6y0dj58LxcGugO/xRmlnp2yU=
X-Received: by 2002:a24:70d0:: with SMTP id
 f199-v6mr2549621itc.2.1527262183949; 
 Fri, 25 May 2018 08:29:43 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a02:9008:0:0:0:0:0 with HTTP; Fri, 25 May 2018 08:29:43
 -0700 (PDT)
From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Date: Fri, 25 May 2018 18:29:43 +0300
Message-ID: <CAAkPRiyAWfYLVCSx=DhTJMZfhvvnyH4Jb_CcNOKNPbnMckbmUQ@HIDDEN>
Content-Type: multipart/alternative; boundary="000000000000f40d00056d096fe0"
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -3.9 (---)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.9 (----)

--000000000000f40d00056d096fe0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

The following code causes a numerical overflow exception to be raised:

---cut here---
(define myproc
  (lambda arguments
    (apply / arguments)))

(display (myproc 5.5 0))
---cut-here---

However, expression (/ 5.5 0) returns +inf.0.
Obviously one of these is wrong.

I have checked this with Guile 2.2.3.

     - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa

--000000000000f40d00056d096fe0
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>The following code causes a numerical overflow except=
ion to be raised:</div><div><br></div><div>---cut here---<br></div><div>(de=
fine myproc<br>=C2=A0 (lambda arguments<br>=C2=A0=C2=A0=C2=A0 (apply / argu=
ments)))<br><br>(display (myproc 5.5 0))<br></div><div>---cut-here---</div>=
<div><br></div><div>However, expression (/ 5.5 0) returns +inf.0.</div><div=
>Obviously one of these is wrong.<br></div><div><br></div><div>I have check=
ed this with Guile 2.2.3.</div><div><br></div><div>=C2=A0=C2=A0=C2=A0=C2=A0=
 - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa</div><div><br></div></div>

--000000000000f40d00056d096fe0--




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= <tommi.hoynalanmaa@HIDDEN>
Subject: bug#31593: Acknowledgement (Inconsistency with division of a real
 number by an integer)
Message-ID: <handler.31593.B.152726219729980.ack <at> debbugs.gnu.org>
References: <CAAkPRiyAWfYLVCSx=DhTJMZfhvvnyH4Jb_CcNOKNPbnMckbmUQ@HIDDEN>
X-Gnu-PR-Message: ack 31593
X-Gnu-PR-Package: guile
Reply-To: 31593 <at> debbugs.gnu.org
Date: Fri, 25 May 2018 15:30:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-guile@HIDDEN

If you wish to submit further information on this problem, please
send it to 31593 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
31593: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D31593
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems



Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.