Re: Patch submission: Improved Enum

I began to split the Enum improvement into smaller patches. This is
still a work-in-progress (and quite time-consuming).

Those patches only introduce new function, with no modifications of
existing code.

# take and drop related patches
http://bluestorm.info/tmp/extlib/patches/added_function_take.patch
http://bluestorm.info/tmp/extlib/patches/added_function_drop.patch
http://bluestorm.info/tmp/extlib/patches/added_function_takewhile.patch

(no drop_while yet, as it relies on the hooks-adding functions)

# predicates related patches
http://bluestorm.info/tmp/extlib/patches/added_functions_exists_forall.patch
http://bluestorm.info/tmp/extlib/patches/change_exists_forall.patch

# folding related patch
http://bluestorm.info/tmp/extlib/patches/added_functions_scan_scanl.patch

# unfolding related patches
http://bluestorm.info/tmp/extlib/patches/added_function_unfold.patch
http://bluestorm.info/tmp/extlib/patches/added_function_seq.patch
http://bluestorm.info/tmp/extlib/patches/added_function_fromwhile.patch

You will perhaps notice that the from_loop function of Yoric's patch
has been dropped.
I choosed to do so because it was extending the use of the
No_more_elements exception to an additional (and not crucially
important) function of the API.
If that is not a problem (i'm not sure what the reasons of this
restriction are), i may submit a patch with from_loop.

Feel free to create a new thread to comment a specific patch. They
were created in the order i gave, but are usually not dependent on
each other (except for the change_* one, and from_while wich depends
on unfold). I worked with a tiny local darcs repository, wich make it
easy to cherrypick changes; if anyone is interested i could upload the
darcs repository somewhere.

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/