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

Re: comaptibility in STRING usage

It seems to me that the rule generally stated by naive users, while
not always correct, is a good guide to intuition when extending
EQUAL: "two things are EQUAL if they print the same".  Inasmuch as
"Foo" and "fOO" do *not* print the same, I would therefore argue
that they not be EQUAL.