From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: David Kastrup Newsgroups: gmane.lisp.guile.devel Subject: Re: Bug in documentation for eq? ? Date: Wed, 20 Jun 2012 17:25:03 +0200 Organization: Organization?!? Message-ID: <871ulaatv4.fsf@fencepost.gnu.org> References: <87vcimb70s.fsf@fencepost.gnu.org> <87oboe2qti.fsf@pobox.com> <87r4tab4m6.fsf@fencepost.gnu.org> <87k3z22kdf.fsf@pobox.com> <87ipemawip.fsf@fencepost.gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1340205933 17317 80.91.229.3 (20 Jun 2012 15:25:33 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 20 Jun 2012 15:25:33 +0000 (UTC) To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Jun 20 17:25:33 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ShMmh-000832-Mb for guile-devel@m.gmane.org; Wed, 20 Jun 2012 17:25:31 +0200 Original-Received: from localhost ([::1]:44498 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMmh-0003rQ-Fo for guile-devel@m.gmane.org; Wed, 20 Jun 2012 11:25:31 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:39870) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMmZ-0003qq-JG for guile-devel@gnu.org; Wed, 20 Jun 2012 11:25:29 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ShMmV-0001qQ-M8 for guile-devel@gnu.org; Wed, 20 Jun 2012 11:25:23 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:60666) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMmV-0001qD-Ep for guile-devel@gnu.org; Wed, 20 Jun 2012 11:25:19 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1ShMmR-0007Yp-AI for guile-devel@gnu.org; Wed, 20 Jun 2012 17:25:15 +0200 Original-Received: from p508eb018.dip.t-dialin.net ([80.142.176.24]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 20 Jun 2012 17:25:15 +0200 Original-Received: from dak by p508eb018.dip.t-dialin.net with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Wed, 20 Jun 2012 17:25:15 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 29 Original-X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: p508eb018.dip.t-dialin.net X-Face: 2FEFf>]>q>2iw=B6, xrUubRI>pR&Ml9=ao@P@i)L:\urd*t9M~y1^:+Y]'C0~{mAl`oQuAl \!3KEIp?*w`|bL5qr,H)LFO6Q=qx~iH4DN; i"; /yuIsqbLLCh/!U#X[S~(5eZ41to5f%E@'ELIi$t^ Vc\LWP@J5p^rst0+('>Er0=^1{]M9!p?&:\z]|;&=NP3AhB!B_bi^]Pfkw User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1.50 (gnu/linux) Cancel-Lock: sha1:HciPE0aoyeAdBxVK7u1oxGVrfxA= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:14655 Archived-At: Pierpaolo Bernardi writes: > On Wed, Jun 20, 2012 at 4:27 PM, David Kastrup wrote: >> Andy Wingo writes: >> >> If the Scheme standard states that >> >> (and (pair? x) (not (eq? (car x) (car x)))) >> >> can return #t in a conforming implementation, that means that the >> standard failed to do its job for weeding out implementations with >> unusable behavior. > > The standard did its job by defining eqv? > > Do a (define eq? eqv?) at the start of your programs and you have what > you are asking for. Except efficiency. It appears you are confused about what I am asking for. I am perfectly fine with the possibility (eq? 0 0) => #f I am not fine with the possibility (eq? (car x) (car x)) => #f But it is clear that there is no interest in providing sane invariants for Guile programmers, so we can just quit this absurdity. -- David Kastrup