On Mon, Sep 24, 2007 at 06:28:59PM +0200, apfelmus wrote: > > I mean, Haskell does not magically detect that the 32(64)-bit integer > (10 + length [11..]) :: Int is bigger than 10 :: Int .
That's partly because it's not true. There are arbitrarily large finite lists for which the equivalent is false, e.g. on a 32bit machine: Prelude> 10 + length (replicate maxBound 'a') -2147483639 Thanks Ian _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe