[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Marcin Borkowski
Subject: Re: Are two symbols `equal' iff they are `eq'?
Date: Sun, 09 Aug 2015 09:30:09 +0200

On 2015-08-09, at 07:16, Ian Zimmerman <address@hidden> 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
Faculty of Mathematics and Computer Science
Adam Mickiewicz University

reply via email to

[Prev in Thread] Current Thread [Next in Thread]