From 584fbca6d920e9a9f91d451667f9380714ac2175 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 25 Sep 2026 21:51:33 -0300 Subject: dune fmt --- test/unit/evaluators/FOL.ml | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) (limited to 'test/unit/evaluators/FOL.ml') diff --git a/test/unit/evaluators/FOL.ml b/test/unit/evaluators/FOL.ml index 9cfeb84..404e7a4 100644 --- a/test/unit/evaluators/FOL.ml +++ b/test/unit/evaluators/FOL.ml @@ -2,15 +2,13 @@ open Rnt module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = struct open Alcotest - module H = Helpers.Storage.Make (S) (C) module SR = Rnt.Kernel.SubstantialRelation.Make (S) let alaric = - { Concepts.Tuple.type_ = "employee"; - attributes = - BatMap.String.empty - |> BatMap.String.add "name" (Concepts.Value.String "Alaric") } + { Concepts.Tuple.type_= "employee"; + attributes= BatMap.String.empty |> BatMap.String.add "name" (Concepts.Value.String "Alaric") + } let not_a_directory () = Concepts.Condition.condition "not-a-directory" @@ -41,8 +39,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let* found = Protocols.Directory.find directory "fol" in let* evaluator = Option.to_result ~none:(not_a_program ()) found in let* interpreter = - Rnt.Evaluators.FOL.Program.from evaluator - |> Option.to_result ~none:(not_a_program ()) + Rnt.Evaluators.FOL.Program.from evaluator |> Option.to_result ~none:(not_a_program ()) in let* cursor = Rnt.Evaluators.FOL.Program.invoke interpreter (Rnt.Evaluators.FOL.Base employee) @@ -58,8 +55,8 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = check bool "the tuple that was asserted" true (List.for_all (fun tuple -> - Concepts.Hash.hash_equals (Concepts.Tuple.hash tuple) (Concepts.Tuple.hash alaric)) - scanned) + Concepts.Hash.hash_equals (Concepts.Tuple.hash tuple) (Concepts.Tuple.hash alaric) ) + scanned ) let suite prefix = ( "fol/" ^ prefix, -- cgit v1.2.3