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

Christian Maeder Christian.Maeder at dfki.de
Thu Mar 13 08:08:45 EDT 2008


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


More information about the Haskell-Cafe mailing list