[Haskell-cafe] Re: Some clarity please! (was Re: Re: (flawed?) benchmark : sort)

Adrian Hey wrote:

2 - It does matter, and the result is guaranteed to be the last maximum in all cases because: (x==y) = True implies max x y = y

This seems to be the case looking into GHC/Base.lhs max x y = if x <= y then y else x Christian