GNU bug report logs - #14792
Error in manual "(guile-2) Object Properties"

Previous Next

Package: guile;

Reported by: David Kastrup <dak <at> gnu.org>

Date: Thu, 4 Jul 2013 18:05:02 UTC

Severity: normal

Tags: patch

Merged with 18223

Done: Mark H Weaver <mhw <at> netris.org>

Bug is archived. No further changes may be made.

Full log

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: David Kastrup <dak <at> gnu.org>
To: bug-guile <at> gnu.org
Subject: Error in manual "(guile-2) Object Properties"
Date: Thu, 04 Jul 2013 20:03:42 +0200

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).  So something seems wrong in
that description.  Either integer values can _not_ be given properties
reliably, or the above needs to specify "distinguishable by `eqv?'" or
whatever else may be the underlying reality.

-- 
David Kastrup
This bug report was last modified 10 years and 344 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.