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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
