From a3acc318ead5620ac20f70815b4dfb0810ccd2a4 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 12 Oct 2026 11:47:14 -0300 Subject: abstracting headers and merkle of list construction --- lib/evaluators/FOL.ml | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) (limited to 'lib/evaluators') diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml index 99c4866..d5c6851 100644 --- a/lib/evaluators/FOL.ml +++ b/lib/evaluators/FOL.ml @@ -11,10 +11,6 @@ module Error = struct let not_a_plan () = condition "not-a-fol-program" "The evaluator was given a program of another kind" empty - let not_a_relation name = - condition "not-a-relation" "A plan named an object that does not describe itself as a relation" - ("object" |=| Concepts.Value.String name) - let unknown_attribute name = condition "unknown-attribute" "A plan projected an attribute its relation does not have" ("attribute" |=| Concepts.Value.String name) @@ -109,12 +105,7 @@ let restrict attributes description = let rec describe = let open Utilities.Result in function - | Base relation -> ( - let* schematics = Protocols.Handle.require Protocols.Schematics.from relation in - let* description = Protocols.Schematics.describe schematics in - match description with - | Protocols.Schematics.Relation description -> Ok description - | _ -> Error (Error.not_a_relation (Protocols.Handle.to_string relation)) ) + | Base relation -> Protocols.Relation.heading relation | Project (plan, attributes) -> describe plan |> fmap (restrict attributes) let rec modes = -- cgit v1.2.3