On Tue, 11 Apr 2023 07:48:45 GMT, Jens Lidestrom wrote:
>> enumeration(list) will create an enumeration, a list and an iterator whereas
>> the impl only requires an iterator
>> this PR drops the enumeration wrapper for binary constructor and just maps
>> the enumeration to an iterator for the o
On Mon, 19 Dec 2022 11:26:25 GMT, Romain Manni-Bucau wrote:
> enumeration(list) will create an enumeration, a list and an iterator whereas
> the impl only requires an iterator
> this PR drops the enumeration wrapper for binary constructor and just maps
> the enumeration to an iter
enumeration(list) will create an enumeration, a list and an iterator whereas
the impl only requires an iterator
this PR drops the enumeration wrapper for binary constructor and just maps the
enumeration to an iterator for the other case which should be a better
compromise in practise.
Another s
