`fold_left` -> `foldm_right`

3 files changed, 4 insertions, 4 deletions

diff --git a/lib/kernel/Initialization.ml b/lib/kernel/Initialization.ml
index bcafce6..54bb76d 100644
--- a/lib/kernel/Initialization.ml
+++ b/lib/kernel/Initialization.ml
@@ -14,7 +14,7 @@ let bind namespace (name, handle) =
 
 let namespace entries =
   let into = Namespace.make () in
-  Utilities.List.fold_left (fun () -> bind into) () entries |> Result.map (fun () -> into)
+  Utilities.List.foldm_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. *)
diff --git a/lib/kernel/Merkle.ml b/lib/kernel/Merkle.ml
index 78ab5a5..6b44c41 100644
--- a/lib/kernel/Merkle.ml
+++ b/lib/kernel/Merkle.ml
@@ -328,7 +328,7 @@ functor
       let open Utilities.Result in
       with_batch tx (fun () ->
           let* _ = empty_under tx in
-          Utilities.List.fold_left
+          Utilities.List.foldm_left
             (fun node (key, value) -> insert tx key value node)
             empty bindings )
 
@@ -340,7 +340,7 @@ functor
           |> BatFingerTree.fold_left (fun acc (k, v) -> f acc k v) acc
           |> Result.ok
       | Trunk {children; _} ->
-          Utilities.FingerTree.fold_left
+          Utilities.FingerTree.foldm_left
             (fun acc addr ->
               let* node = find' tx addr in
               fold_left tx f acc node )
diff --git a/lib/kernel/Path.ml b/lib/kernel/Path.ml
index 4859584..24d3d10 100644
--- a/lib/kernel/Path.ml
+++ b/lib/kernel/Path.ml
@@ -120,7 +120,7 @@ let assoc_all handle changes =
         in
         (* each step derives from the last; only the steps in between are
            ours to release *)
-        Utilities.List.fold_left
+        Utilities.List.foldm_left
           (fun current change ->
             let* next = assoc_on current change in
             if current != node then Handle.release current;