From: Matthias Goergens Date: Thu, 17 Jun 2010 21:16:18 +0000 (+0100) Subject: in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming... X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=9d45893607dcd77b6cde985fee9e351fa74ddb6d;p=xcp%2Fxen-api-libs.git in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module. Signed-off-by: Matthias Goergens --- diff --git a/stdext/opt.ml b/stdext/opt.ml index 8c39fb1..bf63760 100644 --- a/stdext/opt.ml +++ b/stdext/opt.ml @@ -53,7 +53,7 @@ let fold_right f opt accu = | Some x -> f x accu | None -> accu -let cat_options a = List.map unbox (List.filter is_boxed a) +let cat_some a = List.map unbox (List.filter is_boxed a) let join = function | Some (Some a) -> Some a diff --git a/stdext/opt.mli b/stdext/opt.mli index fd3147c..e3db7aa 100644 --- a/stdext/opt.mli +++ b/stdext/opt.mli @@ -19,5 +19,5 @@ val is_boxed : 'a option -> bool val to_list : 'a option -> 'a list val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b option -> 'a val fold_right : ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b -val cat_options : 'a option list -> 'a list +val cat_some : 'a option list -> 'a list val join : ('a option) option -> 'a option