[Ocaml-lib-devel] Re: Enum documentation and bug fix

[Alan P. <ap...@re...>]

In article <000701c336cf$1709bc30$2713f9ca@WARP>, Nicolas Cannasse wrote:
> I added the complete documention to Enum. (comments are welcome )
> While reading the documentation specification, I found a bug.
> Actually the iter2 , fold2 and others were not correct because of the
> following
> 
> f (t.next()) (u.next())
> 
> if t.next() was called and then u.next() was raising No_more_elements , we
> were loosing an element of t.

I think that the iter2 function only makes sense when used on two
enums of the same count.  I suggest simply documenting that the
behavior is undefined when used on two enums of differing counts.