From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: bil@ccrma.Stanford.EDU Newsgroups: gmane.lisp.guile.bugs Subject: bug#30426: division inconsistency? Date: Sun, 11 Feb 2018 14:56:54 -0800 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1518390797 26426 195.159.176.226 (11 Feb 2018 23:13:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 11 Feb 2018 23:13:17 +0000 (UTC) User-Agent: Roundcube Webmail/1.0.12 To: 30426@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Feb 12 00:13:13 2018 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1el0o2-0006Rf-GT for guile-bugs@m.gmane.org; Mon, 12 Feb 2018 00:13:10 +0100 Original-Received: from localhost ([::1]:39379 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1el0q4-0000Xi-1L for guile-bugs@m.gmane.org; Sun, 11 Feb 2018 18:15:16 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46735) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1el0pu-0000Wf-FA for bug-guile@gnu.org; Sun, 11 Feb 2018 18:15:09 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1el0pr-00089F-5N for bug-guile@gnu.org; Sun, 11 Feb 2018 18:15:06 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:59054) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1el0pr-000893-0t for bug-guile@gnu.org; Sun, 11 Feb 2018 18:15:03 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1el0pq-0003os-P2 for bug-guile@gnu.org; Sun, 11 Feb 2018 18:15:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: bil@ccrma.Stanford.EDU Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sun, 11 Feb 2018 23:15:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 30426 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.151839085214605 (code B ref -1); Sun, 11 Feb 2018 23:15:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 11 Feb 2018 23:14:12 +0000 Original-Received: from localhost ([127.0.0.1]:38718 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1el0p2-0003nV-JM for submit@debbugs.gnu.org; Sun, 11 Feb 2018 18:14:12 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:40929) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1el0ZA-0003Q0-4f for submit@debbugs.gnu.org; Sun, 11 Feb 2018 17:57:48 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1el0Yw-0004rB-1K for submit@debbugs.gnu.org; Sun, 11 Feb 2018 17:57:42 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:38334) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1el0Yv-0004qU-Kd for submit@debbugs.gnu.org; Sun, 11 Feb 2018 17:57:33 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59524) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1el0Yf-0000RG-UA for bug-guile@gnu.org; Sun, 11 Feb 2018 17:57:33 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1el0YN-0004Dx-Se for bug-guile@gnu.org; Sun, 11 Feb 2018 17:57:17 -0500 Original-Received: from mx0a-00000d04.pphosted.com ([148.163.149.245]:46786) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1el0YN-0004Aa-2h for bug-guile@gnu.org; Sun, 11 Feb 2018 17:56:59 -0500 Original-Received: from pps.filterd (m0102887.ppops.net [127.0.0.1]) by mx0a-00000d04.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1BMrAEk010139 for ; Sun, 11 Feb 2018 14:56:55 -0800 Original-Received: from mx0a-00000d03.pphosted.com (mx0a-00000d03.pphosted.com [148.163.149.244]) by mx0a-00000d04.pphosted.com with ESMTP id 2g2x0e8462-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sun, 11 Feb 2018 14:56:55 -0800 Original-Received: from pps.filterd (m0102880.ppops.net [127.0.0.1]) by mx0a-00000d03.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1BMtAIS005945 for ; Sun, 11 Feb 2018 14:56:55 -0800 Original-Received: from codegreen7.stanford.edu (codegreen7.stanford.edu [171.67.224.9]) by mx0a-00000d03.pphosted.com with ESMTP id 2g20e1w28r-1 (version=TLSv1 cipher=AES256-SHA bits=256 verify=NOT) for ; Sun, 11 Feb 2018 14:56:55 -0800 Original-Received: from codegreen7.stanford.edu (localhost.localdomain [127.0.0.1]) by codegreen7.stanford.edu (Postfix) with ESMTP id 7E19547 for ; Sun, 11 Feb 2018 14:56:45 -0800 (PST) Original-Received: from smtp.stanford.edu (smtp3.stanford.edu [171.67.219.83]) by codegreen7.stanford.edu (Postfix) with ESMTP id 7194247 for ; Sun, 11 Feb 2018 14:56:45 -0800 (PST) Original-Received: from cm-mail.stanford.edu (cm-mail.stanford.edu [171.64.197.135]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.stanford.edu (Postfix) with ESMTPS id CC1981A00C3 for ; Sun, 11 Feb 2018 14:56:54 -0800 (PST) Original-Received: from cm-mail.stanford.edu (cm-mail.stanford.edu [171.64.197.135]) (authenticated bits=0) by cm-mail.stanford.edu (8.14.4/8.14.4) with ESMTP id w1BMusdl022558 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Sun, 11 Feb 2018 14:56:54 -0800 X-Sender: bil@ccrma.stanford.edu x-proofpoint-stanford-dir: outbound X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-11_10:, , signatures=0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-11_10:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=1 phishscore=5 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=528 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1711220000 definitions=main-1802110302 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Mailman-Approved-At: Sun, 11 Feb 2018 18:14:11 -0500 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.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" Xref: news.gmane.org gmane.lisp.guile.bugs:9000 Archived-At: A possible inconsistency: scheme@(guile-user)> (version) $1 = "2.0.13" scheme@(guile-user)> (/ 1 (* 0 +nan.0)) $2 = +nan.0 scheme@(guile-user)> (/ 1 0 +nan.0) :3:0: In procedure #:3:0 ()>: :3:0: Throw to key `numerical-overflow' with args `("/" "Numerical overflow" #f #f) scheme@(guile-user)> (/ 1 +nan.0 0) :5:0: In procedure #:5:0 ()>: :5:0: Throw to key `numerical-overflow' with args `("/" "Numerical overflow" #f #f) scheme@(guile-user)> (* +nan.0 0) $1 = +nan.0 scheme@(guile-user)> (/ 1 +nan.0) $2 = +nan.0 similarly with +inf.0: scheme@(guile-user)> (/ 1 (* +inf.0 0)) $3 = +nan.0 scheme@(guile-user)> (/ 1 +inf.0 0) :6:0: In procedure #:6:0 ()>: :6:0: Throw to key `numerical-overflow' with args `("/" "Numerical overflow" #f #f)