From: Marcin Borkowski <mbork@mbork.pl>
To: Help Gnu Emacs mailing list <help-gnu-emacs@gnu.org>
Subject: Re: Are two symbols `equal' iff they are `eq'?
Date: Sun, 09 Aug 2015 17:46:54 +0200 [thread overview]
Message-ID: <87oaig5us1.fsf@mbork.pl> (raw)
In-Reply-To: <512e2ad3-cc22-4500-8835-ee030b386689@default>
On 2015-08-09, at 17:28, Drew Adams <drew.adams@oracle.com> wrote:
>> As in the subject; neither the manual nor the docstring for `equal'
>> are very clear on this. (The docstring for `equal' says: "Symbols must
>> match exactly.", which -- I would guess -- means `eq', but I'm not
>> sure.)
>
> Yes. `equal' requires symbols to have the same name, value,
> function definition, and plist, and to be interned in the same
> obarray. They need to be the same Lisp object (a symbol).
>
> In sum: they need to be `eq'.
Do I get it right that for two symbols to be `eq' it is enough for them
to have the same name and to be interned in the same obarray?
> Emacs Lisp doesn't have a spec (just its code, and some doc).
> But this is what the Common Lisp spec says about `equal' for
> symbols:
>
> Returns true if x and y are structurally similar (isomorphic)
> objects. Objects are treated as follows by equal.
>
> * Symbols, Numbers, and Characters
> equal is true of two objects if they are symbols that are eq,
> ^^^^^^^^^^^^^^^^^^^
> if they are numbers that are eql, or if they are characters
> that are eql.
Thanks,
--
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University
next prev parent reply other threads:[~2015-08-09 15:46 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-09 0:20 Are two symbols `equal' iff they are `eq'? Marcin Borkowski
2015-08-09 1:52 ` Emanuel Berg
2015-08-09 7:44 ` Marcin Borkowski
2015-08-09 15:28 ` Drew Adams
2015-08-09 15:46 ` Marcin Borkowski [this message]
2015-08-09 16:38 ` Drew Adams
[not found] ` <mailman.8032.1439135226.904.help-gnu-emacs@gnu.org>
2015-08-09 15:59 ` Stefan Monnier
[not found] <mailman.7993.1439079676.904.help-gnu-emacs@gnu.org>
2015-08-09 0:31 ` Joost Kremers
2015-08-09 5:16 ` Ian Zimmerman
2015-08-09 7:30 ` Marcin Borkowski
2015-08-09 14:05 ` Michael Heerdegen
2015-08-09 15:10 ` Marcin Borkowski
2015-08-09 15:19 ` Eli Zaretskii
2015-08-09 15:45 ` Marcin Borkowski
2015-08-09 18:19 ` Eli Zaretskii
2015-08-09 19:41 ` Marcin Borkowski
2015-08-10 15:26 ` Nicolas Richard
[not found] ` <mailman.8007.1439097407.904.help-gnu-emacs@gnu.org>
2015-08-09 5:21 ` Rusi
2015-08-09 5:33 ` Ian Zimmerman
2015-08-09 7:42 ` Marcin Borkowski
2015-08-09 14:03 ` Michael Heerdegen
2015-08-09 14:42 ` Marcin Borkowski
2015-08-09 14:47 ` Michael Heerdegen
[not found] ` <mailman.8011.1439106166.904.help-gnu-emacs@gnu.org>
2015-08-09 15:38 ` Joost Kremers
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87oaig5us1.fsf@mbork.pl \
--to=mbork@mbork.pl \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.