From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Pierpaolo Bernardi Newsgroups: gmane.lisp.guile.devel Subject: Re: Bug in documentation for eq? ? Date: Wed, 20 Jun 2012 16:56:08 +0200 Message-ID: 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; charset=UTF-8 X-Trace: dough.gmane.org 1340204199 1848 80.91.229.3 (20 Jun 2012 14:56:39 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 20 Jun 2012 14:56:39 +0000 (UTC) Cc: Andy Wingo , guile-devel@gnu.org To: David Kastrup Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Jun 20 16:56:38 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 1ShMKf-0005H1-5x for guile-devel@m.gmane.org; Wed, 20 Jun 2012 16:56:33 +0200 Original-Received: from localhost ([::1]:58292 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMKf-0004iz-77 for guile-devel@m.gmane.org; Wed, 20 Jun 2012 10:56:33 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:34061) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMKY-0004gN-13 for guile-devel@gnu.org; Wed, 20 Jun 2012 10:56:31 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ShMKR-00017e-TU for guile-devel@gnu.org; Wed, 20 Jun 2012 10:56:25 -0400 Original-Received: from mail-bk0-f41.google.com ([209.85.214.41]:53127) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ShMKK-00015E-4x; Wed, 20 Jun 2012 10:56:12 -0400 Original-Received: by bkcjm19 with SMTP id jm19so7433104bkc.0 for ; Wed, 20 Jun 2012 07:56:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=D//HlXSUgru8FFo1IddOeWZDA7i63kt6sP7j3v9hbec=; b=sxZITfI+YMhlmvjR/IfxudDDVhePEoz4m3SGdaW2D2OF2c6JdGYFJzP2Vl++tDLJ/7 0nxJls+Yt32JPo5DcdQ2H/XdtePtRO9A0DyaP7iMHfq/ZQF30nKktkT4/lraWwff28AH XMWVMiVFX+ZtFyWde2feouwH6u+wtElSEoD7LO9NkNlq34N07uXao/syk8t1jUQpKew1 NcWvgt0zJul4RvyEYUTH9BIntG5h6KR/2GdlTFMYFbHQNVWYXo3uG8YsTeDRQORYQK8e 2frs64RNmSbiQ7dA7HE8YSwUDZShBQor6SQlwJ2oKmJHLukTGZ5fhuwNDZ+k7040ToBw 7S3g== Original-Received: by 10.204.141.9 with SMTP id k9mr9944651bku.138.1340204168532; Wed, 20 Jun 2012 07:56:08 -0700 (PDT) Original-Received: by 10.205.65.6 with HTTP; Wed, 20 Jun 2012 07:56:08 -0700 (PDT) In-Reply-To: <87ipemawip.fsf@fencepost.gnu.org> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 209.85.214.41 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:14652 Archived-At: 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.