diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-12 11:47:14 -0300 |
| commit | a3acc318ead5620ac20f70815b4dfb0810ccd2a4 (patch) | |
| tree | e1bf3b6331c07005a83650da36499a931dfeb24d /lib/evaluators/FOL.ml | |
| parent | c66c3c82fda2f68e5aac62d16657d8a77e6d91ee (diff) | |
| download | RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.tar.gz RNT-a3acc318ead5620ac20f70815b4dfb0810ccd2a4.zip | |
abstracting headers and merkle of list construction
Diffstat (limited to '')
| -rw-r--r-- | lib/evaluators/FOL.ml | 11 |
1 files changed, 1 insertions, 10 deletions
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 = |