search for: 0d3d9b2

Displaying 1 result from an estimated 1 matches for "0d3d9b2".

Did you mean: 06329b2
2014 Jan 22
1
[PATCH] builder: small code simplification
No actual behaviour changes, just remove extra match statements. --- builder/list_entries.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/builder/list_entries.ml b/builder/list_entries.ml index 742e43b..0d3d9b2 100644 --- a/builder/list_entries.ml +++ b/builder/list_entries.ml @@ -98,13 +98,11 @@ and list_entries_json ~sources index = | c -> String.make 1 c) done; !res in - let json_optional_printf_string key value = - match value with + let json_optional_printf_string key = fun...