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


It doesn't seem counterintuitive to me.  Just because you have
structure-forwarded their bodies does not mean that they are the same
object.  Furthermore, it is defined that symbols are EQUAL to each other
if and only if they are EQ, and it is impossible to make EQ return T
here since it is a deep part of the system that EQ works by straight
pointer-comparison without reading through the pointers.