Re: Using empty_string as the only "" string

[Andreas Schwab]

"Juanma Barranquero" <address@hidden> writes:

> The doc also says: "For other types (e.g., lists, vectors, strings),
> two arguments with the same contents or elements are not necessarily
> `eq' to each other: they are `eq' only if they are the same object,
> meaning that a change in the contents of one will be reflected by the
> same change in the contents of the other."
>
> So, as I said, it is an issue of object identity. I didn't say that
> the results above would be "wrong", only surprising, and a noticeable
> change in the current behaviour.

The key word in the documentation is "necessarily".  Since the objects we
talk about are immutable there is no conflict with the specification.

Andreas.

-- 
Andreas Schwab, SuSE Labs, address@hidden
SuSE Linux Products GmbH, Maxfeldstraße 5, 90409 Nürnberg, Germany
PGP key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."