From 5713183a3a77abd7443914d0ac5bb9c337daa312 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 3 Mar 2017 14:14:48 +0100 Subject: [PATCH] remove dead code --- src/core/CCOpt.ml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/core/CCOpt.ml b/src/core/CCOpt.ml index c4874e35..85361b04 100644 --- a/src/core/CCOpt.ml +++ b/src/core/CCOpt.ml @@ -13,8 +13,6 @@ let map_or ~default f = function | None -> default | Some x -> f x -let maybe f default = map_or ~default f - let is_some = function | None -> false | Some _ -> true @@ -89,10 +87,6 @@ let fold f acc o = match o with | None -> acc | Some x -> f acc x -let get default x = match x with - | None -> default - | Some y -> y - let get_or ~default x = match x with | None -> default | Some y -> y