diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/evaluators/FOL.ml | 30 |
1 files changed, 14 insertions, 16 deletions
diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml index eba57a1..4299524 100644 --- a/lib/evaluators/FOL.ml +++ b/lib/evaluators/FOL.ml @@ -9,8 +9,7 @@ module Error = struct condition "evaluation-cancelled" "An evaluation was stopped before it produced its result" empty end -type plan = Base of Protocols.Handle.t - | Project of plan * string BatFingerTree.t +type plan = Base of Protocols.Handle.t | Project of plan * string BatFingerTree.t module Program = Protocols.Program.Make (struct type t = plan @@ -20,21 +19,20 @@ let execute = let open Utilities.Result in function | Base relation_handle -> - Fun.protect - ~finally:(fun () -> Protocols.Handle.release relation_handle) - (fun () -> - let* enumerable = Protocols.Enumerable.require relation_handle in - Protocols.Enumerable.enumerate enumerable) + Fun.protect + ~finally:(fun () -> Protocols.Handle.release relation_handle) + (fun () -> + let* enumerable = Protocols.Enumerable.require relation_handle in + Protocols.Enumerable.enumerate enumerable ) | Project (_plan, _attributes) -> failwith "TODO" -class evaluator = object (self) - inherit Kernel.Lifecycle.null - inherit Kernel.Identity.of_id - - method to_string = "fol-evaluator" - - method invoke = execute - method protocols : Protocols.Handle.protocol list = [Program.make self] -end +class evaluator = + object (self) + inherit Kernel.Lifecycle.null + inherit Kernel.Identity.of_id + method to_string = "fol-evaluator" + method invoke = execute + method protocols : Protocols.Handle.protocol list = [Program.make self] + end let make () = new evaluator |> Protocols.Handle.make |