> > Take and drop
> > [..]
> > I can see three alternatives:
> >
> > (A) Make them defined for any n. If n < 0, do something reasonable:
> > take: give empty list
> > drop: give whole list
> >
> > (B) Make them defined for n > length xs, but fail for n < 0.
> >
> > (C) Status quo
> >
> > PROPOSAL: Use alternative (A)
>
> I vote for (B).
Ditto, though I would say that the restriction is that the
argument should be a natural number, and its simply a
failing of the type system that it cannot express this.
--
J�n Fairbairn [EMAIL PROTECTED]
18 Kimberley Road [EMAIL PROTECTED]
Cambridge CB4 1HH +44 1223 570179 (pm only, please)