From 7689433baac01b6e9f3d7f91bec0ec1b89f15104 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Mon, 12 Oct 2026 12:00:45 -0300 Subject: temporary handle instead of type description everywhere --- test/unit/evaluators/FOL.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/unit/evaluators/FOL.ml') diff --git a/test/unit/evaluators/FOL.ml b/test/unit/evaluators/FOL.ml index 1782b2e..0deb71d 100644 --- a/test/unit/evaluators/FOL.ml +++ b/test/unit/evaluators/FOL.ml @@ -214,7 +214,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = in Kernel.EphemeralRelation.instantiate description ~modes:(fun () -> Ok [Concepts.(Mode.mode [] Cardinality.Countable)]) - {Kernel.EphemeralRelation.name= None; schematics= `Temporary description; pointer= None} + (Kernel.EphemeralRelation.temporary description) (fun () -> Ok (Kernel.Generator.cursor_of ~finally:(fun () -> closed := true) (count 0))) let values source = Rnt.Evaluators.FOL.(execute (Project (Base source, BatFingerTree.singleton "value"))) @@ -268,7 +268,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let relation = Kernel.EphemeralRelation.instantiate ~inputs:[tracker] heading ~modes:(fun () -> Ok []) - {Kernel.EphemeralRelation.name= None; schematics= `Temporary heading; pointer= None} + (Kernel.EphemeralRelation.temporary heading) (fun () -> Ok (Kernel.Generator.cursor_of (fun ~yield:_ -> Ok ()))) in let result = Rnt.Evaluators.FOL.(execute (Base relation)) |> Helpers.condition_as_failure in -- cgit v1.2.3