From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.bugs Subject: Re: test_9 (0.0/0.0, "+nan.0") fails on OpenBSD and FreeBSD Date: Wed, 08 Sep 2004 16:31:26 +0200 Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Message-ID: References: <1FA65A58-018A-11D9-A535-000D93673682@gmx.net> NNTP-Posting-Host: deer.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: sea.gmane.org 1094653956 2799 80.91.224.253 (8 Sep 2004 14:32:36 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 8 Sep 2004 14:32:36 +0000 (UTC) Cc: bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Sep 08 16:32:25 2004 Return-path: Original-Received: from lists.gnu.org ([199.232.76.165]) by deer.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 1C53Un-0003jd-00 for ; Wed, 08 Sep 2004 16:32:25 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C53a4-0007aA-6S for guile-bugs@m.gmane.org; Wed, 08 Sep 2004 10:37:52 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.33) id 1C53a1-0007Zu-99 for bug-guile@gnu.org; Wed, 08 Sep 2004 10:37:49 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.33) id 1C53Zz-0007Zi-LR for bug-guile@gnu.org; Wed, 08 Sep 2004 10:37:48 -0400 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.33) id 1C53Zy-0007Ze-Pz for bug-guile@gnu.org; Wed, 08 Sep 2004 10:37:47 -0400 Original-Received: from [129.217.163.1] (helo=mail.dt.e-technik.uni-dortmund.de) by monty-python.gnu.org with esmtp (Exim 4.34) id 1C53Tv-0004fn-J9 for bug-guile@gnu.org; Wed, 08 Sep 2004 10:31:31 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by mail.dt.e-technik.uni-dortmund.de (Postfix) with ESMTP id 6D07E38FEA; Wed, 8 Sep 2004 16:31:29 +0200 (CEST) Original-Received: from mail.dt.e-technik.uni-dortmund.de ([127.0.0.1]) by localhost (krusty [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 27834-01; Wed, 8 Sep 2004 16:31:29 +0200 (CEST) Original-Received: from troy.dt.e-technik.uni-dortmund.de (troy.dt.e-technik.uni-dortmund.de [129.217.163.17]) by mail.dt.e-technik.uni-dortmund.de (Postfix) with ESMTP id 490F438656; Wed, 8 Sep 2004 16:31:27 +0200 (CEST) Original-Received: by troy.dt.e-technik.uni-dortmund.de (Postfix, from userid 520) id 6E1E8B9AB; Wed, 8 Sep 2004 16:31:26 +0200 (CEST) Original-To: =?iso-8859-1?q?Andreas_V=F6gele?= In-Reply-To: <1FA65A58-018A-11D9-A535-000D93673682@gmx.net> (Andreas =?iso-8859-1?q?V=F6gele's?= message of "Wed, 8 Sep 2004 13:27:53 +0200") User-Agent: Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) X-Virus-Scanned: by amavisd-new at dt.e-technik.uni-dortmund.de 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: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.bugs:1662 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.bugs:1662 Andreas V=F6gele writes: > The problem is that NaN may be negative or positive on these > systems. The function real_eqv in libguile/eq.c, which uses memcmp > to compares doubles, doesn't take this into account. Hmm. Another stance on this is that real_eqv does in fact take this into account and correctly distinguishes between different NaNs. Guile pretends that there is only one NaN, but that isn't true. There are all kinds of IEEE NaNs and why should 'eqv?' pretend they are all the same? The bug would be in the test case then. It should use 'nan?' to check for NaNs. But we then also need to print different NaNs differently and be able to read them... But the simplest thing is to apply your patch. I have done so. PS: the problem also appears on GNU/Linux with GCC 3.4. _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile