From 8cddc12efdff4fe1742039df493ab5e425a685c4 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 12 Oct 2026 11:52:01 -0300
Subject: result fold left

---
 lib/kernel/Initialization.ml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'lib/kernel/Initialization.ml')

diff --git a/lib/kernel/Initialization.ml b/lib/kernel/Initialization.ml
index 518fe4f..bcafce6 100644
--- a/lib/kernel/Initialization.ml
+++ b/lib/kernel/Initialization.ml
@@ -14,15 +14,7 @@ let bind namespace (name, handle) =
 
 let namespace entries =
   let into = Namespace.make () in
-  let open Utilities.Result in
-  let* () =
-    List.fold_left
-      (fun acc entry ->
-        let* () = acc in
-        bind into entry )
-      (Ok ()) entries
-  in
-  Ok into
+  Utilities.List.fold_left (fun () -> bind into) () entries |> Result.map (fun () -> into)
 
 (* A subsystem's root holds what is its own and not data: its
    evaluators, and whatever else it registers beside them. *)
-- 
cgit v1.2.3