From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Kevin Ryde Newsgroups: gmane.lisp.guile.bugs Subject: Re: bug in eqv? Date: Sat, 25 Mar 2006 08:56:43 +1100 Message-ID: <87zmjf4ick.fsf@zip.com.au> References: <20060318034255.6DF6E1B77C9@home.voluntocracy.org> <87mzfkd36j.fsf@zip.com.au> <87acbjs6d3.fsf@minimini.mvo.home> <20060324001753.623721B77C9@home.voluntocracy.org> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: sea.gmane.org 1143237441 28169 80.91.229.2 (24 Mar 2006 21:57:21 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 24 Mar 2006 21:57:21 +0000 (UTC) Cc: Aubrey Jaffer Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Mar 24 22:57:17 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 1FMuHM-0003iV-LU for guile-bugs@m.gmane.org; Fri, 24 Mar 2006 22:57:09 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FMuHM-0003eW-4D for guile-bugs@m.gmane.org; Fri, 24 Mar 2006 16:57:08 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1FMuHG-0003db-9Y for bug-guile@gnu.org; Fri, 24 Mar 2006 16:57:02 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1FMuHC-0003dO-Pq for bug-guile@gnu.org; Fri, 24 Mar 2006 16:57:01 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1FMuHC-0003dL-Mr for bug-guile@gnu.org; Fri, 24 Mar 2006 16:56:58 -0500 Original-Received: from [61.8.0.115] (helo=mailout2.pacific.net.au) by monty-python.gnu.org with esmtp (Exim 4.52) id 1FMuI6-0000Is-KV for bug-guile@gnu.org; Fri, 24 Mar 2006 16:57:54 -0500 Original-Received: from mailproxy2.pacific.net.au (mailproxy2.pacific.net.au [61.8.0.87]) by mailout2.pacific.net.au (Postfix) with ESMTP id F07636E4AB; Sat, 25 Mar 2006 08:56:52 +1100 (EST) Original-Received: from localhost (ppp2822.dyn.pacific.net.au [61.8.40.34]) by mailproxy2.pacific.net.au (8.13.4/8.13.4/Debian-3) with ESMTP id k2OLuprc006176; Sat, 25 Mar 2006 08:56:51 +1100 Original-Received: from gg by localhost with local (Exim 3.36 #1 (Debian)) id 1FMuGy-000210-00; Sat, 25 Mar 2006 08:56:44 +1100 Original-To: bug-guile@gnu.org In-Reply-To: <20060324001753.623721B77C9@home.voluntocracy.org> (Aubrey Jaffer's message of "Thu, 23 Mar 2006 19:17:53 -0500 (EST)") User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) 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:3221 Archived-At: Aubrey Jaffer writes: > > SRFI-77 is the most preliminary of proposals, and guaranteed to be > withdrawn. Yep. Seems to me the idea of base r5rs is reasonably clear (not crystal clear, but near enough) that eqv? is the same as = on numbers. Keeps the heirarchy of comparisons clean too. > -- library procedure: equal? obj1 obj2 > `Equal?' recursively compares the contents of pairs, vectors, and > strings, applying `eqv?' on other objects such as numbers and > symbols. A rule of thumb is that objects are generally `equal?' > if they print the same. `Equal?' may fail to terminate if its > arguments are circular data structures. > > If -0.0 and 0.0 print differently, then there is no support for > (equal? -0.0 0.0) ==> #t. I would read it that equal? is supposed to be the same as eqv? on numbers, and the bit about printing is only an aid to understanding the recursion (and not a terribly helpful one really). _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile