<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 3, 2015 at 4:29 AM, Edi Weitz <span dir="ltr"><<a href="mailto:edi@weitz.de" target="_blank">edi@weitz.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span>On Fri, Jul 3, 2015 at 10:21 AM, Kenneth Tilton <<a href="mailto:ken@tiltontec.com" target="_blank">ken@tiltontec.com</a>> wrote:<br>
> EQ, as you adroitly demonstrated, worries about all sorts of things,<br>
> including a symbol's package.<br>
<br>
</span>Which is part of what has me confused.  Up until now I would have said<br>
that the "problem" of EQ is that it doesn't worry about _enough_<br>
things.  (EQ 3/4 3/4) is NIL because EQ doesn't bother to look "into"<br>
the numbers (as EQL does) but just superficially checks their "pointer<br>
identity".  And for symbols that's not the case?  Hmmm...<br>
<br>
</blockquote></div><div class="gmail_extra"><br></div><div class="gmail_extra"><cough> OK, I myself was at the wrong level of abstraction: EQ is not worrying about anything other than pointer identity. It is the behavior of intern and unintern that arranges for two symbols with the same name to be distinct objects if their packages vary.</div><div class="gmail_extra"><br></div><div class="gmail_extra">-kt</div><div><br></div>-- <br><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr">Kenneth Tilton</div><div dir="ltr">54 Isle of Venice Dr<br><div>Fort Lauderdale, FL 33301</div><div><br></div><div><a href="mailto:ken@tiltontec.com" target="_blank">ken@tiltontec.com</a></div><div><a href="http://tiltontec.com" target="_blank">http://tiltontec.com</a><br></div><div><span style="font-size:12.8000001907349px">@tiltonsalgebra</span><br></div><div><br></div><div><a href="tel:646-269-1077" value="+16462691077" target="_blank">646-269-1077</a></div><div><br></div><div>"In a class by itself." <i>-Macworld</i></div><div><br></div><div><br></div></div></div></div></div></div>
</div></div>