logo       
Google Custom Search
    AddThis Social Bookmark Button

Re: Re: ExtList / Enum updates: msg#00044

Subject: Re: Re: ExtList / Enum updates
> > Enum - added :
> >     val filter_map : ('a -> 'b option) -> 'a t -> 'b t
> >     val clone : 'a t -> 'a t
> 
> Is there a reason why Enum.filter is not implemented using Enum.from?
> 
> As in:
> 
> let filter f t =
>     let rec next () =
>         let x = t.next() in
>         if f x then x else next()
>     in
>     from next

Historical reasons. filter was defined before from.
I will update the sources, thanks for the report.

Nicolas Cannasse


-------------------------------------------------------
This SF.net email is sponsored by: ObjectStore.
If flattening out C++ or Java code to make your application fit in a
relational database is painful, don't do it! Check out ObjectStore.
Now part of Progress Software. http://www.objectstore.net/sourceforge



Try Searching:
servers, voip, java, networking, microsoft ...
<Prev in Thread] Current Thread [Next in Thread>