On 25 Aug, Lennart Augustsson wrote:
> 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.
My belief is that this is a mistake - it's the wrong way round - the
standard prelude ought to have the 'proper' version. The proof would
seem to be that either the compiler can detect that it's safe to use
Int in most cases, in which case we could use the 'proper' version in
the standard prelude, or it's hard to show that it's safe, in which
case the programmer ought to have to think before using the Int
version.
> PS. Hi Jon!
Hej Lennart!
--
Jon Fairbairn [EMAIL PROTECTED]
18 Kimberley Road [EMAIL PROTECTED]
Cambridge CB4 1HH +44 1223 570179 (pm only, please)
