diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-11 01:28:58 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-11 01:28:58 -0300 |
| commit | cc0b15c84de8b866cccd8b660b0ce0afcfba3d98 (patch) | |
| tree | 0ec0ebc7c4a575802453fb9b2c1a428fda750778 /lib/evaluators/FOL.ml | |
| parent | 470491974d1498a1982a4e4b3560370bdf3d8c27 (diff) | |
| download | RNT-cc0b15c84de8b866cccd8b660b0ce0afcfba3d98.tar.gz RNT-cc0b15c84de8b866cccd8b660b0ce0afcfba3d98.zip | |
tests and some pointer for program on ephemeral
Diffstat (limited to 'lib/evaluators/FOL.ml')
| -rw-r--r-- | lib/evaluators/FOL.ml | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/lib/evaluators/FOL.ml b/lib/evaluators/FOL.ml index 9e204a9..99c4866 100644 --- a/lib/evaluators/FOL.ml +++ b/lib/evaluators/FOL.ml @@ -19,10 +19,6 @@ module Error = struct condition "unknown-attribute" "A plan projected an attribute its relation does not have" ("attribute" |=| Concepts.Value.String name) - let released_relation name = - condition "released-relation" "A plan named a relation that was already released" - ("object" |=| Concepts.Value.String name) - let malformed_program () = condition "malformed-fol-program" "A stored FOL program did not conform to what was expected. Is your database corrupted?" empty @@ -172,7 +168,7 @@ let derive ?decide relation description modes enumerate = Kernel.EphemeralRelation.instantiate ~inputs:[relation] ?decide ~modes:(fun () -> Ok modes) description - {Kernel.EphemeralRelation.name= None; schematics= `Temporary description; program= None} + {Kernel.EphemeralRelation.name= None; schematics= `Temporary description; pointer= None} (fun () -> enumerate relation) let rec execute plan = @@ -181,10 +177,7 @@ let rec execute plan = let* modes = modes plan in match plan with | Base relation -> - let* relation = - Protocols.Handle.copy relation - |> Option.to_result ~none:(Error.released_relation (Protocols.Handle.to_string relation)) - in + let relation = Protocols.Handle.move relation in Ok (derive ~decide:(contains relation) relation description modes enumerate) | Project (plan, _) -> let* relation = execute plan in |