From eec24d16027c66ce2cc52ba12d0d5276f8b4f256 Mon Sep 17 00:00:00 2001 From: tali Date: Tue, 30 Jan 2024 18:54:41 -0500 Subject: [PATCH] write List.flat_map --- lib/server/import.ml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/lib/server/import.ml b/lib/server/import.ml index dcf5b95..a23306f 100644 --- a/lib/server/import.ml +++ b/lib/server/import.ml @@ -16,4 +16,15 @@ module Result_syntax = struct let ( let+ ) r f = Result.map f r end +module List = struct + include List + + let flat_map f xs = + let rec iter acc = function + | [] -> rev acc + | x :: xs -> iter (rev_append (f x) acc) xs + in + iter [] xs +end + include (val Logging.logs "Irc")