From: Nicolas C. <war...@fr...> - 2003-05-23 10:38:57
|
> > 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 |