Re: [Haskell-cafe] foldr1 min [(maxBound::Int)%1,1 % 2]

On Wed, 13 Apr 2005, Bo Herlin wrote:

Hi

How come

...

foldr1 min [(maxBound::Int) % 1,1 % 2] 2147483647 % 1

I guess that foldr1 min == minimum

but

...

foldr1 min [2147483647 % 1,1 % 2] 1 % 2

Why???

The first one certainly causes an overflow with machine word Ints whereas 2147483647 is an Integer and thus all other numbers are interpreted as Integers.