diff options
Diffstat (limited to 'lib/kernel')
| -rw-r--r-- | lib/kernel/Initialization.ml | 2 | ||||
| -rw-r--r-- | lib/kernel/Merkle.ml | 4 | ||||
| -rw-r--r-- | lib/kernel/Path.ml | 2 |
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; |