Simon,

For some reason, I can't find the relevant messages about this,
but my recollection is that during the 1.1 revision (maybe earlier)
the Glaswegians discussed length and friends and recommended
that I do just what was done: making the result of length specifically
Int, but leaving take, drop, splitAt, (!!) (I think that's all of them)
as (Integral a) => ... .   The reason is that length alone manufactures
a number with a type that doesn't depend on an argument type, and thus
is possible trouble for overloading ambiguity.

--Joe


To: Joe Fasel <[EMAIL PROTECTED]>
Cc: haskell
Subject: take and drop
Date: Fri, 14 Feb 92 15:50:32 +0000
From: Simon L Peyton Jones <simonpj>
Sender: haskell-request

Joe

A prelude question:

        The function length returns an Int.

        Shouldn't take and drop take an Int?

Reply via email to