aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/protocols/Session.ml9
-rw-r--r--lib/protocols/Session.mli1
-rw-r--r--test/unit/kernel/Session.ml2
3 files changed, 1 insertions, 11 deletions
diff --git a/lib/protocols/Session.ml b/lib/protocols/Session.ml
index f740c1a..5558003 100644
--- a/lib/protocols/Session.ml
+++ b/lib/protocols/Session.ml
@@ -1,11 +1,3 @@
-module Error = struct
- open Concepts.Condition
-
- let not_a_session () =
- condition "not-a-session" "A handle was expected to carry the session protocol and did not"
- empty
-end
-
type state = {branch: string; snapshot: Concepts.Hash.hash}
class type implementation = object
@@ -18,6 +10,5 @@ type t = implementation
let make impl = Session (impl :> implementation)
let from handle = Handle.into handle (function Session impl -> Some impl | _ -> None)
-let require handle = from handle |> Option.to_result ~none:(Error.not_a_session ())
let state i = Handle.invoke i (fun o -> o#state)
let pin i state = Handle.invoke i (fun o -> o#pin state)
diff --git a/lib/protocols/Session.mli b/lib/protocols/Session.mli
index 141c250..42c508c 100644
--- a/lib/protocols/Session.mli
+++ b/lib/protocols/Session.mli
@@ -8,6 +8,5 @@ end
val make : #implementation -> Handle.protocol
val from : Handle.t -> t Handle.interface option
-val require : Handle.t -> (t Handle.interface, Concepts.Condition.condition) result
val state : t Handle.interface -> state
val pin : t Handle.interface -> state -> unit
diff --git a/test/unit/kernel/Session.ml b/test/unit/kernel/Session.ml
index a20c298..86b2fd8 100644
--- a/test/unit/kernel/Session.ml
+++ b/test/unit/kernel/Session.ml
@@ -33,7 +33,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) =
let* _ = update root ("branch" @/ this) "master" (Some branch) (Some branch') in
let unchanged = finds root library in
let* tip' = address branch' in
- let* interface = Protocols.Session.require session in
+ let* interface = Protocols.Handle.require Protocols.Session.from session in
Protocols.Session.pin interface {Protocols.Session.branch= "master"; snapshot= tip'};
let after = finds root library in
let followed = Protocols.Session.state interface in