Re: [Ocaml-lib-devel] [Batteries] First patch: Option, LazyList

[Janne H. <jjh...@gm...>]

Hi David,

What kind of example uses did you have in mind for the Option additions?

Not sure if I agree that get_exn is too useful an addition.  If Not_found
for the (often erroneous) case of (Option.get None) is not generic enough,
couldn't you just match the option and throw the exception yourself:

match o with None -> raise your_exception | Some f -> f

What's the use case for Option.enum?

Janne

On Sun, May 18, 2008 at 9:29 PM, David Teller <Dav...@un...>
wrote:

>     Hi,
>
>  I've tried to send a patch a few weeks ago but, for some reason, it
> seems that this patch never reached the mailing-list.
>
>  I'm trying again to send a first patch. This patch involves
> * addition of two functions to module [Option]: [enum] (which allows
> enumerating the contents of an [Option.t]) and [get_exn] (a
> generalisation of [get])
> * two new modules, [LazyList] and [LazyListLabels], for Haskell-style
> lazy lists.
>
> I hope that the patch will reach you, this time. I'm waiting for
> feedback before contributing an improved [Enum] and a number of other
> modules.
>
> Cheers,
>  David
>
>
> --
> David Teller
>  Security of Distributed Systems
>  http://www.univ-orleans.fr/lifo/Members/David.Teller
>  Angry researcher: French Universities need reforms, but the LRU act brings
> liquidations.
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> _______________________________________________
> ocaml-lib-devel mailing list
> oca...@li...
> https://lists.sourceforge.net/lists/listinfo/ocaml-lib-devel
>
>