2025-06-24 16:26.55: New job: test mirage/irmin https://github.com/mirage/irmin.git#refs/pull/2149/head (ff46c79ea668bfaa0c043536fc13afbc04f20a3f) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e ocamlformat version: version 0.27.0 (from opam) To reproduce locally: git clone --recursive "https://github.com/mirage/irmin.git" && cd "irmin" && git fetch origin "refs/pull/2149/head" && git reset --hard ff46c79e cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e USER 1000:1000 RUN cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u RUN opam depext -i dune WORKDIR /src RUN opam depext -i ocamlformat=0.27.0 COPY --chown=1000:1000 . /src/ RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2) END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-06-24 16:26.55: Using cache hint "mirage/irmin-ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e-debian-12-4.08_opam-2.3-ocamlformat-0eea63ad71af2b1116c556023bedc6bf083e6125" 2025-06-24 16:26.55: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e) (user (uid 1000) (gid 1000)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) (workdir /src) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) (copy (src .) (dst /src/)) (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) ) 2025-06-24 16:26.55: Waiting for resource in pool OCluster 2025-06-24 16:26.56: Waiting for worker… 2025-06-24 16:26.56: Got resource from pool OCluster Building on odawa.caelum.ci.dev All commits already cached HEAD is now at ff46c79ea6 Remove pin-depend to alcotest (from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e) 2025-06-24 16:26.58 ---> using "4ea5038d254cfd14663698deb665a2dc4ce1e1383d544c063adebb02ed15ce16" from cache /: (user (uid 1000) (gid 1000)) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u")) 0eea63ad71 Merge pull request #27946 from mtelvers/opam-publish-ocaml-version.4.0.1 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised default (at git+file:///home/opam/opam-repository): [INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2025-06-24 16:26.58 ---> using "ed14c208b709d50e26e290f8f669e0b0b6a2456751ee5b87b29d71221f0a9fc1" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install dune 3.19.1 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [dune.3.19.1] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.19.1 Done. # Run eval $(opam env) to update the current shell environment 2025-06-24 16:26.58 ---> using "249f8284e2625ce869f4c794eb6ff1eab40d82e0af762bb312d97ad81bf8d4f1" from cache /: (workdir /src) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install sexplib0 v0.14.0 [required by base] - install cmdliner 1.3.0 [required by ocamlformat] - install menhirLib 20240715 [required by ocamlformat-lib] - install menhirCST 20240715 [required by menhir] - install ocamlbuild 0.16.1 [required by fpath, astring, uuseg] - install dune-build-info 3.19.1 [required by ocamlformat-lib] - install menhirSdk 20240715 [required by ocamlformat-lib] - install either 1.0.0 [required by ocamlformat-lib] - install ocaml-version 4.0.1 [required by ocamlformat-lib] - install camlp-streams 5.0.1 [required by ocamlformat-lib] - install csexp 1.5.2 [required by ocamlformat] - install seq base [required by re] - install fix 20250428 [required by ocamlformat-lib] - install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg] - install menhir 20240715 [required by ocamlformat-lib] - install dune-configurator 3.19.1 [required by base] - install re 1.11.0 [required by ocamlformat] - install topkg 1.0.8 [required by fpath, astring, uuseg] - install base-bytes base [required by ocp-indent] - install base v0.14.3 [required by ocamlformat-lib] - install uutf 1.0.4 [required by ocamlformat-lib] - install astring 0.8.5 [required by ocamlformat-lib] - install ocp-indent 1.8.1 [required by ocamlformat-lib] - install stdio v0.14.0 [required by ocamlformat-lib] - install uucp 15.0.0 [required by uuseg] - install fpath 0.7.3 [required by ocamlformat-lib] - install uuseg 15.0.0 [required by ocamlformat-lib] - install ocamlformat-lib 0.27.0 [required by ocamlformat] - install ocamlformat 0.27.0 ===== 29 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [base.v0.14.3] found in cache [camlp-streams.5.0.1] found in cache [cmdliner.1.3.0] found in cache [csexp.1.5.2] found in cache [dune-build-info.3.19.1] found in cache [dune-configurator.3.19.1] found in cache [either.1.0.0] found in cache [fix.20250428] found in cache [fpath.0.7.3] found in cache [menhir.20240715] found in cache [menhirCST.20240715] found in cache [menhirLib.20240715] found in cache [menhirSdk.20240715] found in cache [ocaml-version.4.0.1] found in cache [ocamlbuild.0.16.1] found in cache [ocamlfind.1.9.8] found in cache [ocamlformat.0.27.0] found in cache [ocamlformat-lib.0.27.0] found in cache [ocp-indent.1.8.1] found in cache [re.1.11.0] found in cache [sexplib0.v0.14.0] found in cache [stdio.v0.14.0] found in cache [topkg.1.0.8] found in cache [uucp.15.0.0] found in cache [uuseg.15.0.0] found in cache [uutf.1.0.4] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed camlp-streams.5.0.1 -> installed cmdliner.1.3.0 -> installed csexp.1.5.2 -> installed either.1.0.0 -> installed fix.20250428 -> installed menhirCST.20240715 -> installed menhirLib.20240715 -> installed menhirSdk.20240715 -> installed ocaml-version.4.0.1 -> installed sexplib0.v0.14.0 -> installed re.1.11.0 -> installed dune-build-info.3.19.1 -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed dune-configurator.3.19.1 -> installed ocamlbuild.0.16.1 -> installed ocp-indent.1.8.1 -> installed topkg.1.0.8 -> installed base.v0.14.3 -> installed astring.0.8.5 -> installed uutf.1.0.4 -> installed stdio.v0.14.0 -> installed fpath.0.7.3 -> installed menhir.20240715 -> installed uucp.15.0.0 -> installed uuseg.15.0.0 -> installed ocamlformat-lib.0.27.0 -> installed ocamlformat.0.27.0 Done. <><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><> => This package requires additional configuration for use in editors. Install package 'user-setup', or manually: * for Emacs, add these lines to ~/.emacs: (add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp") (require 'ocp-indent) * for Vim, add this line to ~/.vimrc: set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim" # Run eval $(opam env) to update the current shell environment 2025-06-24 16:27.43 ---> saved as "7fd5d4ac1bb4f93065934b08bd6aad3989793fd62a884f257d9f7ac1e147ec1a" /src: (copy (src .) (dst /src/)) 2025-06-24 16:27.44 ---> saved as "67ef3b802d3aee854412b94c647bb4f9c82ffc85eeb0c76b158c1411a3f83b07" /src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) Warning: Invalid documentation comment: File "src/irmin-pack/layout.ml", line 94, characters 27-50: '{v ... v}' (verbatim text) should begin on its own line. Warning: Invalid documentation comment: File "src/irmin-pack/layout.ml", line 94, characters 50-51: Paragraph should begin on its own line. Warning: Invalid documentation comment: File "src/irmin/store_intf.ml", line 1097, characters 6-18: '{Deprecated}': bad markup. Suggestion: did you mean '{!Deprecated}' or '[Deprecated]'? Warning: Invalid documentation comment: File "test/irmin-graphql/common.mli", line 87, character 16 to line 91, character 6: '{[...]}' (code block) should begin on its own line. Warning: Invalid documentation comment: File "test/irmin-graphql/common.mli", line 97, character 16 to line 101, character 6: '{[...]}' (code block) should begin on its own line. Warning: Invalid documentation comment: File "test/irmin-graphql/common.mli", line 103, character 24 to line 107, character 6: '{[...]}' (code block) should begin on its own line. Warning: Invalid documentation comment: File "test/irmin-graphql/common.mli", line 113, character 16 to line 117, character 6: '{[...]}' (code block) should begin on its own line. File "src/irmin/branch_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/branch_intf.ml b/_build/default/src/irmin/.formatted/branch_intf.ml index a34a4c2..bc84047 100644 --- a/_build/default/src/irmin/branch_intf.ml +++ b/_build/default/src/irmin/.formatted/branch_intf.ml @@ -58,5 +58,6 @@ module type Sigs = sig (** [Store] specifies the signature for branch stores. A {i branch store} is a mutable and reactive key / value store, where keys - are branch names created by users and values are keys are head commmits. *) + are branch names created by users and values are keys are head commmits. + *) end File "src/irmin/contents_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/contents_intf.ml b/_build/default/src/irmin/.formatted/contents_intf.ml index 64c0811..3c79b7d 100644 --- a/_build/default/src/irmin/contents_intf.ml +++ b/_build/default/src/irmin/.formatted/contents_intf.ml @@ -72,7 +72,8 @@ module type Sigs = sig with different values then the [merge] function conflicts. *) module Json_value : S with type t = json - (** [Json_value] allows any kind of json value to be stored, not only objects. *) + (** [Json_value] allows any kind of json value to be stored, not only objects. + *) module V1 : sig module String : S with type t = string File "src/irmin/metrics.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin/metrics.mli b/_build/default/src/irmin/.formatted/metrics.mli index a8f4caf..0d4a48d 100644 --- a/_build/default/src/irmin/metrics.mli +++ b/_build/default/src/irmin/.formatted/metrics.mli @@ -17,7 +17,8 @@ (** [Metrics] defines primitives to handle metrics inside of Irmin. Its purpose is to decouple the metrics type definition from the data manipulation. - A {!t} can be modified in different ways, depending on the {!update_mode}. *) + A {!t} can be modified in different ways, depending on the {!update_mode}. +*) type origin = .. (** An extensible type to get the location of the definition. *) File "src/irmin/metrics.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/metrics.ml b/_build/default/src/irmin/.formatted/metrics.ml index 9ef6fcb..404e139 100644 --- a/_build/default/src/irmin/metrics.ml +++ b/_build/default/src/irmin/.formatted/metrics.ml @@ -1,18 +1,18 @@ (* -* Copyright (c) 2022 - Étienne Marais <etienne@maiste.fr> -* -* Permission to use, copy, modify, and distribute this software for any -* purpose with or without fee is hereby granted, provided that the above -* copyright notice and this permission notice appear in all copies. -* -* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES -* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF -* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR -* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES -* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN -* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF -* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. -*) + * Copyright (c) 2022 - Étienne Marais <etienne@maiste.fr> + * + * Permission to use, copy, modify, and distribute this software for any + * purpose with or without fee is hereby granted, provided that the above + * copyright notice and this permission notice appear in all copies. + * + * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES + * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF + * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR + * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES + * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN + * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF + * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. + *) let uid = let id = ref (-1) in @@ -36,9 +36,8 @@ let set_state m v = Atomic.set m.state v type 'a update_mode = Mutate of ('a -> unit) | Replace of ('a -> 'a) -let v : - type a. ?origin:origin -> name:string -> initial_state:a -> a Repr.ty -> a t - = +let v : type a. + ?origin:origin -> name:string -> initial_state:a -> a Repr.ty -> a t = fun ?origin ~name ~initial_state repr -> { uid = uid (); origin; name; repr; state = Atomic.make initial_state } File "src/irmin/commit_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/commit_intf.ml b/_build/default/src/irmin/.formatted/commit_intf.ml index 4491bba..a6d58bf 100644 --- a/_build/default/src/irmin/commit_intf.ml +++ b/_build/default/src/irmin/.formatted/commit_intf.ml @@ -235,11 +235,12 @@ module type Sigs = sig (N : Node.Store) (S : Indexable.S) (H : Hash.S with type t = S.hash) - (V : S - with type node_key = N.key - and type commit_key = S.key - and type t = S.value - and module Info := I) : + (V : + S + with type node_key = N.key + and type commit_key = S.key + and type t = S.value + and module Info := I) : Store with type 'a t = 'a N.t * 'a S.t and type key = S.key File "src/irmin/perms.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/perms.ml b/_build/default/src/irmin/.formatted/perms.ml index 1d66477..9367e68 100644 --- a/_build/default/src/irmin/perms.ml +++ b/_build/default/src/irmin/.formatted/perms.ml @@ -63,4 +63,5 @@ type write = Write.t (** The type parameter of a handle with [write] permissions. *) type read_write = Read_write.t -(** The type parameter of a handle with both {!read} and {!write} permissions. *) +(** The type parameter of a handle with both {!read} and {!write} permissions. +*) File "src/irmin/merge.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin/merge.mli b/_build/default/src/irmin/.formatted/merge.mli index b1877e6..d9505d1 100644 --- a/_build/default/src/irmin/merge.mli +++ b/_build/default/src/irmin/.formatted/merge.mli @@ -38,7 +38,8 @@ val map : ('a -> 'c) -> ('a, 'b) result -> ('c, 'b) result type 'a promise = unit -> ('a option, conflict) result (** An ['a] promise is a function which, when called, will eventually return a - value type of ['a]. A promise is an optional, lazy and non-blocking value. *) + value type of ['a]. A promise is an optional, lazy and non-blocking value. +*) val promise : 'a -> 'a promise (** [promise a] is the promise containing [a]. *) @@ -79,7 +80,8 @@ val like : 'a Type.t -> 'b t -> ('a -> 'b) -> ('b -> 'a) -> 'a t functions raise any exception the merge is a conflict. *) val with_conflict : (string -> string) -> 'a t -> 'a t -(** [with_conflict f m] is [m] with the conflict error message modified by [f]. *) +(** [with_conflict f m] is [m] with the conflict error message modified by [f]. +*) val like_lwt : 'a Type.t -> 'b t -> ('a -> 'b) -> ('b -> 'a) -> 'a t (** Same as {{!Merge.biject} biject} but with blocking domain converting @@ -171,8 +173,8 @@ end {b Note:} We only consider sets of bindings, instead of multisets. Application developers should take care of concurrent addition and removal - of similar bindings themselves, by using the appropriate {{!Merge.MSet} - multi-sets}. *) + of similar bindings themselves, by using the appropriate + {{!Merge.MSet} multi-sets}. *) (** Lift merge functions to sets. *) module Set (E : sig File "src/irmin/storage_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/storage_intf.ml b/_build/default/src/irmin/.formatted/storage_intf.ml index 8dd475e..7698149 100644 --- a/_build/default/src/irmin/storage_intf.ml +++ b/_build/default/src/irmin/.formatted/storage_intf.ml @@ -20,7 +20,8 @@ module type S = sig type value val v : Conf.t -> t - (** [v config] initialises a storage layer, with the configuration [config]. *) + (** [v config] initialises a storage layer, with the configuration [config]. + *) val mem : t -> key -> bool (** [mem t k] is true iff [k] is present in [t]. *) @@ -58,5 +59,6 @@ module type Sigs = sig module type Make = Make (** [Make] parameterizes a storage layer over a key [Key] and a value [Value]. - This is the signature to implement when building custom storage for Irmin. *) + This is the signature to implement when building custom storage for Irmin. + *) end File "src/irmin/proof_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/proof_intf.ml b/_build/default/src/irmin/.formatted/proof_intf.ml index 07f2254..cd6b4e6 100644 --- a/_build/default/src/irmin/proof_intf.ml +++ b/_build/default/src/irmin/.formatted/proof_intf.ml @@ -60,7 +60,8 @@ module type S = sig {e For [irmin-pack]}: [proofs] have a length of at most [Conf.entries] entries. For binary trees, this boolean index is a step of the left-right - sequence / decision proof corresponding to the path in that binary tree. *) + sequence / decision proof corresponding to the path in that binary tree. + *) type 'a inode_extender = { length : int; segments : int list; proof : 'a } [@@deriving irmin] @@ -262,11 +263,12 @@ module type Proof = sig module Env (B : Backend.S) - (P : S - with type contents := B.Contents.Val.t - and type hash := B.Hash.t - and type step := B.Node.Val.step - and type metadata := B.Node.Val.metadata) : + (P : + S + with type contents := B.Contents.Val.t + and type hash := B.Hash.t + and type step := B.Node.Val.step + and type metadata := B.Node.Val.metadata) : Env with type hash := B.Hash.t and type contents := B.Contents.Val.t File "src/irmin/proof.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/proof.ml b/_build/default/src/irmin/.formatted/proof.ml index 1bcdbd8..3ad338a 100644 --- a/_build/default/src/irmin/proof.ml +++ b/_build/default/src/irmin/.formatted/proof.ml @@ -78,11 +78,12 @@ let bad_proof_exn context = raise (Bad_proof { context }) module Env (B : Backend.S) - (P : S - with type contents := B.Contents.Val.t - and type hash := B.Hash.t - and type step := B.Node.Val.step - and type metadata := B.Node.Val.metadata) = + (P : + S + with type contents := B.Contents.Val.t + and type hash := B.Hash.t + and type step := B.Node.Val.step + and type metadata := B.Node.Val.metadata) = struct module H = B.Hash File "src/irmin/node_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/node_intf.ml b/_build/default/src/irmin/.formatted/node_intf.ml index b938e0c..6f45f19 100644 --- a/_build/default/src/irmin/node_intf.ml +++ b/_build/default/src/irmin/.formatted/node_intf.ml @@ -378,11 +378,12 @@ module type Sigs = sig (C : Contents.Store) (S : Indexable.S) (H : Hash.S with type t = S.hash) - (V : S - with type t = S.value - and type hash = H.t - and type contents_key = C.key - and type node_key = S.key) + (V : + S + with type t = S.value + and type hash = H.t + and type contents_key = C.key + and type node_key = S.key) (M : Metadata.S with type t = V.metadata) (P : Path.S with type step = V.step) : Store File "src/irmin/object_graph.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/object_graph.ml b/_build/default/src/irmin/.formatted/object_graph.ml index 63d2ef5..0023a36 100644 --- a/_build/default/src/irmin/object_graph.ml +++ b/_build/default/src/irmin/.formatted/object_graph.ml @@ -119,8 +119,7 @@ struct let min = List.fold_left (fun acc -> function - | `Branch _ as x -> (x :: pred x) @ acc - | x -> x :: acc) + | `Branch _ as x -> (x :: pred x) @ acc | x -> x :: acc) [] min in let min = Set.of_list min in File "src/irmin-pack/pack_key.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/pack_key.ml b/_build/default/src/irmin-pack/.formatted/pack_key.ml index fa57edc..42350e1 100644 --- a/_build/default/src/irmin-pack/pack_key.ml +++ b/_build/default/src/irmin-pack/.formatted/pack_key.ml @@ -25,5 +25,6 @@ module type S = sig (** [unfindable_of_hash h] is a key [k] such that [to_hash k = h], with an unspecified internal representation. This function enables an efficient implmentation of "portable" inodes, but is otherwise unused. Attempting to - dereference a key constructed in this way results in undefined behaviour. *) + dereference a key constructed in this way results in undefined behaviour. + *) end File "src/irmin-pack/conf.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/conf.mli b/_build/default/src/irmin-pack/.formatted/conf.mli index 4386fa3..f88c2bb 100644 --- a/_build/default/src/irmin-pack/conf.mli +++ b/_build/default/src/irmin-pack/.formatted/conf.mli @@ -142,4 +142,5 @@ val init : string -> Irmin.config (** [init root] creates a backend configuration for storing data with default - configuration parameters and stored at [root]. Flags are documented above. *) + configuration parameters and stored at [root]. Flags are documented above. +*) File "src/irmin-pack/irmin_pack_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/irmin_pack_intf.ml b/_build/default/src/irmin-pack/.formatted/irmin_pack_intf.ml index edfebbc..2d0d3c2 100644 --- a/_build/default/src/irmin-pack/irmin_pack_intf.ml +++ b/_build/default/src/irmin-pack/.formatted/irmin_pack_intf.ml @@ -62,7 +62,8 @@ end module type Sigs = sig (** A space-optimiezed, on-disk store inspired by - {{:https://git-scm.com/book/en/v2/Git-Internals-Packfiles} Git Packfiles}. *) + {{:https://git-scm.com/book/en/v2/Git-Internals-Packfiles} Git Packfiles}. + *) (** {1 Configuration} *) @@ -82,7 +83,8 @@ module type Sigs = sig ?lower_root:string option -> string -> Irmin.config - (** Configuration options for stores. See {!Irmin_pack.Conf} for more details. *) + (** Configuration options for stores. See {!Irmin_pack.Conf} for more details. + *) (** {1 Inode} *) File "src/irmin/sync.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/sync.ml b/_build/default/src/irmin/.formatted/sync.ml index bc6e9db..000eb7c 100644 --- a/_build/default/src/irmin/sync.ml +++ b/_build/default/src/irmin/.formatted/sync.ml @@ -90,7 +90,8 @@ module Make (S : Store.Generic_key.S) = struct let status_t t = let open Type in variant "status" (fun empty head -> function - | `Empty -> empty | `Head c -> head c) + | `Empty -> empty + | `Head c -> head c) |~ case0 "empty" `Empty |~ case1 "head" S.(commit_t @@ repo t) (fun c -> `Head c) |> sealv File "src/irmin-pack/pack_value_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/pack_value_intf.ml b/_build/default/src/irmin-pack/.formatted/pack_value_intf.ml index 4c559d7..73096cf 100644 --- a/_build/default/src/irmin-pack/pack_value_intf.ml +++ b/_build/default/src/irmin-pack/.formatted/pack_value_intf.ml @@ -117,9 +117,10 @@ module type Sigs = sig module Of_commit (Hash : Irmin.Hash.S) (Key : Irmin.Key.S with type hash = Hash.t) - (Commit : Irmin.Commit.Generic_key.S - with type node_key = Key.t - and type commit_key = Key.t) : sig + (Commit : + Irmin.Commit.Generic_key.S + with type node_key = Key.t + and type commit_key = Key.t) : sig include S with type t = Commit.t and type hash = Hash.t and type key = Key.t module Commit_direct : sig File "src/irmin-chunk/irmin_chunk.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-chunk/irmin_chunk.mli b/_build/default/src/irmin-chunk/.formatted/irmin_chunk.mli index 338a094..9b1ac2c 100644 --- a/_build/default/src/irmin-chunk/irmin_chunk.mli +++ b/_build/default/src/irmin-chunk/.formatted/irmin_chunk.mli @@ -73,8 +73,8 @@ val config : Irmin.config -> Irmin.config (** [config ?config ?size ?min_size ()] is the configuration value extending the - optional [config] with bindings associating {{!Conf.Key.chunk_size} - chunk_size} to [size]. + optional [config] with bindings associating + {{!Conf.Key.chunk_size} chunk_size} to [size]. If [chunking] is [Best_fit] (the default), the size of new chunks will be of maximum [max_size] but could be smaller if they don't need to be chunked. If @@ -83,7 +83,8 @@ val config : Fail with [Invalid_argument] if [size] is smaller than [min_size]. [min_size] is, by default, set to 4000 (to avoid hash collisions on smaller sizes) but can be tweaked for testing purposes. {i Notes:} the smaller - [size] is, the bigger the risk of hash collisions, so use reasonable values. *) + [size] is, the bigger the risk of hash collisions, so use reasonable values. +*) (** [Content_addressable(X)] is a content-addressable store which store values cut into chunks into the underlying store [X]. *) File "src/irmin/tree_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/tree_intf.ml b/_build/default/src/irmin/.formatted/tree_intf.ml index fd4f946..6e2e730 100644 --- a/_build/default/src/irmin/tree_intf.ml +++ b/_build/default/src/irmin/.formatted/tree_intf.ml @@ -164,7 +164,8 @@ module type S = sig (** [find] is similar to {!find_all} but it discards metadata. *) val get_all : t -> path -> contents * metadata - (** Same as {!find_all} but raise [Invalid_arg] if [k] is not present in [t]. *) + (** Same as {!find_all} but raise [Invalid_arg] if [k] is not present in [t]. + *) val list : t -> ?offset:int -> ?length:int -> ?cache:bool -> path -> (step * t) list @@ -178,7 +179,8 @@ module type S = sig val seq : t -> ?offset:int -> ?length:int -> ?cache:bool -> path -> (step * t) Seq.t - (** [seq t key] follows the same behavior as {!list} but returns a sequence. *) + (** [seq t key] follows the same behavior as {!list} but returns a sequence. + *) val get : t -> path -> contents (** Same as {!get_all} but ignore the metadata. *) @@ -295,7 +297,7 @@ module type S = sig See {{:https://github.com/mirage/irmin/blob/main/examples/fold.ml} - examples/fold.ml} for a demo of the different {!folder}s. + examples/fold.ml} for a demo of the different {!folder}s. See {!force} for details about the [force] parameters. By default it is [`True]. File "src/irmin-pack/inode_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/inode_intf.ml b/_build/default/src/irmin-pack/.formatted/inode_intf.ml index 4aac521..7d625fb 100644 --- a/_build/default/src/irmin-pack/inode_intf.ml +++ b/_build/default/src/irmin-pack/.formatted/inode_intf.ml @@ -262,10 +262,11 @@ module type Sigs = sig val unfindable_of_hash : hash -> t end) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = Key.t - and type node_key = Key.t) : + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = Key.t + and type node_key = Key.t) : Internal with type hash = H.t and type key = Key.t @@ -275,19 +276,22 @@ module type Sigs = sig module Make (H : Irmin.Hash.S) (Key : Irmin.Key.S with type hash = H.t) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = Key.t - and type node_key = Key.t) - (Inter : Internal - with type hash = H.t - and type key = Key.t - and type Snapshot.metadata = Node.metadata - and type Val.step = Node.step) - (Pack : Indexable.S - with type key = Key.t - and type hash = H.t - and type value = Inter.Raw.t) : + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = Key.t + and type node_key = Key.t) + (Inter : + Internal + with type hash = H.t + and type key = Key.t + and type Snapshot.metadata = Node.metadata + and type Val.step = Node.step) + (Pack : + Indexable.S + with type key = Key.t + and type hash = H.t + and type value = Inter.Raw.t) : S with type 'a t = 'a Pack.t and type key = Key.t File "src/irmin/commit.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/commit.ml b/_build/default/src/irmin/.formatted/commit.ml index d1b4855..f0c0d4e 100644 --- a/_build/default/src/irmin/commit.ml +++ b/_build/default/src/irmin/.formatted/commit.ml @@ -133,11 +133,12 @@ module Store_generic_key (N : Node.Store) (S : Indexable.S) (H : Hash.S with type t = S.hash) - (V : S_generic_key - with type node_key = N.Key.t - and type commit_key = S.Key.t - and type t = S.value - and module Info := I) = + (V : + S_generic_key + with type node_key = N.Key.t + and type commit_key = S.Key.t + and type t = S.value + and module Info := I) = struct module Node = N module Val = V File "src/irmin-pack/mem/irmin_pack_mem.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/mem/irmin_pack_mem.ml b/_build/default/src/irmin-pack/mem/.formatted/irmin_pack_mem.ml index 3d7bdc5..d0a4bba 100644 --- a/_build/default/src/irmin-pack/mem/irmin_pack_mem.ml +++ b/_build/default/src/irmin-pack/mem/.formatted/irmin_pack_mem.ml @@ -26,9 +26,8 @@ end module Indexable_mem (Hash : Irmin.Hash.S) - (Value : Irmin_pack.Pack_value.S - with type hash := Hash.t - and type key = Hash.t) = + (Value : + Irmin_pack.Pack_value.S with type hash := Hash.t and type key = Hash.t) = struct module Pack = Indexable.Maker (Hash) module Indexable_mem = Pack.Make (Value) File "src/irmin-pack/mem/indexable.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/mem/indexable.ml b/_build/default/src/irmin-pack/mem/.formatted/indexable.ml index 15ed466..486dc13 100644 --- a/_build/default/src/irmin-pack/mem/indexable.ml +++ b/_build/default/src/irmin-pack/mem/.formatted/indexable.ml @@ -21,7 +21,8 @@ module Pool : sig (** Reference-counted pool of values with corresponding keys. *) val create : alloc:('k -> 'v) -> ('k, 'v) t - (** Get an empty pool, given a function for allocating new instances from IDs. *) + (** Get an empty pool, given a function for allocating new instances from IDs. + *) val take : ('k, 'v) t -> 'k -> 'v (** Get an instance from the pool by its key, allocating it if necessary. *) File "src/irmin-pack/pack_value.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/pack_value.ml b/_build/default/src/irmin-pack/.formatted/pack_value.ml index b7cd57c..bd228d4 100644 --- a/_build/default/src/irmin-pack/pack_value.ml +++ b/_build/default/src/irmin-pack/.formatted/pack_value.ml @@ -148,9 +148,10 @@ end module Of_commit (Hash : Irmin.Hash.S) (Key : Irmin.Key.S with type hash = Hash.t) - (Commit : Irmin.Commit.Generic_key.S - with type node_key = Key.t - and type commit_key = Key.t) = + (Commit : + Irmin.Commit.Generic_key.S + with type node_key = Key.t + and type commit_key = Key.t) = struct module Hash = Irmin.Hash.Typed (Hash) (Commit) File "src/irmin-chunk/irmin_chunk.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-chunk/irmin_chunk.ml b/_build/default/src/irmin-chunk/.formatted/irmin_chunk.ml index e17b127..76e7c74 100644 --- a/_build/default/src/irmin-chunk/irmin_chunk.ml +++ b/_build/default/src/irmin-chunk/.formatted/irmin_chunk.ml @@ -69,7 +69,8 @@ module Chunk (H : Irmin.Hash.S) = struct let v_t = let open Irmin.Type in variant "chunk" (fun d i -> function - | Data data -> d data | Index index -> i index) + | Data data -> d data + | Index index -> i index) |~ case1 "Data" string (fun d -> Data d) |~ case1 "Index" (list ~len:`Int16 H.t) (fun i -> Index i) |> sealv File "src/irmin/irmin.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin/irmin.mli b/_build/default/src/irmin/.formatted/irmin.mli index 341f1b8..965a425 100644 --- a/_build/default/src/irmin/irmin.mli +++ b/_build/default/src/irmin/.formatted/irmin.mli @@ -56,7 +56,7 @@ module Type = Repr {{:https://github.com/mirage/repr} [Repr]}. These values can be derived from type definitions via [[@@deriving irmin]] (see the {{:https://github.com/mirage/irmin/blob/main/README_PPX.md} documentation - for [ppx_irmin]})*) + for [ppx_irmin]})*) module Hash = Hash (** Hashing functions. @@ -66,7 +66,8 @@ module Hash = Hash others might work with a fixed one (for instance, the Git format uses only {{!Hash.SHA1} SHA1}). - A {{!Hash.SHA1} SHA1} implementation is available to pass to the backends. *) + A {{!Hash.SHA1} SHA1} implementation is available to pass to the backends. +*) module Branch = Branch @@ -175,8 +176,9 @@ type config = Conf.t (** {2 Low-level Stores} *) (** An Irmin backend is built from a number of lower-level stores, each - implementing fewer operations, such as {{!Content_addressable.Store} - content-addressable} and {{!Atomic_write.Store} atomic-write} stores. *) + implementing fewer operations, such as + {{!Content_addressable.Store} content-addressable} and + {{!Atomic_write.Store} atomic-write} stores. *) module Read_only = Read_only (** Read-only backend backends. *) @@ -457,9 +459,9 @@ type remote = Remote.t = .. val remote_store : (module Generic_key.S with type t = 'a) -> 'a -> remote (** [remote_store t] is the remote corresponding to the local store [t]. - Synchronization is done by importing and exporting store {{!BC.slice} - slices}, so this is usually much slower than native synchronization using - {!Store.remote} but it works for all backends. *) + Synchronization is done by importing and exporting store + {{!BC.slice} slices}, so this is usually much slower than native + synchronization using {!Store.remote} but it works for all backends. *) module Sync = Sync (** Remote synchronisation. *) File "test/irmin/test_conf.ml", line 1, characters 0-0: diff --git a/_build/default/test/irmin/test_conf.ml b/_build/default/test/irmin/.formatted/test_conf.ml index dede01a..5944017 100644 --- a/_build/default/test/irmin/test_conf.ml +++ b/_build/default/test/irmin/.formatted/test_conf.ml @@ -73,10 +73,8 @@ let test_subsequent_root_paths_duplicate () = let suite = [ Alcotest.test_case "conf" `Quick test_conf; - Alcotest.test_case "duplicate key names" `Quick - test_duplicate_key_names; - Alcotest.test_case "subsequent root paths" `Quick - test_subsequent_root_paths; + Alcotest.test_case "duplicate key names" `Quick test_duplicate_key_names; + Alcotest.test_case "subsequent root paths" `Quick test_subsequent_root_paths; Alcotest.test_case "subsequent root paths duplicate" `Quick test_subsequent_root_paths_duplicate; ] File "src/irmin-graphql/server.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-graphql/server.mli b/_build/default/src/irmin-graphql/.formatted/server.mli index 706f785..a5f5c6b 100644 --- a/_build/default/src/irmin-graphql/server.mli +++ b/_build/default/src/irmin-graphql/.formatted/server.mli @@ -57,7 +57,8 @@ module type CUSTOM_TYPE = sig val arg_typ : t option Schema.Arg.arg_typ end -(** GraphQL types for Irmin concepts (key, metadata, contents, hash and branch). *) +(** GraphQL types for Irmin concepts (key, metadata, contents, hash and branch). +*) module type CUSTOM_TYPES = sig type path type metadata @@ -105,15 +106,16 @@ module Make_ext (Server : Cohttp_lwt.S.Server) (Config : CONFIG) (Store : Irmin.Generic_key.S with type Schema.Info.t = Config.info) - (Types : CUSTOM_TYPES - with type path := Store.path - and type metadata := Store.metadata - and type contents := Store.contents - and type hash := Store.hash - and type branch := Store.branch - and type commit_key := Store.commit_key - and type contents_key := Store.contents_key - and type node_key := Store.node_key) : + (Types : + CUSTOM_TYPES + with type path := Store.path + and type metadata := Store.metadata + and type contents := Store.contents + and type hash := Store.hash + and type branch := Store.branch + and type commit_key := Store.commit_key + and type contents_key := Store.contents_key + and type node_key := Store.node_key) : S with type repo = Store.repo and type server = Server.t File "src/irmin/node.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/node.ml b/_build/default/src/irmin/.formatted/node.ml index a7b23a4..1a214b3 100644 --- a/_build/default/src/irmin/node.ml +++ b/_build/default/src/irmin/.formatted/node.ml @@ -439,10 +439,11 @@ module Store_generic_key (C : Contents.Store) (S : Indexable.S) (H : Hash.S with type t = S.hash) - (V : S_generic_key - with type t = S.value - and type contents_key = C.Key.t - and type node_key = S.Key.t) + (V : + S_generic_key + with type t = S.value + and type contents_key = C.Key.t + and type node_key = S.Key.t) (M : Metadata.S with type t = V.metadata) (P : Path.S with type step = V.step) = struct File "src/irmin/store_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/store_intf.ml b/_build/default/src/irmin/.formatted/store_intf.ml index 6caed23..4a8a6cc 100644 --- a/_build/default/src/irmin/store_intf.ml +++ b/_build/default/src/irmin/.formatted/store_intf.ml @@ -26,12 +26,12 @@ module type S_generic_key = sig without having to rely on a global state. In a way very similar to version control systems, Irmin local states are called {i branches}. - There are two kinds of store in Irmin: the ones based on {{!of_branch} - persistent} named branches and the ones based {{!of_commit} temporary} - detached heads. These exist relative to a local, larger (and shared) - store, and have some (shared) contents. This is exactly the same as usual - version control systems, that the informed user can see as an implicit - purely functional data-structure. *) + There are two kinds of store in Irmin: the ones based on + {{!of_branch} persistent} named branches and the ones based + {{!of_commit} temporary} detached heads. These exist relative to a local, + larger (and shared) store, and have some (shared) contents. This is + exactly the same as usual version control systems, that the informed user + can see as an implicit purely functional data-structure. *) module Schema : Schema.S @@ -273,7 +273,8 @@ module type S_generic_key = sig end val status : t -> Status.t - (** [status t] is [t]'s status. It can either be a branch, a commit or empty. *) + (** [status t] is [t]'s status. It can either be a branch, a commit or empty. + *) (** Managing the store's heads. *) module Head : sig @@ -364,7 +365,8 @@ module type S_generic_key = sig - [tree c = t] When [clear] is set (the default), the tree cache is emptied upon the - function's completion, mirroring the effect of invoking {!Tree.clear}. *) + function's completion, mirroring the effect of invoking {!Tree.clear}. + *) val tree : commit -> tree (** [tree c] is [c]'s root tree. *) @@ -999,8 +1001,8 @@ module type S_generic_key = sig module Branch : sig (** {1 Branch Store} - Manipulate relations between {{!branch} branches} and {{!commit} - commits}. *) + Manipulate relations between {{!branch} branches} and + {{!commit} commits}. *) val mem : repo -> branch -> bool (** [mem r b] is true iff [b] is present in [r]. *) File "src/irmin-pack/io/chunked_suffix_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/chunked_suffix_intf.ml b/_build/default/src/irmin-pack/io/.formatted/chunked_suffix_intf.ml index 09ad711..e0b23cd 100644 --- a/_build/default/src/irmin-pack/io/chunked_suffix_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/chunked_suffix_intf.ml @@ -87,7 +87,8 @@ module type S = sig {3 RO mode} This information originates from the latest reload of the control file. - Calling [refresh_appendable_chunk_poff t] updates [appendable_chunk_poff]. *) + Calling [refresh_appendable_chunk_poff t] updates [appendable_chunk_poff]. + *) val refresh_appendable_chunk_poff : t -> int63 -> (unit, [> `Rw_not_allowed ]) result File "src/irmin-pack/io/checks_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/checks_intf.ml b/_build/default/src/irmin-pack/io/.formatted/checks_intf.ml index 9058eac..632cc08 100644 --- a/_build/default/src/irmin-pack/io/checks_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/checks_intf.ml @@ -132,10 +132,11 @@ module type Sigs = sig module Integrity_checks (Io : Io_intf.S) (XKey : Pack_key.S) - (X : Irmin.Backend.S - with type Commit.key = XKey.t - and type Node.key = XKey.t - and type Schema.Hash.t = XKey.hash) + (X : + Irmin.Backend.S + with type Commit.key = XKey.t + and type Node.key = XKey.t + and type Schema.Hash.t = XKey.hash) (Index : Pack_index.S) : sig val check_always : ?ppf:Format.formatter -> File "src/irmin-pack/io/gc.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/gc.mli b/_build/default/src/irmin-pack/io/.formatted/gc.mli index 5340b12..a2faed5 100644 --- a/_build/default/src/irmin-pack/io/gc.mli +++ b/_build/default/src/irmin-pack/io/.formatted/gc.mli @@ -57,6 +57,7 @@ module Make val finalise_without_swap : t -> Control_file_intf.Payload.Upper.Latest.gced (** Waits for the current gc to finish and returns immediately without swapping the files and doing the other finalisation steps from [finalise]. - Returns the [gced] status to create a fresh control file for the snapshot. *) + Returns the [gced] status to create a fresh control file for the snapshot. + *) end with module Args = Args File "src/irmin-pack/io/control_file_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/control_file_intf.ml b/_build/default/src/irmin-pack/io/.formatted/control_file_intf.ml index d33fac8..3e566b5 100644 --- a/_build/default/src/irmin-pack/io/control_file_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/control_file_intf.ml @@ -23,7 +23,8 @@ module Payload = struct (** [entry_offset_at_upgrade_to_v3] is the offset of the first entry that is known to have been created using [irmin_pack_version = `V2] or more. The entries before that point may be v1 entries. V1 entries need - an entry in index because it is the only place their lenght is stored. *) + an entry in index because it is the only place their lenght is stored. + *) type from_v3_gced = { suffix_start_offset : int63; generation : int } [@@deriving irmin] @@ -326,7 +327,8 @@ module type S = sig (t, [> open_error ]) result (** Create a rw instance of [t] by reading an existing file at [path]. [tmp_path] will be used by RW instances when updating it's content, it is - not required for RO instances or RW instances which will never be updated. *) + not required for RO instances or RW instances which will never be updated. + *) val close : t -> (unit, [> Io.close_error ]) result File "src/irmin-pack/io/file_manager_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/file_manager_intf.ml b/_build/default/src/irmin-pack/io/.formatted/file_manager_intf.ml index 7a567f9..fc1156d 100644 --- a/_build/default/src/irmin-pack/io/file_manager_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/file_manager_intf.ml @@ -285,7 +285,8 @@ module type S = sig the presence of a lower layer. *) val gc_destination : t -> [ `Delete | `Archive of Lower.t ] - (** Returns where data discarded by the GC will end up. (see {!gc_behaviour}). *) + (** Returns where data discarded by the GC will end up. (see {!gc_behaviour}). + *) val create_one_commit_store : t -> File "src/irmin-pack/io/inode.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/inode.ml b/_build/default/src/irmin-pack/io/.formatted/inode.ml index f6f3427..85791d1 100644 --- a/_build/default/src/irmin-pack/io/inode.ml +++ b/_build/default/src/irmin-pack/io/.formatted/inode.ml @@ -19,19 +19,22 @@ include Inode_intf module Make_persistent (H : Irmin.Hash.S) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = H.t Pack_key.t - and type node_key = H.t Pack_key.t) - (Inter : Internal - with type hash = H.t - and type key = H.t Pack_key.t - and type Snapshot.metadata = Node.metadata - and type Val.step = Node.step) - (Pack : Pack_store.S - with type hash = H.t - and type key = H.t Pack_key.t - and type value = Inter.Raw.t) = + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = H.t Pack_key.t + and type node_key = H.t Pack_key.t) + (Inter : + Internal + with type hash = H.t + and type key = H.t Pack_key.t + and type Snapshot.metadata = Node.metadata + and type Val.step = Node.step) + (Pack : + Pack_store.S + with type hash = H.t + and type key = H.t Pack_key.t + and type value = Inter.Raw.t) = struct module Raw = Inter.Raw module Pack = Pack File "src/irmin-pack/io/inode_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/inode_intf.ml b/_build/default/src/irmin-pack/io/.formatted/inode_intf.ml index 0a5429b..edea94a 100644 --- a/_build/default/src/irmin-pack/io/inode_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/inode_intf.ml @@ -70,19 +70,22 @@ module type Sigs = sig module Make_persistent (H : Irmin.Hash.S) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = H.t Pack_key.t - and type node_key = H.t Pack_key.t) - (Inter : Internal - with type hash = H.t - and type key = H.t Pack_key.t - and type Snapshot.metadata = Node.metadata - and type Val.step = Node.step) - (Pack : Pack_store.S - with type hash = H.t - and type key = H.t Pack_key.t - and type value = Inter.Raw.t) : + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = H.t Pack_key.t + and type node_key = H.t Pack_key.t) + (Inter : + Internal + with type hash = H.t + and type key = H.t Pack_key.t + and type Snapshot.metadata = Node.metadata + and type Val.step = Node.step) + (Pack : + Pack_store.S + with type hash = H.t + and type key = H.t Pack_key.t + and type value = Inter.Raw.t) : Persistent with type key = H.t Pack_key.t and type hash = H.t File "src/irmin-pack/io/gc.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/gc.ml b/_build/default/src/irmin-pack/io/.formatted/gc.ml index 648809b..85ae9a2 100644 --- a/_build/default/src/irmin-pack/io/gc.ml +++ b/_build/default/src/irmin-pack/io/.formatted/gc.ml @@ -62,9 +62,9 @@ module Make (Args : Gc_args.S) = struct previous.latest_gc_target_offset >= latest_gc_target_offset) -> Error (`Gc_disallowed - (Fmt.str "%a is less than or equal to previous GC offset of %a" - Int63.pp latest_gc_target_offset Int63.pp - previous.latest_gc_target_offset)) + (Fmt.str "%a is less than or equal to previous GC offset of %a" + Int63.pp latest_gc_target_offset Int63.pp + previous.latest_gc_target_offset)) | _ -> Ok () in let new_files_path = File "src/irmin-pack/io/pack_key_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/pack_key_intf.ml b/_build/default/src/irmin-pack/io/.formatted/pack_key_intf.ml index 1d84885..9ce1e87 100644 --- a/_build/default/src/irmin-pack/io/pack_key_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/pack_key_intf.ml @@ -27,7 +27,8 @@ module type Sigs = sig (** The internal state of a key (read with {!inspect}). Invariant: keys of the form {!Indexed} always reference values that have - entries in the index (as otherwise these keys could not be dereferenced). *) + entries in the index (as otherwise these keys could not be dereferenced). + *) type ('hash, _) unsafe_state = private | Direct : { hash : 'hash; File "src/irmin-pack/io/pack_store_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/pack_store_intf.ml b/_build/default/src/irmin-pack/io/.formatted/pack_store_intf.ml index a20780f..811bdd6 100644 --- a/_build/default/src/irmin-pack/io/pack_store_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/pack_store_intf.ml @@ -93,9 +93,10 @@ module type Sigs = sig (Fm : File_manager.S) (Dispatcher : Dispatcher.S with module Fm = Fm) (Hash : Irmin.Hash.S with type t = Fm.Index.key) - (Val : Pack_value.Persistent - with type hash := Hash.t - and type key := Hash.t Pack_key.t) + (Val : + Pack_value.Persistent + with type hash := Hash.t + and type key := Hash.t Pack_key.t) (Errs : Io_errors.S with module Io = Fm.Io) : S with type key = Hash.t Pack_key.t File "src/irmin-git/atomic_write.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/atomic_write.mli b/_build/default/src/irmin-git/.formatted/atomic_write.mli index 419e1da..5f8bd24 100644 --- a/_build/default/src/irmin-git/atomic_write.mli +++ b/_build/default/src/irmin-git/.formatted/atomic_write.mli @@ -14,7 +14,8 @@ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. *) -(** Backend module: turn a Git store into an Irmin backend for Git references. *) +(** Backend module: turn a Git store into an Irmin backend for Git references. +*) include Atomic_write_intf.Sigs (** @inline *) File "src/irmin-git/backend.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/backend.mli b/_build/default/src/irmin-git/.formatted/backend.mli index fbed34b..93a9942 100644 --- a/_build/default/src/irmin-git/backend.mli +++ b/_build/default/src/irmin-git/.formatted/backend.mli @@ -23,10 +23,11 @@ end module Make (G : G) (S : Git.Sync.S with type hash := G.hash and type store := G.t) - (Schema : Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) : sig + (Schema : + Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) : sig type t := bool ref * G.t include File "src/irmin-git/backend.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/backend.ml b/_build/default/src/irmin-git/.formatted/backend.ml index 51bd43a..a4ca574 100644 --- a/_build/default/src/irmin-git/backend.ml +++ b/_build/default/src/irmin-git/.formatted/backend.ml @@ -25,10 +25,11 @@ end module Make (G : G) (S : Git.Sync.S with type hash := G.hash and type store := G.t) - (Schema : Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) = + (Schema : + Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) = struct module Hash = Irmin.Hash.Make (G.Hash) module Schema = Schema File "src/irmin-pack/io/stats_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/stats_intf.ml b/_build/default/src/irmin-pack/io/.formatted/stats_intf.ml index 175bca4..e2a2b44 100644 --- a/_build/default/src/irmin-pack/io/stats_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/stats_intf.ml @@ -155,7 +155,8 @@ module Latest_gc = struct [suffix_transfers] contains an int for each transfer loop to the new suffix. That integer corresponds to the number of bytes copied during that - loop. The sum of these integers is equal to the "suffix" step in [files]. *) + loop. The sum of these integers is equal to the "suffix" step in [files]. + *) type stats = { generation : int; File "src/irmin-pack/io/lower.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/lower.ml b/_build/default/src/irmin-pack/io/.formatted/lower.ml index 6799a11..c8766d1 100644 --- a/_build/default/src/irmin-pack/io/lower.ml +++ b/_build/default/src/irmin-pack/io/.formatted/lower.ml @@ -162,7 +162,7 @@ struct else Error (`Volume_history_newer_than_archived_data - (control.end_offset, first_off)) + (control.end_offset, first_off)) in let mapping = Irmin_pack.Layout.V5.Volume.mapping ~root in let data = Irmin_pack.Layout.V5.Volume.data ~root in File "src/irmin-git/irmin_git_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/irmin_git_intf.ml b/_build/default/src/irmin-git/.formatted/irmin_git_intf.ml index 10a5fec..40976ca 100644 --- a/_build/default/src/irmin-git/irmin_git_intf.ml +++ b/_build/default/src/irmin-git/.formatted/irmin_git_intf.ml @@ -54,10 +54,11 @@ module type Maker = sig type endpoint = Mimic.ctx * Smart_git.Endpoint.t module Make - (Schema : Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) : + (Schema : + Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) : S with module Git = G and module Schema := Schema File "src/irmin-pack/io/store_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/store_intf.ml b/_build/default/src/irmin-pack/io/.formatted/store_intf.ml index ceb1ec6..f633099 100644 --- a/_build/default/src/irmin-pack/io/store_intf.ml +++ b/_build/default/src/irmin-pack/io/.formatted/store_intf.ml @@ -178,7 +178,8 @@ module type S = sig All exceptions that [Irmin_pack] knows how to handle are caught and returned as pretty-print error messages; others are re-raised. The error - messages should be used only for informational purposes, like logging. *) + messages should be used only for informational purposes, like logging. + *) val wait : repo -> (Stats.Latest_gc.stats option, msg) result (** [wait repo] blocks until GC is finished or is idle. @@ -187,7 +188,8 @@ module type S = sig All exceptions that [Irmin_pack] knows how to handle are caught and returned as pretty-print error messages; others are re-raised. The error - messages should be used only for informational purposes, like logging. *) + messages should be used only for informational purposes, like logging. + *) val cancel : repo -> bool (** [cancel repo] aborts the current GC and returns [true], or returns File "src/irmin-pack/io/sparse_file.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/sparse_file.ml b/_build/default/src/irmin-pack/io/.formatted/sparse_file.ml index 89d2b42..87421d6 100644 --- a/_build/default/src/irmin-pack/io/sparse_file.ml +++ b/_build/default/src/irmin-pack/io/.formatted/sparse_file.ml @@ -85,7 +85,8 @@ module Make (Io : Io_intf.S) = struct else Error (`Corrupted_mapping_file - (__FILE__ ^ ": mapping mmap size did not meet size requirements")) + (__FILE__ + ^ ": mapping mmap size did not meet size requirements")) | _ -> Error (`No_such_file_or_directory path) let close = Int64_mmap.close File "src/irmin-git/atomic_write.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/atomic_write.ml b/_build/default/src/irmin-git/.formatted/atomic_write.ml index 9fe90fc..132a50e 100644 --- a/_build/default/src/irmin-git/atomic_write.ml +++ b/_build/default/src/irmin-git/.formatted/atomic_write.ml @@ -257,8 +257,8 @@ module Make (K : Key) (G : Git.S) = struct let test_and_set t r ~test ~set = [%log.debug fun f -> - let pp = Fmt.option ~none:(Fmt.any "<none>") (Irmin.Type.pp Val.t) in - f "test_and_set %a: %a => %a" pp_branch r pp test pp set] + let pp = Fmt.option ~none:(Fmt.any "<none>") (Irmin.Type.pp Val.t) in + f "test_and_set %a: %a => %a" pp_branch r pp test pp set] ; let gr = git_of_branch r in let c = function None -> None | Some h -> Some (Git.Reference.Uid h) in File "src/irmin-pack/io/checks.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/checks.ml b/_build/default/src/irmin-pack/io/.formatted/checks.ml index 38dbb4a..8ed5e8b 100644 --- a/_build/default/src/irmin-pack/io/checks.ml +++ b/_build/default/src/irmin-pack/io/.formatted/checks.ml @@ -56,7 +56,7 @@ let ppf_or_null ppf = in match ppf with | Some p -> p -| None -> open_out null |> Format.formatter_of_out_channel + | None -> open_out null |> Format.formatter_of_out_channel module Make (Io : Io_intf.S) (Io_index : Index.Platform.S) (Store : Store) = struct File "src/irmin-mirage/git/irmin_mirage_git_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-mirage/git/irmin_mirage_git_intf.ml b/_build/default/src/irmin-mirage/git/.formatted/irmin_mirage_git_intf.ml index ac35546..aa17414 100644 --- a/_build/default/src/irmin-mirage/git/irmin_mirage_git_intf.ml +++ b/_build/default/src/irmin-mirage/git/.formatted/irmin_mirage_git_intf.ml @@ -29,10 +29,11 @@ module type Maker = sig type endpoint = Mimic.ctx * Smart_git.Endpoint.t module Make - (Schema : Irmin_git.Schema.S - with type Hash.t = G.hash - with type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) : + (Schema : + Irmin_git.Schema.S + with type Hash.t = G.hash + with type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) : S with module Git = G and type Backend.Remote.endpoint = endpoint @@ -145,10 +146,11 @@ module type Sigs = sig type endpoint = Mimic.ctx * Smart_git.Endpoint.t module Make - (Schema : Irmin_git.Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) : + (Schema : + Irmin_git.Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) : S with module Git = G and type Backend.Remote.endpoint = endpoint File "src/irmin-pack/io/pack_store.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/pack_store.ml b/_build/default/src/irmin-pack/io/.formatted/pack_store.ml index 8563a87..12a6949 100644 --- a/_build/default/src/irmin-pack/io/pack_store.ml +++ b/_build/default/src/irmin-pack/io/.formatted/pack_store.ml @@ -61,9 +61,10 @@ module Make_without_close_checks (Fm : File_manager.S) (Dispatcher : Dispatcher.S with module Fm = Fm) (Hash : Irmin.Hash.S with type t = Fm.Index.key) - (Val : Pack_value.Persistent - with type hash := Hash.t - and type key := Hash.t Pack_key.t) + (Val : + Pack_value.Persistent + with type hash := Hash.t + and type key := Hash.t Pack_key.t) (Errs : Io_errors.S with module Io = Fm.Io) = struct module Tbl = Table (Hash) @@ -534,9 +535,10 @@ module Make (Fm : File_manager.S) (Dispatcher : Dispatcher.S with module Fm = Fm) (Hash : Irmin.Hash.S with type t = Fm.Index.key) - (Val : Pack_value.Persistent - with type hash := Hash.t - and type key := Hash.t Pack_key.t) + (Val : + Pack_value.Persistent + with type hash := Hash.t + and type key := Hash.t Pack_key.t) (Errs : Io_errors.S with module Io = Fm.Io) = struct module Inner = Make_without_close_checks (Fm) (Dispatcher) (Hash) (Val) (Errs) File "src/irmin/store.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/store.ml b/_build/default/src/irmin/.formatted/store.ml index 60d9a04..9a64479 100644 --- a/_build/default/src/irmin/store.ml +++ b/_build/default/src/irmin/.formatted/store.ml @@ -129,7 +129,9 @@ module Make (B : Backend.S) = struct let write_error_t = let open Type in variant "write-error" (fun c m e -> function - | `Conflict x -> c x | `Too_many_retries x -> m x | `Test_was x -> e x) + | `Conflict x -> c x + | `Too_many_retries x -> m x + | `Test_was x -> e x) |~ case1 "conflict" string (fun x -> `Conflict x) |~ case1 "too-many-retries" int (fun x -> `Too_many_retries x) |~ case1 "test-got" (option tree_t) (fun x -> `Test_was x) @@ -1193,7 +1195,9 @@ module Make (B : Backend.S) = struct let t r = let open Type in variant "status" (fun empty branch commit -> function - | `Empty -> empty | `Branch b -> branch b | `Commit c -> commit c) + | `Empty -> empty + | `Branch b -> branch b + | `Commit c -> commit c) |~ case0 "empty" `Empty |~ case1 "branch" Branch.t (fun b -> `Branch b) |~ case1 "commit" (Commit.t r) (fun c -> `Commit c) File "test/irmin/test_tree.ml", line 1, characters 0-0: diff --git a/_build/default/test/irmin/test_tree.ml b/_build/default/test/irmin/.formatted/test_tree.ml index 0342ba9..fbc3c43 100644 --- a/_build/default/test/irmin/test_tree.ml +++ b/_build/default/test/irmin/.formatted/test_tree.ml @@ -115,13 +115,13 @@ let test_paginated_bindings () = let tree = Tree.of_concrete (`Tree - [ - ("aa", c "0"); - ("a", c "1"); - ("bbb", c "3"); - ("b", c "3"); - ("aaa", c "2"); - ]) + [ + ("aa", c "0"); + ("a", c "1"); + ("bbb", c "3"); + ("b", c "3"); + ("aaa", c "2"); + ]) in let check_sorted expected = Alcotest.(check (list string)) @@ -404,10 +404,11 @@ let test_update () = "Updating at a non-existent contents path adds a new directory entry." ~expected: (`Tree - [ - ("a", `Tree [ ("b", `Tree [ ("c", c "1"); ("c'", c "new_value") ]) ]); - unrelated_binding; - ]) + [ + ( "a", + `Tree [ ("b", `Tree [ ("c", c "1"); ("c'", c "new_value") ]) ] ); + unrelated_binding; + ]) (Tree.update abc1 [ "a"; "b"; "c'" ] (None --> Some "new_value")) in @@ -572,11 +573,11 @@ let test_fold_force () = let create_sample_tree () = Tree.of_concrete (`Tree - [ - ("a", `Tree [ ("aa", c "v-aa"); ("ab", c "v-ab"); ("ac", c "v-ac") ]); - ("b", c "v-b"); - ("c", c "v-c"); - ]) + [ + ("a", `Tree [ ("aa", c "v-aa"); ("ab", c "v-ab"); ("ac", c "v-ac") ]); + ("b", c "v-b"); + ("c", c "v-c"); + ]) in let eager_stats = Tree.{ nodes = 2; leafs = 5; skips = 0; depth = 2; width = 3 } File "src/irmin-graphql/server.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-graphql/server.ml b/_build/default/src/irmin-graphql/.formatted/server.ml index 3b966c8..3d68d10 100644 --- a/_build/default/src/irmin-graphql/server.ml +++ b/_build/default/src/irmin-graphql/.formatted/server.ml @@ -162,15 +162,16 @@ module Make_ext (Server : Cohttp_lwt.S.Server) (Config : CONFIG) (Store : Irmin.Generic_key.S with type Schema.Info.t = Config.info) - (Types : CUSTOM_TYPES - with type path := Store.path - and type metadata := Store.metadata - and type contents := Store.contents - and type hash := Store.hash - and type branch := Store.branch - and type commit_key := Store.commit_key - and type node_key := Store.node_key - and type contents_key := Store.contents_key) = + (Types : + CUSTOM_TYPES + with type path := Store.path + and type metadata := Store.metadata + and type contents := Store.contents + and type hash := Store.hash + and type branch := Store.branch + and type commit_key := Store.commit_key + and type node_key := Store.node_key + and type contents_key := Store.contents_key) = struct module IO = Server.IO module Sync = Irmin.Sync.Make (Store) File "src/irmin-pack/io/store.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/io/store.ml b/_build/default/src/irmin-pack/io/.formatted/store.ml index bef47fe..9a42aa7 100644 --- a/_build/default/src/irmin-pack/io/store.ml +++ b/_build/default/src/irmin-pack/io/.formatted/store.ml @@ -244,8 +244,7 @@ struct match Commit.CA.index_direct_with_kind t.commit h with | None -> Error - (`Commit_key_is_dangling - (Irmin.Type.to_string XKey.t key)) + (`Commit_key_is_dangling (Irmin.Type.to_string XKey.t key)) | Some (k, _kind) -> Ok k) let start ~unlink ~use_auto_finalisation ~output t commit_key = File "src/irmin/unix/irmin_unix.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin/unix/irmin_unix.mli b/_build/default/src/irmin/unix/.formatted/irmin_unix.mli index 2440d32..438eb63 100644 --- a/_build/default/src/irmin/unix/irmin_unix.mli +++ b/_build/default/src/irmin/unix/.formatted/irmin_unix.mli @@ -24,7 +24,7 @@ val info : ?author:string -> ('a, Format.formatter, unit, unit -> Irmin.Info.default) format4 -> 'a -(** [info fmt ()] creates a fresh commit info, with the {{!Irmin.Info.S.date} - date} set to [Unix.gettimeoday ()] and the {{!Irmin.Info.S.author} author} - built using [Unix.gethostname()] and [Unix.getpid()] if [author] is not - provided. *) +(** [info fmt ()] creates a fresh commit info, with the + {{!Irmin.Info.S.date} date} set to [Unix.gettimeoday ()] and the + {{!Irmin.Info.S.author} author} built using [Unix.gethostname()] and + [Unix.getpid()] if [author] is not provided. *) File "src/irmin-mirage/git/irmin_mirage_git.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-mirage/git/irmin_mirage_git.ml b/_build/default/src/irmin-mirage/git/.formatted/irmin_mirage_git.ml index 8a72667..c4434a2 100644 --- a/_build/default/src/irmin-mirage/git/irmin_mirage_git.ml +++ b/_build/default/src/irmin-mirage/git/.formatted/irmin_mirage_git.ml @@ -34,10 +34,11 @@ module Maker (G : Irmin_git.G) = struct module Maker = Irmin_git.Maker (G) (Git.Mem.Sync (G)) module Make - (S : Irmin_git.Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) = + (S : + Irmin_git.Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) = struct include Maker.Make (S) File "src/irmin-graphql/unix/irmin_graphql_unix.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-graphql/unix/irmin_graphql_unix.ml b/_build/default/src/irmin-graphql/unix/.formatted/irmin_graphql_unix.ml index 6d050a8..2746e96 100644 --- a/_build/default/src/irmin-graphql/unix/irmin_graphql_unix.ml +++ b/_build/default/src/irmin-graphql/unix/.formatted/irmin_graphql_unix.ml @@ -29,15 +29,16 @@ module Server = struct (Remote : sig val remote : remote_fn option end) - (T : Irmin_graphql.Server.CUSTOM_TYPES - with type path := S.path - and type metadata := S.metadata - and type contents := S.contents - and type hash := S.hash - and type branch := S.branch - and type commit_key := S.commit_key - and type contents_key := S.contents_key - and type node_key := S.node_key) = + (T : + Irmin_graphql.Server.CUSTOM_TYPES + with type path := S.path + and type metadata := S.metadata + and type contents := S.contents + and type hash := S.hash + and type branch := S.branch + and type commit_key := S.commit_key + and type contents_key := S.contents_key + and type node_key := S.node_key) = Irmin_graphql.Server.Make_ext (Cohttp_lwt_unix.Server) (struct File "src/irmin-graphql/unix/irmin_graphql_unix.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-graphql/unix/irmin_graphql_unix.mli b/_build/default/src/irmin-graphql/unix/.formatted/irmin_graphql_unix.mli index 1d007ab..fbf2f91 100644 --- a/_build/default/src/irmin-graphql/unix/irmin_graphql_unix.mli +++ b/_build/default/src/irmin-graphql/unix/.formatted/irmin_graphql_unix.mli @@ -38,15 +38,16 @@ module Server : sig (Remote : sig val remote : remote_fn option end) - (T : Irmin_graphql.Server.CUSTOM_TYPES - with type path := S.path - and type metadata := S.metadata - and type contents := S.contents - and type hash := S.hash - and type branch := S.branch - and type commit_key := S.commit_key - and type contents_key := S.contents_key - and type node_key := S.node_key) : + (T : + Irmin_graphql.Server.CUSTOM_TYPES + with type path := S.path + and type metadata := S.metadata + and type contents := S.contents + and type hash := S.hash + and type branch := S.branch + and type commit_key := S.commit_key + and type contents_key := S.contents_key + and type node_key := S.node_key) : Irmin_graphql.Server.S with type repo = S.repo and type server = Cohttp_lwt_unix.Server.t File "test/irmin-pack/test_hashes.ml", line 1, characters 0-0: diff --git a/_build/default/test/irmin-pack/test_hashes.ml b/_build/default/test/irmin-pack/.formatted/test_hashes.ml index 9935f00..5620323 100644 --- a/_build/default/test/irmin-pack/test_hashes.ml +++ b/_build/default/test/irmin-pack/.formatted/test_hashes.ml @@ -47,13 +47,14 @@ let check_iter iter_type (iter : 'a -> (string -> unit) -> unit) v checks = module Test (Conf : Irmin_pack.Conf.S) - (Schema : Irmin.Schema.Extended - with type Contents.t = bytes - and type Metadata.t = unit - and type Path.t = string list - and type Path.step = string - and type Branch.t = string - and module Info = Irmin.Info.Default) = + (Schema : + Irmin.Schema.Extended + with type Contents.t = bytes + and type Metadata.t = unit + and type Path.t = string list + and type Path.step = string + and type Branch.t = string + and module Info = Irmin.Info.Default) = struct module Store = struct module Maker = Irmin_pack_unix.Maker (Conf) File "src/irmin-git/unix/xgit_intf.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/unix/xgit_intf.ml b/_build/default/src/irmin-git/unix/.formatted/xgit_intf.ml index d467478..71b0446 100644 --- a/_build/default/src/irmin-git/unix/xgit_intf.ml +++ b/_build/default/src/irmin-git/unix/.formatted/xgit_intf.ml @@ -37,10 +37,11 @@ module type Backend = sig type endpoint = Mimic.ctx * Smart_git.Endpoint.t module Make - (Schema : Irmin_git.Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) : + (Schema : + Irmin_git.Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) : S with module Git = G and type Backend.Remote.endpoint = endpoint File "src/irmin-git/unix/xgit.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-git/unix/xgit.ml b/_build/default/src/irmin-git/unix/.formatted/xgit.ml index d9c663b..ad03486 100644 --- a/_build/default/src/irmin-git/unix/xgit.ml +++ b/_build/default/src/irmin-git/unix/.formatted/xgit.ml @@ -52,10 +52,11 @@ module Maker (G : Irmin_git.G) = struct end module Make - (S : Irmin_git.Schema.S - with type Hash.t = G.hash - and type Node.t = G.Value.Tree.t - and type Commit.t = G.Value.Commit.t) = + (S : + Irmin_git.Schema.S + with type Hash.t = G.hash + and type Node.t = G.Value.Tree.t + and type Commit.t = G.Value.Commit.t) = struct include Maker.S.Make (S) File "src/irmin-fs/unix/eio_pool.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-fs/unix/eio_pool.ml b/_build/default/src/irmin-fs/unix/.formatted/eio_pool.ml index e32c122..cbf44bb 100644 --- a/_build/default/src/irmin-fs/unix/eio_pool.ml +++ b/_build/default/src/irmin-fs/unix/.formatted/eio_pool.ml @@ -95,8 +95,10 @@ let validate_and_return p c = (* Acquire a pool member. *) let acquire p = if Queue.is_empty p.list then ( - if (* No more available member. *) - p.count < p.max then + if + (* No more available member. *) + p.count < p.max + then (* Limit not reached: create a new one. *) create_member p else File "src/irmin-containers/linked_log.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-containers/linked_log.mli b/_build/default/src/irmin-containers/.formatted/linked_log.mli index 16f20d2..f6d498f 100644 --- a/_build/default/src/irmin-containers/linked_log.mli +++ b/_build/default/src/irmin-containers/.formatted/linked_log.mli @@ -51,7 +51,8 @@ module Make () : S with type value = V.t (** Linked log instantiated using the {{!Irmin_fs_unix} FS backend} provided by - [Irmin_fs_unix], timestamp method {!Time.Unix} and hash {!Irmin.Hash.SHA1} *) + [Irmin_fs_unix], timestamp method {!Time.Unix} and hash {!Irmin.Hash.SHA1} +*) module FS (C : Stores.Content_addressable) (V : Irmin.Type.S) () : S with type value = V.t File "src/irmin-containers/lww_register.mli", line 1, characters 0-0: diff --git a/_build/default/src/irmin-containers/lww_register.mli b/_build/default/src/irmin-containers/.formatted/lww_register.mli index 472a66d..b0c3286 100644 --- a/_build/default/src/irmin-containers/lww_register.mli +++ b/_build/default/src/irmin-containers/.formatted/lww_register.mli @@ -32,7 +32,8 @@ module type S = sig (** Type of values stored in the register *) val read : path:Store.path -> Store.t -> value option - (** Reads the value from the register. Returns [None] if no value is written *) + (** Reads the value from the register. Returns [None] if no value is written + *) val write : ?info:Store.Info.f -> path:Store.path -> Store.t -> value -> unit (** Writes the provided value to the register *) File "test/irmin-graphql/common.mli", line 1, characters 0-0: diff --git a/_build/default/test/irmin-graphql/common.mli b/_build/default/test/irmin-graphql/.formatted/common.mli index 07d75d3..476e091 100644 --- a/_build/default/test/irmin-graphql/common.mli +++ b/_build/default/test/irmin-graphql/.formatted/common.mli @@ -30,7 +30,8 @@ type server = { } val spawn_graphql_server : unit -> server -(** Initialise a GraphQL server. At most one server may be running concurrently. *) +(** Initialise a GraphQL server. At most one server may be running concurrently. +*) type param (** Parameter to GraphQL function *) @@ -124,7 +125,8 @@ val send_query : ?vars:(string * Yojson.Safe.t) list -> string -> (string, [ `Msg of string ]) result Lwt.t -(** Send a GraphQL query string to the currently running test GraphQL instance. *) +(** Send a GraphQL query string to the currently running test GraphQL instance. +*) val members : string list -> Yojson.Safe.t -> Yojson.Safe.t (** Get key from JSON object *) File "examples/irmin-pack/kv.ml", line 1, characters 0-0: diff --git a/_build/default/examples/irmin-pack/kv.ml b/_build/default/examples/irmin-pack/.formatted/kv.ml index ebf481c..489a663 100644 --- a/_build/default/examples/irmin-pack/kv.ml +++ b/_build/default/examples/irmin-pack/.formatted/kv.ml @@ -49,7 +49,8 @@ module Repo_config = struct (** Location on disk to save the repository - Note: irmin-pack will not create the entire path, only the final directory *) + Note: irmin-pack will not create the entire path, only the final directory + *) let root = "./irmin-pack-example" (** See {!Irmin_pack.Conf} for more keys that can be used when initialising File "test/irmin-graphql/test.ml", line 1, characters 0-0: diff --git a/_build/default/test/irmin-graphql/test.ml b/_build/default/test/irmin-graphql/.formatted/test.ml index 92d7790..3364a62 100644 --- a/_build/default/test/irmin-graphql/test.ml +++ b/_build/default/test/irmin-graphql/.formatted/test.ml @@ -91,7 +91,9 @@ let test_get_tree_list : test_case = let data = strees [ "a"; "b"; "c" ] (`Tree - [ ("leaf", contents "data1"); ("branch", stree "f" (contents "data2")) ]) + [ + ("leaf", contents "data1"); ("branch", stree "f" (contents "data2")); + ]) and query = query @@ func "main" File "examples/irmin-pack/gc.ml", line 1, characters 0-0: diff --git a/_build/default/examples/irmin-pack/gc.ml b/_build/default/examples/irmin-pack/.formatted/gc.ml index 0e92f85..5fc4643 100644 --- a/_build/default/examples/irmin-pack/gc.ml +++ b/_build/default/examples/irmin-pack/.formatted/gc.ml @@ -60,7 +60,8 @@ module Repo_config = struct (** Location on disk to save the repository - Note: irmin-pack will not create the entire path, only the final directory *) + Note: irmin-pack will not create the entire path, only the final directory + *) let root = "./irmin-pack-example" (** See {!Irmin_pack.Conf} for more keys that can be used when initialising File "bench/irmin-pack/tezos_history_metrics.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/tezos_history_metrics.ml b/_build/default/bench/irmin-pack/.formatted/tezos_history_metrics.ml index 2078a1e..8a79015 100644 --- a/_build/default/bench/irmin-pack/tezos_history_metrics.ml +++ b/_build/default/bench/irmin-pack/.formatted/tezos_history_metrics.ml @@ -22,7 +22,8 @@ Computed using: - https://api.tzstats.com/series/block.json?collapse=1w&columns=n_tx,n_ops,count *) + https://api.tzstats.com/series/block.json?collapse=1w&columns=n_tx,n_ops,count +*) let weekly_stats = [ (1529884800000, 497, 16396, 1814); File "bench/irmin-pack/trace_stats.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_stats.ml b/_build/default/bench/irmin-pack/.formatted/trace_stats.ml index b3d9a94..a161655 100644 --- a/_build/default/bench/irmin-pack/trace_stats.ml +++ b/_build/default/bench/irmin-pack/.formatted/trace_stats.ml @@ -85,8 +85,7 @@ let pp name_per_path paths cols_opt = let summaries = List.map2 (fun path -> function - | `Summary s -> s - | `Trace _ -> Summary.summarise ~block_count path) + | `Summary s -> s | `Trace _ -> Summary.summarise ~block_count path) paths class_per_path in let col_count = File "bench/irmin-pack/trace_definitions.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_definitions.ml b/_build/default/bench/irmin-pack/.formatted/trace_definitions.ml index bfaecf2..3233d35 100644 --- a/_build/default/bench/irmin-pack/trace_definitions.ml +++ b/_build/default/bench/irmin-pack/.formatted/trace_definitions.ml @@ -226,7 +226,8 @@ module Stat_trace = struct store_pack : int64; } [@@deriving repr] - (** Stats extracted from filesystem. Requires the path to the irmin store. *) + (** Stats extracted from filesystem. Requires the path to the irmin store. + *) type 'pack_stats bag_of_stats_base = { pack : 'pack_stats; File "bench/irmin-pack/trace_stat_summary_utils.mli", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_stat_summary_utils.mli b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_utils.mli index 72609fa..7551b1b 100644 --- a/_build/default/bench/irmin-pack/trace_stat_summary_utils.mli +++ b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_utils.mli @@ -184,7 +184,8 @@ end vec1: | | | | (len1:4) v} - The first and last point of the input and output sequences are always equal. *) + The first and last point of the input and output sequences are always equal. +*) module Resample : sig val should_sample : i0:int -> File "test/irmin-pack/test_inode.ml", line 1, characters 0-0: diff --git a/_build/default/test/irmin-pack/test_inode.ml b/_build/default/test/irmin-pack/.formatted/test_inode.ml index e7791b0..cb4325d 100644 --- a/_build/default/test/irmin-pack/test_inode.ml +++ b/_build/default/test/irmin-pack/.formatted/test_inode.ml @@ -90,10 +90,11 @@ struct (Errs) module Context_make - (Inode : Irmin_pack_unix.Inode.Persistent - with type file_manager = File_manager.t - and type dict = Dict.t - and type dispatcher = Dispatcher.t) = + (Inode : + Irmin_pack_unix.Inode.Persistent + with type file_manager = File_manager.t + and type dict = Dict.t + and type dispatcher = Dispatcher.t) = struct type t = { store : read Inode.t; File "src/irmin-cli/resolver.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-cli/resolver.ml b/_build/default/src/irmin-cli/.formatted/resolver.ml index b0894f8..b385c90 100644 --- a/_build/default/src/irmin-cli/resolver.ml +++ b/_build/default/src/irmin-cli/.formatted/resolver.ml @@ -184,8 +184,9 @@ module Hash = struct | Fixed _, Some size -> Error (`Msg - (Fmt.str "Cannot specify a size for hash function `%s' (%d passed)." - hashname size)) + (Fmt.str + "Cannot specify a size for hash function `%s' (%d passed)." + hashname size)) let find h = of_specifier h |> function Ok h -> h | Error (`Msg e) -> failwith e File "src/irmin-pack/inode.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-pack/inode.ml b/_build/default/src/irmin-pack/.formatted/inode.ml index 3e35528..f544ee4 100644 --- a/_build/default/src/irmin-pack/inode.ml +++ b/_build/default/src/irmin-pack/.formatted/inode.ml @@ -27,10 +27,11 @@ module Make_internal val unfindable_of_hash : hash -> t end) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = Key.t - and type node_key = Key.t) = + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = Key.t + and type node_key = Key.t) = struct (** If [should_be_stable ~length ~root] is true for an inode [i], then [i] hashes the same way as a [Node.t] containing the same entries. *) @@ -666,9 +667,9 @@ struct (** [force = false] will cause [target] to raise an exception when encountering a tag [Lazy] inside a [Partial] inode. This feature is - used by [to_concrete] to make shallow the non-loaded inode branches. *) - let target : - type ptr. + used by [to_concrete] to make shallow the non-loaded inode branches. + *) + let target : type ptr. expected_depth:int -> cache:bool -> force:bool -> @@ -717,8 +718,7 @@ struct type ('input, 'output) cps = { f : 'r. 'input -> ('output -> 'r) -> 'r } [@@ocaml.unboxed] - let save : - type ptr. + let save : type ptr. broken:(hash, key) cps -> save_dirty:(ptr t, key) cps -> clear:bool -> @@ -765,8 +765,7 @@ struct broken.f (Val_ref.to_hash vref) (fun key -> Val_ref.promote_exn vref key)) - let clear : - type ptr. + let clear : type ptr. iter_dirty:(ptr layout -> ptr t -> unit) -> ptr layout -> ptr -> unit = fun ~iter_dirty layout target -> @@ -790,8 +789,7 @@ struct let key_of_ptr = Ptr.key_exn layout in Array.fold_left (fun acc -> function - | None -> acc - | Some ptr -> (None, `Inode (key_of_ptr ptr)) :: acc) + | None -> acc | Some ptr -> (None, `Inode (key_of_ptr ptr)) :: acc) [] i.entries | Values l -> StepMap.fold @@ -922,8 +920,8 @@ struct let len = Int.max_int in fun () -> seq_v layout v ~cache empty_continuation ~off ~len - let to_bin_v : - type ptr vref. ptr layout -> vref Bin.mode -> ptr v -> vref Bin.v = + let to_bin_v : type ptr vref. + ptr layout -> vref Bin.mode -> ptr v -> vref Bin.v = fun layout mode node -> Stats.incr_inode_to_binv (); match node with @@ -1582,8 +1580,8 @@ struct unsafe function is safe. *) (step, unsafe_keyvalue_of_hashvalue v) - let rec proof_of_concrete : - type a. hash Lazy.t -> Concrete.t -> (t -> a) -> a = + let rec proof_of_concrete : type a. + hash Lazy.t -> Concrete.t -> (t -> a) -> a = fun h concrete k -> match concrete with | Blinded -> k (`Blinded (Lazy.force h)) @@ -1616,8 +1614,8 @@ struct let v : truncated_ptr v = Tree { depth; length; entries } in Bin.V.hash (to_bin_v Truncated Bin.Ptr_any v) - let rec concrete_of_proof : - type a. depth:int -> t -> (hash -> Concrete.t -> a) -> a = + let rec concrete_of_proof : type a. + depth:int -> t -> (hash -> Concrete.t -> a) -> a = fun ~depth proof k -> match proof with | `Blinded h -> k h Concrete.Blinded @@ -1629,8 +1627,7 @@ struct k hash c | `Inode (length, proofs) -> concrete_of_inode ~length ~depth proofs k - and concrete_of_inode : - type a. + and concrete_of_inode : type a. length:int -> depth:int -> (int * t) list -> @@ -2324,19 +2321,22 @@ end module Make (H : Irmin.Hash.S) (Key : Irmin.Key.S with type hash = H.t) - (Node : Irmin.Node.Generic_key.S - with type hash = H.t - and type contents_key = Key.t - and type node_key = Key.t) - (Inter : Internal - with type hash = H.t - and type key = Key.t - and type Snapshot.metadata = Node.metadata - and type Val.step = Node.step) - (Pack : Indexable.S - with type hash = H.t - and type key = Key.t - and type value = Inter.Raw.t) = + (Node : + Irmin.Node.Generic_key.S + with type hash = H.t + and type contents_key = Key.t + and type node_key = Key.t) + (Inter : + Internal + with type hash = H.t + and type key = Key.t + and type Snapshot.metadata = Node.metadata + and type Val.step = Node.step) + (Pack : + Indexable.S + with type hash = H.t + and type key = Key.t + and type value = Inter.Raw.t) = struct module Hash = H module Key = Key File "bench/irmin-pack/trace_stat_summary_utils.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_stat_summary_utils.ml b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_utils.ml index 144aa65..52d39c7 100644 --- a/_build/default/bench/irmin-pack/trace_stat_summary_utils.ml +++ b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_utils.ml @@ -588,8 +588,7 @@ module Parallel_folders = struct let open_ : 'f -> ('res, 'row, 'f, 'f) open_t = fun constructor folders -> (constructor, folders) - let app : - type res f v rest acc row. + let app : type res f v rest acc row. (res, row, f, v -> rest) open_t -> (row, acc, v) folder -> (res, row, f, rest) open_t = File "bench/irmin-pack/trace_stat_summary.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_stat_summary.ml b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary.ml index 74ef242..c15499a 100644 --- a/_build/default/bench/irmin-pack/trace_stat_summary.ml +++ b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary.ml @@ -55,7 +55,8 @@ module Span = struct type atom_seen = [ `Add | `Remove | `Find | `Mem | `Mem_tree | `Checkout | `Copy | `Commit ] [@@deriving repr, enum] - (** The unitary operations played. We recorded the length of all of these. *) + (** The unitary operations played. We recorded the length of all of these. + *) type atom = [ atom_seen | `Unseen ] (** [atom_seen] plus the time between operations. The sum of these is the File "bench/irmin-pack/trace_stat_summary_pp.ml", line 1, characters 0-0: diff --git a/_build/default/bench/irmin-pack/trace_stat_summary_pp.ml b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_pp.ml index 2e4ec97..6b846cf 100644 --- a/_build/default/bench/irmin-pack/trace_stat_summary_pp.ml +++ b/_build/default/bench/irmin-pack/.formatted/trace_stat_summary_pp.ml @@ -431,7 +431,8 @@ module Table2 = struct let matrix_of_data_floor (`Data - ((scalar_format_a, scalar_format_b), floor_name, names_and_variables)) = + ((scalar_format_a, scalar_format_b), floor_name, names_and_variables)) + = let only_one_summary = List.length names_and_variables = 1 in let _, variables = List.split names_and_variables in let min0, max0, avg0, avg_ps0 = List.hd variables in @@ -560,7 +561,8 @@ module Table3 = struct let matrix_of_data_floor (`Data - ((scalar_format_a, scalar_format_b), floor_name, names_and_variables)) = + ((scalar_format_a, scalar_format_b), floor_name, names_and_variables)) + = let only_one_summary = List.length names_and_variables = 1 in let _, variables = List.split names_and_variables in let min0, max0, avg0 = List.hd variables in File "src/irmin/tree.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin/tree.ml b/_build/default/src/irmin/.formatted/tree.ml index ba353e7..b3e1a45 100644 --- a/_build/default/src/irmin/tree.ml +++ b/_build/default/src/irmin/.formatted/tree.ml @@ -540,7 +540,8 @@ module Make (P : Backend.S) = struct let update_t (elt : elt Type.t) : update Type.t = let open Type in variant "Node.update" (fun add remove -> function - | Add elt -> add elt | Remove -> remove) + | Add elt -> add elt + | Remove -> remove) |~ case1 "add" elt (fun elt -> Add elt) |~ case0 "remove" Remove |> sealv @@ -662,10 +663,11 @@ module Make (P : Backend.S) = struct assert false module Core_value - (N : Node.Generic_key.Core - with type step := step - and type hash := hash - and type metadata := metadata) + (N : + Node.Generic_key.Core + with type step := step + and type hash := hash + and type metadata := metadata) (To_elt : sig type repo @@ -961,8 +963,8 @@ module Make (P : Backend.S) = struct | Node x -> a_of_hashable P.Node.Val.hash_exn x | Pnode x -> a_of_hashable P.Node_portable.hash_exn x) - and hash_preimage_of_map : - type r. cache:bool -> t -> map -> (hash_preimage, r) cont = + and hash_preimage_of_map : type r. + cache:bool -> t -> map -> (hash_preimage, r) cont = fun ~cache t map k -> Atomic.incr cnt.node_val_v; let bindings = StepMap.to_seq map in @@ -1005,8 +1007,8 @@ module Make (P : Backend.S) = struct if cache then Atomic.set t.info.value (Some node); k (Node node) - and hash_preimage_value_of_elt : - type r. cache:bool -> elt -> (hash_preimage_value, r) cont = + and hash_preimage_value_of_elt : type r. + cache:bool -> elt -> (hash_preimage_value, r) cont = fun ~cache e k -> match e with | `Contents (c, m) -> ( @@ -1018,8 +1020,7 @@ module Make (P : Backend.S) = struct | Some key -> k (Node_value (`Node key)) | None -> hash ~cache n (fun hash -> k (Pnode_value (`Node hash)))) - and hash_preimage_of_updates : - type r. + and hash_preimage_of_updates : type r. cache:bool -> t -> hash_preimage -> updatemap -> (hash_preimage, r) cont = fun ~cache t v updates k -> @@ -1410,8 +1411,7 @@ module Make (P : Backend.S) = struct (** A ('val, 'acc, 'r) cps_folder is a CPS, threaded fold function over values of type ['v] producing an accumulator of type ['acc]. *) - let fold : - type acc. + let fold : type acc. order:[ `Sorted | `Undefined | `Random of Random.State.t ] -> force:acc force -> cache:bool -> @@ -2147,7 +2147,8 @@ module Make (P : Backend.S) = struct "@[<v 2>Tree.export: added inconsistent node binding@,\ key: %a@,\ value: %a@,\ - computed hash: %a@]" pp_node_key key Node.pp_value v pp_hash h' + computed hash: %a@]" + pp_node_key key Node.pp_value v pp_hash h' in k key in @@ -2167,7 +2168,8 @@ module Make (P : Backend.S) = struct assertion_failure "Encountered child node value with uncached key \ during export:@,\ - @ @[%a@]" dump v) + @ @[%a@]" + dump v) | `Contents (c, m) -> ( match Contents.cached_key c with | Some k -> (step, `Contents (k, m)) @@ -2175,7 +2177,8 @@ module Make (P : Backend.S) = struct assertion_failure "Encountered child contents value with uncached key \ during export:@,\ - @ @[%a@]" dump v)) + @ @[%a@]" + dump v)) |> P.Node.Val.of_seq in add_node n node k @@ -2194,7 +2197,8 @@ module Make (P : Backend.S) = struct assertion_failure "Encountered child node value with uncached key during \ export:@,\ - @ @[%a@]" dump v) + @ @[%a@]" + dump v) | Add (`Contents (c, m) as v) -> ( match Contents.cached_key c with | Some ptr -> P.Node.Val.add acc k (`Contents (ptr, m)) @@ -2202,7 +2206,8 @@ module Make (P : Backend.S) = struct assertion_failure "Encountered child contents value with uncached key \ during export:@,\ - @ @[%a@]" dump v)) + @ @[%a@]" + dump v)) updates v in add_node n node k @@ -2324,8 +2329,7 @@ module Make (P : Backend.S) = struct (* [n.v = (Key _ | Portable_dirty _ | Pruned _)] is excluded above. *) assert false))) - and on_contents : - type r. + and on_contents : type r. [ `Contents of Contents.t * metadata ] -> ([ `Content_exported ], r) cont_lwt = fun (`Contents (c, _)) k -> @@ -2346,14 +2350,14 @@ module Make (P : Backend.S) = struct "@[<v 2>Tree.export: added inconsistent contents binding@,\ key: %a@,\ value: %a@,\ - computed hash: %a@]" pp_contents_key key pp_contents v pp_hash - h' + computed hash: %a@]" + pp_contents_key key pp_contents v pp_hash h' in Contents.export ?clear repo c key; k `Content_exported | Contents.Pruned h -> pruned_hash_exn "export" h - and on_node_seq : - type r. Node.elt Seq.t -> ([ `Node_children_exported ], r) cont_lwt = + and on_node_seq : type r. + Node.elt Seq.t -> ([ `Node_children_exported ], r) cont_lwt = fun seq k -> match seq () with | Seq.Nil -> @@ -2518,8 +2522,7 @@ module Make (P : Backend.S) = struct tree StepMap.empty childs (function | Empty -> k Empty | Non_empty n -> k (Non_empty (`Node n))) - and tree : - type r. + and tree : type r. Node.elt StepMap.t -> (step * concrete) list -> (node or_empty, r) cont = fun map t k -> @@ -2561,8 +2564,7 @@ module Make (P : Backend.S) = struct fun (c, m) k -> let c = Contents.to_value ~cache:true c |> get_ok "to_concrete" in k (`Contents (c, m)) - and node : - type r. + and node : type r. (step * concrete) list -> (step * Node.elt) list -> ((step * concrete) list, r) cont_lwt = @@ -2639,8 +2641,8 @@ module Make (P : Backend.S) = struct | `Contents (c, h) -> proof_of_contents c h k | `Node node -> proof_of_node node k - and proof_of_contents : - type a. Contents.t -> metadata -> (proof_tree -> a) -> a = + and proof_of_contents : type a. + Contents.t -> metadata -> (proof_tree -> a) -> a = fun c m k -> match Contents.cached_value c with | Some v -> k (Contents (v, m)) @@ -2670,8 +2672,8 @@ module Make (P : Backend.S) = struct (** [of_node_proof n np] is [p] (of type [Tree.Proof.t]) which is very similar to [np] (of type [P.Node.Val.proof]) except that the values loaded in [n] have been expanded. *) - and proof_of_node_proof : - type a. node -> node_proof -> (proof_tree -> a) -> a = + and proof_of_node_proof : type a. + node -> node_proof -> (proof_tree -> a) -> a = fun node p k -> match p with | `Blinded h -> k (Blinded_node h) @@ -2679,17 +2681,16 @@ module Make (P : Backend.S) = struct iproof_of_inode node length proofs (fun p -> proof_of_iproof p |> k) | `Values vs -> iproof_of_values node vs (fun p -> proof_of_iproof p |> k) - and iproof_of_node_proof : - type a. node -> node_proof -> (proof_inode -> a) -> a = + and iproof_of_node_proof : type a. + node -> node_proof -> (proof_inode -> a) -> a = fun node p k -> match p with | `Blinded h -> k (Blinded_inode h) | `Inode (length, proofs) -> iproof_of_inode node length proofs k | `Values vs -> iproof_of_values node vs k - and iproof_of_inode : - type a. node -> int -> (_ * node_proof) list -> (proof_inode -> a) -> a - = + and iproof_of_inode : type a. + node -> int -> (_ * node_proof) list -> (proof_inode -> a) -> a = fun node length proofs k -> let rec aux acc = function | [] -> k (Inode_tree { length; proofs = List.rev acc }) @@ -2721,8 +2722,7 @@ module Make (P : Backend.S) = struct k (Inode_tree { length; proofs = [ (index, p) ] })) | _ -> aux [] proofs - and iproof_of_values : - type a. + and iproof_of_values : type a. node -> (step * Node.pnode_value) list -> (proof_inode -> a) -> a = let findv = let value_of_key ~cache:_ _node _repo k = @@ -2761,8 +2761,7 @@ module Make (P : Backend.S) = struct load_extender_proof ~env length segments proof k (* Recontruct private node from [P.Node.Val.proof] *) - and load_extender_proof : - type a. + and load_extender_proof : type a. env:_ -> int -> int list -> proof_inode -> (kinded_hash -> a) -> a = fun ~env len segments p k -> node_proof_of_proof ~env p (fun p -> @@ -2783,8 +2782,8 @@ module Make (P : Backend.S) = struct p (List.rev segments) (* Recontruct private node from [P.Node.Val.empty] *) - and load_node_proof : - type a. env:_ -> (step * proof_tree) list -> (kinded_hash -> a) -> a = + and load_node_proof : type a. + env:_ -> (step * proof_tree) list -> (kinded_hash -> a) -> a = fun ~env n k -> let rec aux acc = function | [] -> @@ -2798,8 +2797,7 @@ module Make (P : Backend.S) = struct aux (P.Node_portable.empty ()) n (* Recontruct private node from [P.Node.Val.proof] *) - and load_inode_proof : - type a. + and load_inode_proof : type a. env:_ -> int -> (_ * proof_inode) list -> (kinded_hash -> a) -> a = fun ~env len proofs k -> let rec aux : _ list -> _ list -> a = @@ -2822,8 +2820,8 @@ module Make (P : Backend.S) = struct in aux [] proofs - and node_proof_of_proof : - type a. env:_ -> proof_inode -> (node_proof -> a) -> a = + and node_proof_of_proof : type a. + env:_ -> proof_inode -> (node_proof -> a) -> a = fun ~env t k -> match t with | Blinded_inode x -> k (`Blinded x) @@ -2834,9 +2832,8 @@ module Make (P : Backend.S) = struct node_proof_of_proof ~env proof (fun p -> k (proof_of_extender length segments p)) - and node_proof_of_inode : - type a. env:_ -> int -> (_ * proof_inode) list -> (node_proof -> a) -> a - = + and node_proof_of_inode : type a. + env:_ -> int -> (_ * proof_inode) list -> (node_proof -> a) -> a = fun ~env length proofs k -> let rec aux acc = function | [] -> k (`Inode (length, List.rev acc)) @@ -2845,8 +2842,8 @@ module Make (P : Backend.S) = struct in aux [] proofs - and node_proof_of_node : - type a. env:_ -> (step * proof_tree) list -> (node_proof -> a) -> a = + and node_proof_of_node : type a. + env:_ -> (step * proof_tree) list -> (node_proof -> a) -> a = fun ~env node k -> let rec aux acc = function | [] -> k (`Values (List.rev acc)) File "src/irmin-test/store.ml", line 1, characters 0-0: diff --git a/_build/default/src/irmin-test/store.ml b/_build/default/src/irmin-test/.formatted/store.ml index 7388caa..46cc89e 100644 --- a/_build/default/src/irmin-test/store.ml +++ b/_build/default/src/irmin-test/.formatted/store.ml @@ -1222,13 +1222,13 @@ module Make (S : Generic_key) = struct let c ?(info = S.Metadata.default) blob = `Contents (blob, info) in S.Tree.of_concrete (`Tree - [ - ("aa", c "0"); - ("a", c "1"); - ("bbb", c "3"); - ("b", c "3"); - ("aaa", c "1"); - ]) + [ + ("aa", c "0"); + ("a", c "1"); + ("bbb", c "3"); + ("b", c "3"); + ("aaa", c "1"); + ]) in let _ = S.set_tree_exn t ~info:(infof "add tree") [] tree in let e = S.Tree.get_tree tree [ "a" ] in @@ -2327,7 +2327,7 @@ module Make (S : Generic_key) = struct let node_b = S.Tree.destruct tree - |> (function `Contents _ -> assert false | `Node n -> n) + |> ( function `Contents _ -> assert false | `Node n -> n ) |> S.to_backend_node in let node_ph = pre_hash_of S.Backend.Node.Val.t node_b in dune build @fmt failed "/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 2 2025-06-24 16:27.47: Job failed: Failed: Build failed