On 2008-03-13, Adrian Hey [EMAIL PROTECTED] wrote:
Hello All,
I'm top posting because I'm getting bored and frustrated with this
thread and I don't want to respond detail to everything Aaron has said
below.
Aaron: Where are you getting this equivalence stuff from?
Not from the prose in the
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
