27 Dec
2007
27 Dec
'07
4:58 p.m.
Wolfgang Jeltsch wrote:
If x doesn't equal y, x == y is False, but if x equals y, x == y might be True or undefined.
apfelmus wrote:
x == y may be _|_ for the False case, too, depending on its implementation (like first comparing all list elements on even indices and then comparing all list elements on odd indices). But the standard == for lists has indeed the stated property.
[undefined] doesn't equal [1] but [undefined]==[1] is _|_, not False. -Yitz