From 41e5d7b8884f23a1e6b7991d1ffcd548d04c9560 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Wed, 23 Sep 2026 03:47:47 -0300 Subject: fix tests --- test/unit/evaluators/Lambda.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'test/unit/evaluators/Lambda.ml') diff --git a/test/unit/evaluators/Lambda.ml b/test/unit/evaluators/Lambda.ml index b30fe33..5866411 100644 --- a/test/unit/evaluators/Lambda.ml +++ b/test/unit/evaluators/Lambda.ml @@ -6,9 +6,6 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = module H = Helpers.Storage.Make (S) (C) module SR = Rnt.Kernel.SubstantialRelation.Make (S) - let hash s = - Concepts.Blob.blob_of_bytes (Bytes.of_string s) |> Concepts.Hash.hash_of_blob - let datum = { Concepts.Tuple.type_ = "noun"; attributes = @@ -36,8 +33,9 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = let evaluate conn term = let open Utilities.Result in let* tx = S.start conn in + let* schematics = H.store_schema tx ["lemma"] in let singleton tuple = - let* relation = SR.empty tx ~schematics:(hash "schema") () in + let* relation = SR.empty tx ~schematics () in SR.assert_tuple tx relation tuple in let* noun = singleton datum in -- cgit v1.2.3