From 33653002e66f83ec10f4382dd4ad3c18dbf2abff Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 13 Aug 2026 02:35:57 +0000 Subject: Move StringKey out of the tests --- lib/kernel/Merkle.ml | 8 ++++++++ test/unit/kernel/Merkle.ml | 10 +--------- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/lib/kernel/Merkle.ml b/lib/kernel/Merkle.ml index 6f342cd..49f4fda 100644 --- a/lib/kernel/Merkle.ml +++ b/lib/kernel/Merkle.ml @@ -339,3 +339,11 @@ module Interface : INTERFACE = functor (S : Abstract.Storage.STORAGE) (K : KEY) | Some addr -> retrieve tx addr end + +module StringKey : KEY with type t = string = struct + type t = string + + let encode s = String.to_bytes s |> Concepts.Representation.blob_of_bytes + let compare s1 s2 = String.compare s1 s2 |> Concepts.Ordering.of_int + let decode b = Concepts.Representation.bytes_of_blob b |> String.of_bytes |> Result.ok +end diff --git a/test/unit/kernel/Merkle.ml b/test/unit/kernel/Merkle.ml index f12182a..6fd493a 100644 --- a/test/unit/kernel/Merkle.ml +++ b/test/unit/kernel/Merkle.ml @@ -1,18 +1,10 @@ open Rnt -module StringKey : Rnt.Kernel.Merkle.KEY with type t = string = struct - type t = string - - let encode s = String.to_bytes s |> Concepts.Representation.blob_of_bytes - let compare s1 s2 = String.compare s1 s2 |> Concepts.Ordering.of_int - let decode b = Concepts.Representation.bytes_of_blob b |> String.of_bytes |> Result.ok -end - module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = struct open Alcotest module H = Helpers.Storage.Make (S) (C) - module T = Rnt.Kernel.Merkle.Interface (S) (StringKey) (StringKey) + module T = Rnt.Kernel.Merkle.Interface (S) (Rnt.Kernel.Merkle.StringKey) (Rnt.Kernel.Merkle.StringKey) (* TODO: be a bit more comprehensive (ideally, we want to test splits as well) *) let insert_and_lookup conn = -- cgit v1.2.3