From: Alan P. <ap...@re...> - 2003-05-23 10:21:39
|
In article <014501c320d5$657a69b0$2713f9ca@WARP>, Nicolas Cannasse wrote: > > 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 |