From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Newsgroups: gmane.lisp.guile.bugs Subject: bug#14792: Error in manual "(guile-2) Object Properties" Date: Sat, 06 Jul 2013 23:21:19 +0200 Message-ID: <87wqp3mlkg.fsf@gnu.org> References: <87ehbedwxt.fsf@fencepost.gnu.org> <87siztarok.fsf@tines.lan> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1373145728 29458 80.91.229.3 (6 Jul 2013 21:22:08 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 6 Jul 2013 21:22:08 +0000 (UTC) Cc: 14792@debbugs.gnu.org, David Kastrup To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Sat Jul 06 23:22:08 2013 Return-path: Envelope-to: guile-bugs@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 1UvZvk-00031M-1Q for guile-bugs@m.gmane.org; Sat, 06 Jul 2013 23:22:08 +0200 Original-Received: from localhost ([::1]:32789 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UvZvj-00020N-BK for guile-bugs@m.gmane.org; Sat, 06 Jul 2013 17:22:07 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49061) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UvZvf-0001wf-P1 for bug-guile@gnu.org; Sat, 06 Jul 2013 17:22:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UvZve-00077k-9p for bug-guile@gnu.org; Sat, 06 Jul 2013 17:22:03 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:41189) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UvZve-00077g-5h for bug-guile@gnu.org; Sat, 06 Jul 2013 17:22:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1UvZvd-0006L5-SH for bug-guile@gnu.org; Sat, 06 Jul 2013 17:22:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sat, 06 Jul 2013 21:22:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 14792 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 14792-submit@debbugs.gnu.org id=B14792.137314568624308 (code B ref 14792); Sat, 06 Jul 2013 21:22:01 +0000 Original-Received: (at 14792) by debbugs.gnu.org; 6 Jul 2013 21:21:26 +0000 Original-Received: from localhost ([127.0.0.1]:35505 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UvZv3-0006Jx-Rj for submit@debbugs.gnu.org; Sat, 06 Jul 2013 17:21:26 -0400 Original-Received: from hera.aquilenet.fr ([141.255.128.1]:37758) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UvZv0-0006Jl-Q1 for 14792@debbugs.gnu.org; Sat, 06 Jul 2013 17:21:23 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 7B603F88; Sat, 6 Jul 2013 23:21:20 +0200 (CEST) Original-Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 3X7W4lOfzZZK; Sat, 6 Jul 2013 23:21:20 +0200 (CEST) Original-Received: from pluto (reverse-83.fdn.fr [80.67.176.83]) by hera.aquilenet.fr (Postfix) with ESMTPSA id F0CA7B37; Sat, 6 Jul 2013 23:21:19 +0200 (CEST) In-Reply-To: <87siztarok.fsf@tines.lan> (Mark H. Weaver's message of "Fri, 05 Jul 2013 12:37:47 -0400") User-Agent: Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org 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 Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7202 Archived-At: Mark H Weaver skribis: > David Kastrup writes: > >> The manual states in "Object Properties": >> >> A single object property created by `make-object-property' can >> associate distinct property values with all Scheme values that are >> distinguishable by `eq?' (including, for example, integers). >> >> Integers are not documented to be reliably distinguishable by eq? (which >> means that equal integers might not be eq). > > Indeed, good point! > > I think we should change object-properties to use 'eqv?' hash operations > instead of 'eq?'. The only advantage to 'eq?' is a marginal efficiency > benefit, but that's no doubt lost in the noise, not only from the hash > table operations but from the use of fat mutexes. > > The only functional difference between Guile's 'eq?' and 'eqv?' is that > 'eq?' is not reliable on numbers. Our manual has been telling people > for years that integers can be used as keys for object properties. > Therefore, we should make it so. IMO, anyway. > > What do other people think? Associating object properties with numbers doesn=E2=80=99t seem useful to m= e, so my inclination would be to fix the manual, FWIW. Ludo=E2=80=99.