irmin-git: expose Content_addressable type

mirage · Sep 9, 2024 · bd25cd4 · bd25cd4
1 parent b1db6c3
commit bd25cd4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/irmin-git/irmin_git.ml b/src/irmin-git/irmin_git.ml
@@ -110,7 +110,7 @@ module Content_addressable (G : Git.S) = struct
     let v ?dotgit:_ _root = assert false
   end
 
-  module type S = Irmin.Content_addressable.S with type key = G.Hash.t
+  module type S = Irmin.Content_addressable.S with type _ t = G.t and type key = G.Hash.t
 
   module Maker = Maker_ext (G) (No_sync)
 
@@ -125,11 +125,12 @@ module Content_addressable (G : Git.S) = struct
     module M = Maker.Make (Schema)
     module X = M.Backend.Contents
 
+    type 'a t = G.t
+
     let state t =
-      let+ r = M.repo_of_git (snd t) in
+      let+ r = M.repo_of_git t in
       M.Backend.Repo.contents_t r
 
-    type 'a t = bool ref * G.t
     type key = X.key
     type value = X.value
 

diff --git a/src/irmin-git/irmin_git_intf.ml b/src/irmin-git/irmin_git_intf.ml
@@ -116,7 +116,7 @@ module type Sigs = sig
     (** Use Git as a content-addressable store. Values will be stored into
         [.git/objects].*)
 
-    module type S = Irmin.Content_addressable.S with type key = G.Hash.t
+    module type S = Irmin.Content_addressable.S with type _ t = G.t and type key = G.Hash.t
 
     module Make (V : Irmin.Type.S) : S with type value = V.t
   end