WIP forsake context

2 files changed, 4 insertions, 14 deletions

diff --git a/lib/protocols/Program.ml b/lib/protocols/Program.ml
index 49e6e2d..5b618e6 100644
--- a/lib/protocols/Program.ml
+++ b/lib/protocols/Program.ml
@@ -4,10 +4,7 @@ end
 
 module Make (P : PROGRAM) = struct
   class type implementation = object
-    method invoke :
-      program:P.t ->
-      Context.t ->
-      (Handle.t, Concepts.Condition.condition) result
+    method invoke : P.t -> (Handle.t, Concepts.Condition.condition) result
   end
 
   type Handle.protocol += Program of implementation
@@ -16,5 +13,5 @@ module Make (P : PROGRAM) = struct
 
   let make impl = Program (impl :> implementation)
   let from handle = Handle.into handle (function Program impl -> Some impl | _ -> None)
-  let invoke i ~program ctx = Handle.invoke i (fun o -> o#invoke ~program ctx)
+  let invoke i program = Handle.invoke i (fun o -> o#invoke program)
 end
diff --git a/lib/protocols/Program.mli b/lib/protocols/Program.mli
index 1d6c3ae..9cf4455 100644
--- a/lib/protocols/Program.mli
+++ b/lib/protocols/Program.mli
@@ -6,18 +6,11 @@ module Make (P : PROGRAM) : sig
   type t
 
   class type implementation = object
-    method invoke :
-      program:P.t ->
-      Context.t ->
-      (Handle.t, Concepts.Condition.condition) result
+    method invoke : P.t -> (Handle.t, Concepts.Condition.condition) result
   end
 
   val make : #implementation -> Handle.protocol
   val from : Handle.t -> t Handle.interface option
 
-  val invoke :
-    t Handle.interface ->
-    program:P.t ->
-    Context.t ->
-    (Handle.t, Concepts.Condition.condition) result
+  val invoke : t Handle.interface -> P.t -> (Handle.t, Concepts.Condition.condition) result
 end