Re: text-property-any

[Stefan Monnier]

> The value of (text-property-any start end 'foo "bar") is always nil,
> because text-property-any in effect uses `eq' to check property values.
> Would there be bad consequences if it used `equal' instead?

There are places where code expects properties to be compared with
`eq', yes.  So we could add what you're requesting, but only as
an option.  E.g. add a "compare-function" option that can default to
`eq' but can be set to anything else you fancy.


        Stefan