Semantics of ==

[Terry Reedy]

"Axel Boldt" <axelboldt at yahoo.com> wrote in message
news:40200384.0403250532.3c8b6e6a at posting.google.com...
> Well, it's precisely the point: the definition of list equality given
> in the language reference is circular, but the implementation of ==
> clearly is not, so the two don't coincide.

Is this different from the general fact that the language definition allows
unbounded nesting, recursion, lengths, and sizes, while particular
implementations do not?

Actually, a bit more doc on implementation limits in general would not
hurt, but some might be a bit difficult to pin down or are system specific.

Terry J. Reedy