Remove Reserr.concat_map

It wasn't used and its implementation was not particularly clever
n-osborne · Oct 2, 2024 · d8fe270 · d8fe270
1 parent 1e0631b
commit d8fe270
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/plugins/qcheck-stm/src/reserr.ml b/plugins/qcheck-stm/src/reserr.ml
@@ -337,4 +337,3 @@ let rec fold_left (f : 'a -> 'b -> 'a reserr) (acc : 'a) : 'b list -> 'a reserr
 
 let of_option ~default = Option.fold ~none:(error default) ~some:ok
 let to_option = function Ok x, _ -> Some x | _ -> None
-let concat_map f l = fmap List.concat (promote_map f l)
diff --git a/plugins/qcheck-stm/src/reserr.mli b/plugins/qcheck-stm/src/reserr.mli
@@ -77,7 +77,6 @@ val promote_opt : 'a reserr -> 'a option reserr
 val fold_left : ('a -> 'b -> 'a reserr) -> 'a -> 'b list -> 'a reserr
 val of_option : default:W.t -> 'a option -> 'a reserr
 val to_option : 'a reserr -> 'a option
-val concat_map : ('a -> 'b list reserr) -> 'a list -> 'b list reserr
 val fmap : ('a -> 'b) -> 'a reserr -> 'b reserr
 val ( <$> ) : ('a -> 'b) -> 'a reserr -> 'b reserr
 val app : ('a -> 'b) reserr -> 'a reserr -> 'b reserr