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

[Christian Maeder]

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