From: blue s. <blu...@gm...> - 2008-08-30 15:54:09
|
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. |