Re: Are two symbols `equal' iff they are `eq'?

[Marcin Borkowski]

On 2015-08-09, at 07:16, Ian Zimmerman <itz@buug.org> wrote:

> On 2015-08-09 00:31 +0000, Joost Kremers wrote:
>
>> Seems to me to be very clear: objects can be `equal` without being `eq`.
>> (But they cannot be `eq` if they're not `equal`.)
>
> Objects, yes.  But the OP has specifically asked about _symbols_.
>
> Sorry I don't have the answer.  It may be necessary to inspect the code.
> Why do you need to know, Marcin?

Curiosity?  Being sure that my code works as expected, or, IOW,
understanding it? ;-)

And inspecting the code didn't help me a lot - that was the second thing
I tried (the first being checking the docs), but I didn't understand
it.  It seems there's a case dispatch, but I didn't see the branch
responsible for symbols.

Thanks anyway,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University