From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Aubrey Jaffer Newsgroups: gmane.lisp.guile.bugs Subject: bug in eqv? Date: Fri, 17 Mar 2006 22:42:55 -0500 (EST) Message-ID: <20060318034255.6DF6E1B77C9@home.voluntocracy.org> NNTP-Posting-Host: main.gmane.org X-Trace: sea.gmane.org 1142878770 16473 80.91.229.2 (20 Mar 2006 18:19:30 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Mon, 20 Mar 2006 18:19:30 +0000 (UTC) Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Mar 20 19:19:27 2006 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by ciao.gmane.org with esmtp (Exim 4.43) id 1FLOyH-0001xn-8c for guile-bugs@m.gmane.org; Mon, 20 Mar 2006 19:19:13 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FLOyG-0008JX-NN for guile-bugs@m.gmane.org; Mon, 20 Mar 2006 13:19:12 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FKSK1-0005V3-E4 for bug-guile@gnu.org; Fri, 17 Mar 2006 22:41:45 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FKSJz-0005Ur-L1 for bug-guile@gnu.org; Fri, 17 Mar 2006 22:41:44 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FKSJz-0005Uo-Dl for bug-guile@gnu.org; Fri, 17 Mar 2006 22:41:43 -0500 Original-Received: from [204.127.200.82] (helo=sccrmhc12.comcast.net) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FKSP0-0004KM-EW for bug-guile@gnu.org; Fri, 17 Mar 2006 22:46:54 -0500 Original-Received: from mail.voluntocracy.org (voluntocracy.org[24.147.9.238]) by comcast.net (sccrmhc12) with ESMTP id <20060318034130012007k6h2e>; Sat, 18 Mar 2006 03:41:35 +0000 Original-Received: from home.voluntocracy.org (aubrey.jaffer [192.168.1.252]) by mail.voluntocracy.org (Postfix) with ESMTP id 02E37343A1 for ; Fri, 17 Mar 2006 22:39:38 -0500 (EST) Original-Received: by home.voluntocracy.org (Postfix, from userid 500) id 6DF6E1B77C9; Fri, 17 Mar 2006 22:42:55 -0500 (EST) Original-To: bug-guile@gnu.org X-Mailman-Approved-At: Mon, 20 Mar 2006 13:19:06 -0500 X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:3216 Archived-At: bash-2.05b$ guile --version Guile 1.8.0 ... bash-2.05b$ guile guile> (= 0.0 -0.0) #t guile> (eqv? 0.0 -0.0) #f According to R5RS section "6.1 Equivalence predicates": The `eqv?' procedure returns #t if: * OBJ1 and OBJ2 are both numbers, are numerically equal (see `=', section *note Numbers::), and are either both exact or both inexact. Because (= 0.0 -0.0) is #t, (eqv? 0.0 -0.0) must be #t. _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile