summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Peter <marius.peter@tutanota.com>2025-06-27 18:32:05 +0200
committerMarius Peter <marius.peter@tutanota.com>2025-06-27 18:32:05 +0200
commit05797c614c89e30288746fa4939e8dd97a508617 (patch)
treeed95ab978a02b7da2fa8e4bc85cb64068085cdd4
parent6c905b7f14f56ec41626dc5171c9cbcdcfae6f1b (diff)
Remove useless type annotations.
Not useless per se---just better located in the upcoming interface file.
-rw-r--r--lib/resolvers.ml7
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/resolvers.ml b/lib/resolvers.ml
index 488ec56..fb5dee6 100644
--- a/lib/resolvers.ml
+++ b/lib/resolvers.ml
@@ -112,7 +112,7 @@ end
module Tree = struct
type t = { hash : string; entries : Entry.t list }
- let to_t (tree : Store.Value.Tree.t) =
+ let to_t tree =
let hash = Store.Value.Tree.hash tree |> Int.to_string in
let entries = Store.Value.Tree.to_list tree |> List.map Entry.to_t in
{ hash; entries }
@@ -124,7 +124,7 @@ module Tree = struct
| Git.Value.Tree tree -> Lwt_result.return (to_t tree)
| _ -> Lwt_result.fail @@ `Msg ("no tree for id " ^ id)
- let head repo : (t, Store.error) Lwt_result.t =
+ let head repo =
let* store = store repo in
let* hash =
Store.Ref.resolve store Git.Reference.head
@@ -136,8 +136,7 @@ end
module Blob = struct
type t = { content : string }
- let to_t (blob : Store.Value.Blob.t) =
- { content = Store.Value.Blob.to_string blob }
+ let to_t blob = { content = Store.Value.Blob.to_string blob }
let of_id repo id =
let* store = store repo in
Copyright 2019--2025 Marius PETER