Re: length that yields Integer - Int is a WART

[Lennart Augustsson]

> > I need the length of a list and it should be of type Integer, while the
> > prelude function yields type Int.
> 
> This looks like a bug in the prelude to me.  It's not inconceivable
> that in some implementation it might be possible to have a list with
> length greater than the capacity of Int.  So length in the prelude
> ought to be Integral a => ...
That was indeed the original type of length, but it was changed
for efficiency reasons.  If you want the more general type use
the genericLength (et al) from the List module.

        -- Lennart

PS.  Hi Jon!