Re: [Ocaml-lib-devel] List

[Brian H. <bh...@sp...>]

On Sun, 2 Oct 2005, Bill Wood wrote:

> (Hi, it's me again :-)  Is there a compelling reason why map2, iter2,
> fold_left2, fold_right2, for_all2, exists2 and combine require their two
> list arguments to be of the same length?  Analogous functions in Common
> Lisp, Haskell and SML (zip vs zipEq) don't make that restriction.

That was the behavior of those functions in the standard library. 
Basically, the contact was that the code should behave identically, just 
faster.  I.e. if the standard library threw a given exception in a given 
case, ExtLib would throw the exact same exception.  This allows ExtLib to 
be a drop-in replacement for the standard library.

Brian