drop journal in favor of local branch history

2 files changed, 12 insertions, 6 deletions

diff --git a/lib/kernel/BranchManager.ml b/lib/kernel/BranchManager.ml
index 3531748..052e38a 100644
--- a/lib/kernel/BranchManager.ml
+++ b/lib/kernel/BranchManager.ml
@@ -28,7 +28,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct
     let data = Concepts.Hash.blob_of_hash addr in
     S.put tx (S.Label label) data
 
-  class manager storage label head =
+  class manager ?evaluators storage label head =
     object (self)
       inherit Lifecycle.null
       inherit Identity.of_id
@@ -51,7 +51,7 @@ module Make (S : Abstract.Storage.STORAGE) = struct
             let* head = Atomic.get head |> M.lookup tx key in
             match head with
             | None -> Ok None
-            | Some head -> B.load tx storage head |> Result.map Option.some )
+            | Some head -> B.load ?evaluators tx storage head |> Result.map Option.some )
 
       method update key reference value =
         let open Utilities.Result in
@@ -92,14 +92,14 @@ module Make (S : Abstract.Storage.STORAGE) = struct
             | Error (Some e) -> Error e )
     end
 
-  let make storage label =
+  let make ?evaluators storage label =
     let open Utilities.Result in
     SI.with_transaction storage (fun tx ->
         let* addr = root_for tx label in
         match addr with
-        | None -> Ok (new manager storage label M.empty |> Protocols.Handle.make)
+        | None -> Ok (new manager ?evaluators storage label M.empty |> Protocols.Handle.make)
         | Some addr ->
             let* head = M.find tx addr in
             let* head = Option.to_result ~none:(Error.invalid_root addr) head in
-            Ok (new manager storage label head |> Protocols.Handle.make) )
+            Ok (new manager ?evaluators storage label head |> Protocols.Handle.make) )
 end
diff --git a/lib/kernel/BranchManager.mli b/lib/kernel/BranchManager.mli
index a75875f..9fa10ca 100644
--- a/lib/kernel/BranchManager.mli
+++ b/lib/kernel/BranchManager.mli
@@ -1,3 +1,9 @@
+(** The heads of the branches, persisted under [label]. Branches it hands
+    out run their stored programs through [evaluators]. *)
 module Make (S : Abstract.Storage.STORAGE) : sig
-  val make : S.connection -> string -> (Protocols.Handle.t, Concepts.Condition.condition) result
+  val make :
+    ?evaluators:Protocols.Handle.t ->
+    S.connection ->
+    string ->
+    (Protocols.Handle.t, Concepts.Condition.condition) result
 end