2026-01-28 09:45.56: New job: test ocaml/odoc https://github.com/ocaml/odoc.git#refs/pull/1399/head (80bf1f1eeff09c24658b0f0775b45f58395b58c6) (linux-x86_64:(lint-fmt))Base: ocaml/opam:debian-13-ocaml-4.08@sha256:7cdc2a1943ac1462f548be7816c6d02f14e605659f225027208abe04795ea500ocamlformat version: version 0.27.0 (from opam)To reproduce locally:git clone --recursive "https://github.com/ocaml/odoc.git" && cd "odoc" && git fetch origin "refs/pull/1399/head" && git reset --hard 80bf1f1ecat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-4.08@sha256:7cdc2a1943ac1462f548be7816c6d02f14e605659f225027208abe04795ea500USER 1000:1000RUN cd ~/opam-repository && (git cat-file -e 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && git log --no-decorate -n1 --oneline && opam update -uRUN opam depext -i duneWORKDIR /srcRUN opam depext -i ocamlformat=0.27.0COPY --chown=1000:1000 . /src/RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)END-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-01-28 09:45.56: Using cache hint "ocaml/odoc-ocaml/opam:debian-13-ocaml-4.08@sha256:7cdc2a1943ac1462f548be7816c6d02f14e605659f225027208abe04795ea500-debian-13-4.08_opam-2.5-ocamlformat-873cb18c37b308713d11ad3894c4bb78d73fb3e7"2026-01-28 09:45.56: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-4.08@sha256:7cdc2a1943ac1462f548be7816c6d02f14e605659f225027208abe04795ea500)(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 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && 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)")))2026-01-28 09:45.56: Waiting for resource in pool OCluster2026-01-28 09:45.56: Waiting for worker…2026-01-28 09:51.47: Got resource from pool OClusterBuilding on eumacheAll commits already cachedHEAD is now at 80bf1f1ee Backward compatibility in syntax highlighter(from ocaml/opam:debian-13-ocaml-4.08@sha256:7cdc2a1943ac1462f548be7816c6d02f14e605659f225027208abe04795ea500)2026-01-28 09:52.04 ---> saved as "4c1f60dc0cc5644c6a4c05cf3315bdbf9cc478b70e443b212a1220385bab8bba"/: (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 873cb18c37b308713d11ad3894c4bb78d73fb3e7 || git fetch origin master) && git reset -q --hard 873cb18c37b308713d11ad3894c4bb78d73fb3e7 && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADa6b2f19780..40a5827282 master -> origin/master873cb18c37 Merge pull request #29216 from shonfeder/release-dune-3.21.0<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] Initialiseddefault (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 environment2026-01-28 09:53.49 ---> saved as "72a7cd495abee3d0659c15140c96fff42d035222fc9b794ad453f1a5292cd6f1"/: (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 packagesThe following actions will be performed:- install dune 3.21.0<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>[dune.3.21.0] found in cache<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> installed dune.3.21.0Done.# Run eval $(opam env) to update the current shell environment2026-01-28 09:55.20 ---> saved as "3b5aee51bb4636e6dab95deb6944478b896d0b06f021712424b773f7d70073ac"/: (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 packagesThe following actions will be performed:- install sexplib0 v0.14.0 [required by base]- install ocamlbuild 0.16.1 [required by fpath, astring, uuseg]- install cmdliner 1.3.0 [required by ocamlformat]- install either 1.0.0 [required by ocamlformat-lib]- install menhirLib 20250912 [required by ocamlformat-lib]- install csexp 1.5.2 [required by ocamlformat]- install dune-build-info 3.21.0 [required by ocamlformat-lib]- install camlp-streams 5.0.1 [required by ocamlformat-lib]- install seq base [required by re]- install menhirSdk 20250912 [required by ocamlformat-lib]- install fix 20250919 [required by ocamlformat-lib]- install menhirCST 20250912 [required by menhir]- install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg]- install ocaml-version 4.0.3 [required by ocamlformat-lib]- install dune-configurator 3.21.0 [required by base]- install re 1.11.0 [required by ocamlformat]- install menhir 20250912 [required by ocamlformat-lib]- install topkg 1.1.1 [required by fpath, astring, uuseg]- install ocp-indent 1.9.0 [required by ocamlformat-lib]- 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 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===== 28 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.21.0] found in cache[dune-configurator.3.21.0] found in cache[either.1.0.0] found in cache[fix.20250919] found in cache[fpath.0.7.3] found in cache[menhir.20250912] found in cache[menhirCST.20250912] found in cache[menhirLib.20250912] found in cache[menhirSdk.20250912] found in cache[ocaml-version.4.0.3] 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.9.0] 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.1.1] 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 csexp.1.5.2-> installed either.1.0.0-> installed fix.20250919-> installed cmdliner.1.3.0-> installed menhirCST.20250912-> installed menhirLib.20250912-> installed menhirSdk.20250912-> installed ocaml-version.4.0.3-> installed re.1.11.0-> installed sexplib0.v0.14.0-> installed dune-build-info.3.21.0-> installed dune-configurator.3.21.0-> installed ocamlfind.1.9.8-> installed ocamlbuild.0.16.1-> installed ocp-indent.1.9.0-> installed base.v0.14.3-> installed topkg.1.1.1-> installed menhir.20250912-> installed stdio.v0.14.0-> installed uutf.1.0.4-> installed astring.0.8.5-> installed fpath.0.7.3-> installed uucp.15.0.0-> installed uuseg.15.0.0-> installed ocamlformat-lib.0.27.0-> installed ocamlformat.0.27.0Done.<><> ocp-indent.1.9.0 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 environment2026-01-28 09:57.58 ---> saved as "2ae43ae662b95641fa2bf73d980051b9145f20314d85ad107c6a3257b77df4e6"/src: (copy (src .) (dst /src/))2026-01-28 09:58.10 ---> saved as "6e656b9367873659c690e64019f7060130261536791381d91a4c622615aa9e86"/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))ocamlformat: ignoring "src/loader/ident_env.ml" (syntax error)File "src/loader/ident_env.ml", line 116, characters 1-3:116 | #if OCAML_VERSION < (5,2,0)^^Error: Syntax error-> required by _build/default/src/loader/.formatted/ident_env.ml-> required by alias src/loader/.formatted/fmt-> required by alias src/loader/fmtFile "src/model/lang.ml", line 1, characters 0-0:diff --git a/_build/default/src/model/lang.ml b/_build/default/src/model/.formatted/lang.mlindex 300fee5..0e3960e 100644--- a/_build/default/src/model/lang.ml+++ b/_build/default/src/model/.formatted/lang.ml@@ -17,12 +17,12 @@open Pathsmodule Source_loc_jane = struct- type t = { filename: string ; line_number: int }+ type t = { filename : string; line_number : int }- let of_location (build_dir : string) (loc: Location.t) =- let { Location.loc_start ; _ } = loc in- let { pos_fname ; pos_lnum ; _ } = loc_start in- { filename = build_dir ^ "/" ^ pos_fname ; line_number = pos_lnum }+ let of_location (build_dir : string) (loc : Location.t) =+ let { Location.loc_start; _ } = loc in+ let { pos_fname; pos_lnum; _ } = loc_start in+ { filename = build_dir ^ "/" ^ pos_fname; line_number = pos_lnum }end(** {3 Modules} *)@@ -111,7 +111,7 @@ and ModuleType : sigs_expansion : simple_expansion option;s_expr : U.expr;s_path : Path.Module.t;- s_aliasable : bool+ s_aliasable : bool;}type expr =@@ -527,11 +527,8 @@ end =Compilation_unitmodule rec Source_info : sig- type point_in_file = {- pos_lnum : int;- pos_cnum : int;- }- type location_in_file = {loc_start : point_in_file ; loc_end: point_in_file}+ type point_in_file = { pos_lnum : int; pos_cnum : int }+ type location_in_file = { loc_start : point_in_file; loc_end : point_in_file }type 'a jump_to_impl =| Unresolved of 'a@@ -607,8 +604,7 @@ let extract_signature_doc (s : Signature.t) =| ModuleType.U.Path p -> Path.is_hidden (p :> Path.t)| Signature _ ->true (* Hidden in some sense, we certainly want its top comment *)- | With (_, e)- | Strengthen (e, _, _) -> uexpr_considered_hidden e+ | With (_, e) | Strengthen (e, _, _) -> uexpr_considered_hidden e| TypeOf (ModPath p, _) | TypeOf (StructInclude p, _) ->Path.is_hidden (p :> Path.t)inFile "src/occurrences/table.ml", line 1, characters 0-0:diff --git a/_build/default/src/occurrences/table.ml b/_build/default/src/occurrences/.formatted/table.mlindex 3ed98bf..cebb763 100644--- a/_build/default/src/occurrences/table.ml+++ b/_build/default/src/occurrences/.formatted/table.ml@@ -123,7 +123,8 @@ module Strip = struct| { iv = #DataType.t_pv; _ } as v ->(strip_datatype_path v :> FieldParent.t)- and strip_unboxed_field_parent_path : UnboxedFieldParent.t -> UnboxedFieldParent.t =+ and strip_unboxed_field_parent_path :+ UnboxedFieldParent.t -> UnboxedFieldParent.t =fun x ->match x with| { iv = #DataType.t_pv; _ } as v ->File "src/model/paths_types.ml", line 1, characters 0-0:diff --git a/_build/default/src/model/paths_types.ml b/_build/default/src/model/.formatted/paths_types.mlindex eb24f8c..3550ffa 100644--- a/_build/default/src/model/paths_types.ml+++ b/_build/default/src/model/.formatted/paths_types.ml@@ -155,7 +155,8 @@ module Identifier = structand field = field_pv id(** @canonical Odoc_model.Paths.Identifier.Field.t *)- type unboxed_field_pv = [ `UnboxedField of unboxed_field_parent * UnboxedFieldName.t ]+ type unboxed_field_pv =+ [ `UnboxedField of unboxed_field_parent * UnboxedFieldName.t ](** @canonical Odoc_model.Paths.Identifier.UnboxedField.t_pv *)and unboxed_field = unboxed_field_pv idFile "src/xref2/find.mli", line 1, characters 0-0:diff --git a/_build/default/src/xref2/find.mli b/_build/default/src/xref2/.formatted/find.mliindex b87ed5f..b26d4c1 100644--- a/_build/default/src/xref2/find.mli+++ b/_build/default/src/xref2/.formatted/find.mli@@ -39,7 +39,8 @@ type field = [ `FField of TypeDecl.Field.t ]type unboxed_field = [ `FUnboxedField of TypeDecl.UnboxedField.t ]-type any_in_type = [ constructor | field | unboxed_field | polymorphic_constructor ]+type any_in_type =+ [ constructor | field | unboxed_field | polymorphic_constructor ]type any_in_type_in_sig = [ `In_type of TypeName.t * TypeDecl.t * any_in_type ]File "src/xref2/env.mli", line 1, characters 0-0:diff --git a/_build/default/src/xref2/env.mli b/_build/default/src/xref2/.formatted/env.mliindex f6651e6..4139860 100644--- a/_build/default/src/xref2/env.mli+++ b/_build/default/src/xref2/.formatted/env.mli@@ -64,7 +64,8 @@ val add_module_type :val add_value : Identifier.Value.t -> Component.Value.t -> t -> t-val add_label : Identifier.Label.t -> Component.Label.t -> t -> unboxed:bool -> t+val add_label :+ Identifier.Label.t -> Component.Label.t -> t -> unboxed:bool -> tval add_class : Identifier.Class.t -> Component.Class.t -> t -> tFile "src/xref2/component.mli", line 1, characters 0-0:diff --git a/_build/default/src/xref2/component.mli b/_build/default/src/xref2/.formatted/component.mliindex aab0e19..54ee5e8 100644--- a/_build/default/src/xref2/component.mli+++ b/_build/default/src/xref2/.formatted/component.mli@@ -213,7 +213,7 @@ and ModuleType : sigs_expansion : simple_expansion option;s_expr : U.expr;s_path : Cpath.module_;- s_aliasable : bool+ s_aliasable : bool;}type expr =File "src/xref2/expand_tools.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/expand_tools.ml b/_build/default/src/xref2/.formatted/expand_tools.mlindex 7d28e5b..e1511dd 100644--- a/_build/default/src/xref2/expand_tools.ml+++ b/_build/default/src/xref2/.formatted/expand_tools.ml@@ -58,7 +58,8 @@ let rec type_expr map t =if List.mem_assoc s map then raise Clash else Alias (type_expr map t, s)| Arrow (l, t1, t2) -> Arrow (l, type_expr map t1, type_expr map t2)| Tuple ts -> Tuple (List.map (fun (l, ty) -> (l, type_expr map ty)) ts)- | Unboxed_tuple ts -> Unboxed_tuple (List.map (fun (l, t) -> l, type_expr map t) ts)+ | Unboxed_tuple ts ->+ Unboxed_tuple (List.map (fun (l, t) -> (l, type_expr map t)) ts)| Constr (p, ts) -> Constr (p, List.map (type_expr map) ts)| Polymorphic_variant pv -> Polymorphic_variant (polymorphic_variant map pv)| Object o -> Object (object_ map o)File "src/xref2/find.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/find.ml b/_build/default/src/xref2/.formatted/find.mlindex e73fd96..84c49b1 100644--- a/_build/default/src/xref2/find.ml+++ b/_build/default/src/xref2/.formatted/find.ml@@ -40,7 +40,8 @@ type field = [ `FField of TypeDecl.Field.t ]type unboxed_field = [ `FUnboxedField of TypeDecl.UnboxedField.t ]-type any_in_type = [ constructor | field | unboxed_field | polymorphic_constructor ]+type any_in_type =+ [ constructor | field | unboxed_field | polymorphic_constructor ]type any_in_type_in_sig =[ `In_type of Odoc_model.Names.TypeName.t * TypeDecl.t * any_in_type ]@@ -209,7 +210,8 @@ let any_in_type (typ : TypeDecl.t) name =| [] -> Noneinlet rec find_unboxed_field = function- | ({ TypeDecl.UnboxedField.name = name'; _ } as field) :: _ when name' = name ->+ | ({ TypeDecl.UnboxedField.name = name'; _ } as field) :: _+ when name' = name ->Some (`FUnboxedField field)| _ :: tl -> find_unboxed_field tl| [] -> NoneFile "src/model/reference.ml", line 1, characters 0-0:diff --git a/_build/default/src/model/reference.ml b/_build/default/src/model/.formatted/reference.mlindex 68d2425..f0659b3 100644--- a/_build/default/src/model/reference.ml+++ b/_build/default/src/model/.formatted/reference.ml@@ -480,7 +480,8 @@ let parse whole_reference_location s :| `TField ->`Field (parent next_token tokens, FieldName.make_std identifier)| `TUnboxedField ->- `UnboxedField (parent next_token tokens, UnboxedFieldName.make_std identifier)+ `UnboxedField+ (parent next_token tokens, UnboxedFieldName.make_std identifier)| `TExtension ->`Extension(signature next_token tokens, ExtensionName.make_std identifier)File "src/model_desc/paths_desc.ml", line 1, characters 0-0:diff --git a/_build/default/src/model_desc/paths_desc.ml b/_build/default/src/model_desc/.formatted/paths_desc.mlindex 90c8e5a..7edea31 100644--- a/_build/default/src/model_desc/paths_desc.ml+++ b/_build/default/src/model_desc/.formatted/paths_desc.ml@@ -338,7 +338,10 @@ module General_paths = struct| `Field (x1, x2) ->C ("`Field", ((x1 :> r), x2), Pair (reference, Names.fieldname))| `UnboxedField (x1, x2) ->- C ("`UnboxedField", ((x1 :> r), x2), Pair (reference, Names.unboxedfieldname))+ C+ ( "`UnboxedField",+ ((x1 :> r), x2),+ Pair (reference, Names.unboxedfieldname) )| `Extension (x1, x2) ->C( "`Extension",File "src/model_desc/lang_desc.ml", line 1, characters 0-0:diff --git a/_build/default/src/model_desc/lang_desc.ml b/_build/default/src/model_desc/.formatted/lang_desc.mlindex 5c50948..42148db 100644--- a/_build/default/src/model_desc/lang_desc.ml+++ b/_build/default/src/model_desc/.formatted/lang_desc.ml@@ -184,10 +184,10 @@ and moduletype_u_expr =(t, (o :> Paths.Path.t)),Pair (moduletype_type_of_desc, path) )| Strengthen (e, x, a) ->- C- ( "Strengthen",- (e, (x :> Paths.Path.t), a),- Triple (moduletype_u_expr, path, bool) ))+ C+ ( "Strengthen",+ (e, (x :> Paths.Path.t), a),+ Triple (moduletype_u_expr, path, bool) ))and moduletype_t =let open Lang.ModuleType in@@ -358,7 +358,8 @@ and typedecl_representation =(function| Variant x -> C ("Variant", x, List typedecl_constructor)| Record x -> C ("Record", x, List typedecl_field)- | Record_unboxed_product x -> C ("Record_unboxed_product", x, List typedecl_unboxed_field)+ | Record_unboxed_product x ->+ C ("Record_unboxed_product", x, List typedecl_unboxed_field)| Extensible -> C0 "Extensible")and typedecl_variance =@@ -657,7 +658,8 @@ and typeexpr_t =(x1, x2, x3),Triple (Option typeexpr_label, typeexpr_t, typeexpr_t) )| Tuple x -> C ("Tuple", x, List (Pair (Option string, typeexpr_t)))- | Unboxed_tuple x -> C ("Unboxed_tuple", x, List (Pair (Option string, typeexpr_t)))+ | Unboxed_tuple x ->+ C ("Unboxed_tuple", x, List (Pair (Option string, typeexpr_t)))| Constr (x1, x2) ->C ("Constr", ((x1 :> Paths.Path.t), x2), Pair (path, List typeexpr_t))| Polymorphic_variant x ->@@ -817,7 +819,8 @@ and source_info_location_in_file_t : Lang.Source_info.location_in_file t =F ("loc_end", (fun t -> t.loc_end), source_info_point_in_file_t);]-and source_info_annotation_with_pos_t : Lang.Source_info.annotation Lang.Source_info.with_pos t =+and source_info_annotation_with_pos_t :+ Lang.Source_info.annotation Lang.Source_info.with_pos t =Pair (source_info_annotation_t, source_info_location_in_file_t)and source_info_t : Lang.Source_info.t t =File "src/model/paths.ml", line 1, characters 0-0:diff --git a/_build/default/src/model/paths.ml b/_build/default/src/model/.formatted/paths.mlindex a3ec2a1..42ca6b5 100644--- a/_build/default/src/model/paths.ml+++ b/_build/default/src/model/.formatted/paths.ml@@ -169,7 +169,8 @@ module Identifier = struct(p : class_signature :> label_parent)| { iv = `Constructor (p, _); _ } -> (p : datatype :> label_parent)| { iv = `Field (p, _); _ } -> (p : field_parent :> label_parent)- | { iv = `UnboxedField (p, _); _ } -> (p : unboxed_field_parent :> label_parent)+ | { iv = `UnboxedField (p, _); _ } ->+ (p : unboxed_field_parent :> label_parent)let label_parent n = label_parent_aux (n :> Id.non_src)@@ -580,7 +581,8 @@ module Identifier = structlet unboxed_field :UnboxedFieldParent.t * UnboxedFieldName.t ->[> `UnboxedField of UnboxedFieldParent.t * UnboxedFieldName.t ] id =- mk_parent UnboxedFieldName.to_string "unboxedfld" (fun (p, n) -> `UnboxedField (p, n))+ mk_parent UnboxedFieldName.to_string "unboxedfld" (fun (p, n) ->+ `UnboxedField (p, n))let extension :Signature.t * ExtensionName.t ->@@ -1032,10 +1034,12 @@ module Reference = struct| `Type _ as t ->(parent_type_identifier t :> Identifier.FieldParent.t option)- and unboxed_field_parent_identifier : unboxed_field_parent -> Identifier.UnboxedFieldParent.t option =+ and unboxed_field_parent_identifier :+ unboxed_field_parent -> Identifier.UnboxedFieldParent.t option =function| `Identifier id -> Some id- | `Type _ as t -> (parent_type_identifier t :> Identifier.UnboxedFieldParent.t option)+ | `Type _ as t ->+ (parent_type_identifier t :> Identifier.UnboxedFieldParent.t option)and label_parent_identifier :label_parent -> Identifier.LabelParent.t option = functionFile "src/xref2/compile.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/compile.ml b/_build/default/src/xref2/.formatted/compile.mlindex 3873010..a6f4113 100644--- a/_build/default/src/xref2/compile.ml+++ b/_build/default/src/xref2/.formatted/compile.ml@@ -784,7 +784,7 @@ and type_decl_representation :| Variant cs -> Variant (List.map (type_decl_constructor env parent) cs)| Record fs -> Record (List.map (type_decl_field env parent) fs)| Record_unboxed_product fs ->- Record_unboxed_product (List.map (type_decl_unboxed_field env parent) fs)+ Record_unboxed_product (List.map (type_decl_unboxed_field env parent) fs)| Extensible -> Extensibleand type_decl_field env parent f =@@ -921,7 +921,8 @@ and type_expression : Env.t -> Id.LabelParent.t -> _ -> _ =Tuple(List.map (fun (lbl, ty) -> (lbl, type_expression env parent ty)) ts)| Unboxed_tuple ts ->- Unboxed_tuple (List.map (fun (l, t) -> l, type_expression env parent t) ts)+ Unboxed_tuple+ (List.map (fun (l, t) -> (l, type_expression env parent t)) ts)| Constr (path, ts') -> (let cp = Component.Of_Lang.(type_path (empty ()) path) inlet ts = List.map (type_expression env parent) ts' inFile "src/index/skeleton.ml", line 1, characters 0-0:diff --git a/_build/default/src/index/skeleton.ml b/_build/default/src/index/.formatted/skeleton.mlindex 30350ed..14f6665 100644--- a/_build/default/src/index/skeleton.ml+++ b/_build/default/src/index/.formatted/skeleton.ml@@ -13,14 +13,16 @@ module Entry = structlet doc =match u.content with Pack _ -> [] | Module m -> m.doc.elementsin- Entry.entry ~id:u.id ~doc ~kind:(Module { has_expansion })+ Entry.entry ~id:u.id ~doc+ ~kind:(Module { has_expansion })~source_loc:u.source_loc_janelet of_module (m : Module.t) =let has_expansion =match m.type_ with Alias (_, None) -> false | _ -> truein- Entry.entry ~id:m.id ~doc:m.doc.elements ~kind:(Module { has_expansion })+ Entry.entry ~id:m.id ~doc:m.doc.elements+ ~kind:(Module { has_expansion })~source_loc:m.source_loc_janelet of_module_type (mt : ModuleType.t) =@@ -37,7 +39,8 @@ module Entry = struct| _ -> trueinEntry.entry ~id:mt.id ~doc:mt.doc.elements- ~kind:(ModuleType { has_expansion }) ~source_loc:mt.source_loc_jane+ ~kind:(ModuleType { has_expansion })+ ~source_loc:mt.source_loc_janelet of_type_decl (td : TypeDecl.t) =let kind =@@ -86,7 +89,8 @@ module Entry = structinEntry.entry ~id:field.id ~doc:field.doc.elements ~kind ~source_loc- let of_unboxed_field id_parent params source_loc (field : TypeDecl.UnboxedField.t) =+ let of_unboxed_field id_parent params source_loc+ (field : TypeDecl.UnboxedField.t) =let params = varify_params params inlet parent_type =TypeExpr.Constr@@ -95,7 +99,8 @@ module Entry = structparams )inlet kind =- Entry.UnboxedField { mutable_ = field.mutable_; type_ = field.type_; parent_type }+ Entry.UnboxedField+ { mutable_ = field.mutable_; type_ = field.type_; parent_type }inEntry.entry ~id:field.id ~doc:field.doc.elements ~kind ~source_loc@@ -235,10 +240,15 @@ and type_decl td =match td.representation with| None -> []| Some (Variant cl) ->- List.concat_map (constructor td.id td.equation.params td.source_loc_jane) cl- | Some (Record fl) -> List.concat_map (field td.id td.equation.params td.source_loc_jane) fl+ List.concat_map+ (constructor td.id td.equation.params td.source_loc_jane)+ cl+ | Some (Record fl) ->+ List.concat_map (field td.id td.equation.params td.source_loc_jane) fl| Some (Record_unboxed_product fl) ->- List.concat_map (unboxed_field td.id td.equation.params td.source_loc_jane) fl+ List.concat_map+ (unboxed_field td.id td.equation.params td.source_loc_jane)+ fl| Some Extensible -> []in[ { Tree.node = entry; children } ]File "src/search/html.ml", line 1, characters 0-0:diff --git a/_build/default/src/search/html.ml b/_build/default/src/search/.formatted/html.mlindex d1ddf97..fd3dcfe 100644--- a/_build/default/src/search/html.ml+++ b/_build/default/src/search/.formatted/html.ml@@ -4,7 +4,7 @@ open Odoc_modelopen Langopen Odoc_index-let url { Entry.id; kind; doc = _ ; source_loc = _} =+let url { Entry.id; kind; doc = _; source_loc = _ } =let open Entry inlet stop_before =(* Some module/module types/... might not have an expansion, so we need to@@ -34,7 +34,7 @@ let display_constructor_args args =let open Odoc_model.Lang inmatch args with| TypeDecl.Constructor.Tuple args ->- let no_label arg = None, arg in+ let no_label arg = (None, arg) in(match args with| _ :: _ :: _ -> Some TypeExpr.(Tuple (List.map no_label args))| [ arg ] -> Some arg@@ -227,7 +227,7 @@ let html_string_of_doc doc =doc |> of_doc |> Format.asprintf "%a" (Tyxml.Html.pp_elt ())let of_entry (entry : Entry.t) =- let ({ id; doc; kind ; source_loc=_} : Entry.t) = entry in+ let ({ id; doc; kind; source_loc = _ } : Entry.t) = entry inlet rhs = rhs_of_kind kind inlet prefix_name, name = names_of_id id inlet prefix_name = Some prefix_name and name = Some name inFile "src/document/ML.mli", line 1, characters 0-0:diff --git a/_build/default/src/document/ML.mli b/_build/default/src/document/.formatted/ML.mliindex 60d4785..e8d9e22 100644--- a/_build/default/src/document/ML.mli+++ b/_build/default/src/document/.formatted/ML.mli@@ -31,4 +31,5 @@ val type_expr : ?needs_parentheses:bool -> Lang.TypeExpr.t -> Codefmt.tval record : Lang.TypeDecl.Field.t list -> Types.DocumentedSrc.one list-val unboxed_record : Lang.TypeDecl.UnboxedField.t list -> Types.DocumentedSrc.one list+val unboxed_record :+ Lang.TypeDecl.UnboxedField.t list -> Types.DocumentedSrc.one listFile "src/document/generator_signatures.ml", line 1, characters 0-0:diff --git a/_build/default/src/document/generator_signatures.ml b/_build/default/src/document/.formatted/generator_signatures.mlindex 18326f0..048c7cf 100644--- a/_build/default/src/document/generator_signatures.ml+++ b/_build/default/src/document/.formatted/generator_signatures.ml@@ -115,5 +115,6 @@ module type GENERATOR = sigval record : Lang.TypeDecl.Field.t list -> DocumentedSrc.one list- val unboxed_record : Lang.TypeDecl.UnboxedField.t list -> DocumentedSrc.one list+ val unboxed_record :+ Lang.TypeDecl.UnboxedField.t list -> DocumentedSrc.one listendFile "src/xref2/subst.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/subst.ml b/_build/default/src/xref2/.formatted/subst.mlindex daee32e..38ee62e 100644--- a/_build/default/src/xref2/subst.ml+++ b/_build/default/src/xref2/.formatted/subst.ml@@ -126,7 +126,7 @@ let rec substitute_vars vars t =| Tuple ts ->Tuple (List.map (fun (lbl, ty) -> (lbl, substitute_vars vars ty)) ts)| Unboxed_tuple ts ->- Unboxed_tuple (List.map (fun (l, t) -> l, substitute_vars vars t) ts)+ Unboxed_tuple (List.map (fun (l, t) -> (l, substitute_vars vars t)) ts)| Constr (p, ts) -> Constr (p, List.map (substitute_vars vars) ts)| Polymorphic_variant v ->Polymorphic_variant (substitute_vars_poly_variant vars v)@@ -494,7 +494,7 @@ and type_decl_representation s t =| Variant cs -> Variant (List.map (type_decl_constructor s) cs)| Record fs -> Record (List.map (type_decl_field s) fs)| Record_unboxed_product fs ->- Record_unboxed_product (List.map (type_decl_unboxed_field s) fs)+ Record_unboxed_product (List.map (type_decl_unboxed_field s) fs)| Extensible -> tand type_decl_constructor s t =@@ -554,7 +554,8 @@ and type_expr s t =| Alias (t, str) -> Alias (type_expr s t, str)| Arrow (lbl, t1, t2) -> Arrow (lbl, type_expr s t1, type_expr s t2)| Tuple ts -> Tuple (List.map (fun (lbl, ty) -> (lbl, type_expr s ty)) ts)- | Unboxed_tuple ts -> Unboxed_tuple (List.map (fun (l, t) -> l, type_expr s t) ts)+ | Unboxed_tuple ts ->+ Unboxed_tuple (List.map (fun (l, t) -> (l, type_expr s t)) ts)| Constr (p, ts) -> (match type_path s p with| Replaced (t, eq) ->@@ -589,7 +590,13 @@ and module_type s t =let expr =match t.expr with Some m -> Some (module_type_expr s m) | None -> Nonein- { expr; source_loc = t.source_loc; source_loc_jane = t.source_loc_jane ; doc = t.doc; canonical = t.canonical }+ {+ expr;+ source_loc = t.source_loc;+ source_loc_jane = t.source_loc_jane;+ doc = t.doc;+ canonical = t.canonical;+ }and module_type_substitution s t =let open Component.ModuleTypeSubstitution in@@ -667,7 +674,7 @@ and module_type_expr s t =s_expr = u_module_type_expr s s_expr;s_path = module_path s s_path;s_aliasable;- s_expansion = option_ simple_expansion s s_expansion+ s_expansion = option_ simple_expansion s s_expansion;}and with_module_type_substitution s sub =File "src/xref2/lang_of.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/lang_of.ml b/_build/default/src/xref2/.formatted/lang_of.mlindex 7cbfcf3..7134af4 100644--- a/_build/default/src/xref2/lang_of.ml+++ b/_build/default/src/xref2/.formatted/lang_of.ml@@ -863,7 +863,7 @@ and module_type_expr map identifier = functions_expr = u_module_type_expr map identifier s_expr;s_path = Path.module_ map s_path;s_aliasable;- s_expansion = Opt.map (simple_expansion map identifier) s_expansion+ s_expansion = Opt.map (simple_expansion map identifier) s_expansion;}and module_type :@@ -935,7 +935,9 @@ and type_decl_unboxed_field :Component.TypeDecl.UnboxedField.t ->Odoc_model.Lang.TypeDecl.UnboxedField.t =fun map parent f ->- let identifier = Identifier.Mk.unboxed_field (parent, UnboxedFieldName.make_std f.name) in+ let identifier =+ Identifier.Mk.unboxed_field (parent, UnboxedFieldName.make_std f.name)+ in{id = identifier;doc = docs (parent :> Identifier.LabelParent.t) f.doc;@@ -1031,7 +1033,7 @@ and type_expr map (parent : Identifier.LabelParent.t) (t : Component.TypeExpr.t)| Tuple ts ->Tuple (List.map (fun (lbl, ty) -> (lbl, type_expr map parent ty)) ts)| Unboxed_tuple ts ->- Unboxed_tuple (List.map (fun (l, t) -> l, type_expr map parent t) ts)+ Unboxed_tuple (List.map (fun (l, t) -> (l, type_expr map parent t)) ts)| Constr (path, ts) ->Constr( (Path.type_ map path :> Paths.Path.Type.t),File "src/xref2/ref_tools.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/ref_tools.ml b/_build/default/src/xref2/.formatted/ref_tools.mlindex ffd28fa..2d279ca 100644--- a/_build/default/src/xref2/ref_tools.ml+++ b/_build/default/src/xref2/.formatted/ref_tools.ml@@ -531,12 +531,16 @@ module CS = struct| `S (parent', parent_cp, sg) -> (let sg = Tools.prefix_signature (parent_cp, sg) inlet find_ambiguous =- (find_ambiguous : ?kind:([> `Any ] as 'a) ->- (Component.Signature.t -> string -> Find.any_in_type_in_sig list)- ->- Component.Signature.t -> string -> (Find.any_in_type_in_sig, [> `Find_by_name of 'a * string ]) result)+ (find_ambiguous+ : ?kind:([> `Any ] as 'a) ->+ (Component.Signature.t -> string -> Find.any_in_type_in_sig list) ->+ Component.Signature.t ->+ string ->+ ( Find.any_in_type_in_sig,+ [> `Find_by_name of 'a * string ] )+ result)in- find_ambiguous Find.any_in_type_in_sig sg name_s >>= function+ find_ambiguous Find.any_in_type_in_sig sg name_s >>= function| `In_type (_, _, `FField _) -> not_a_constructor name_s| `In_type (_, _, `FUnboxedField _) -> not_a_constructor name_s| `In_type (typ_name, _, `FPoly cs) ->@@ -614,8 +618,8 @@ module UF = structtype t = Resolved.UnboxedField.tlet in_env env name =- env_lookup_by_name Env.s_unboxed_field name env >>= fun (`UnboxedField (id, _)) ->- Ok (`Identifier id :> t)+ env_lookup_by_name Env.s_unboxed_field name env+ >>= fun (`UnboxedField (id, _)) -> Ok (`Identifier id :> t)let not_an_unboxed_field name =(* Let's pretend we didn't see the constructor/field and say we didn't find anything. *)@@ -633,19 +637,23 @@ module UF = struct| `In_type (typ_name, _, `FUnboxedField _) ->Ok(`UnboxedField- ((`Type (parent', typ_name) :> Resolved.UnboxedFieldParent.t), name)))+ ( (`Type (parent', typ_name) :> Resolved.UnboxedFieldParent.t),+ name )))| `T (parent', t) -> (find Find.any_in_type t (fun x -> x) name_s >>= function| `FConstructor _ -> not_an_unboxed_field name_s| `FPoly _ -> not_an_unboxed_field name_s| `FField _ -> not_an_unboxed_field name_s- | `FUnboxedField _ -> Ok (`UnboxedField ((parent' :> Resolved.UnboxedFieldParent.t), name)))+ | `FUnboxedField _ ->+ Ok+ (`UnboxedField ((parent' :> Resolved.UnboxedFieldParent.t), name))+ )let of_component _env parent name =Ok(`UnboxedField- ( (parent : Resolved.DataType.t :> Resolved.UnboxedFieldParent.t),- UnboxedFieldName.make_std name ))+ ( (parent : Resolved.DataType.t :> Resolved.UnboxedFieldParent.t),+ UnboxedFieldName.make_std name ))endmodule MM = structFile "src/document/comment.ml", line 1, characters 0-0:diff --git a/_build/default/src/document/comment.ml b/_build/default/src/document/.formatted/comment.mlindex a7ce4ae..8038239 100644--- a/_build/default/src/document/comment.ml+++ b/_build/default/src/document/.formatted/comment.ml@@ -44,7 +44,8 @@ module Reference = struct| `PolyConstructor (r, s) ->render_resolved (r :> t) ^ ".`" ^ ConstructorName.to_string s| `Field (r, s) -> render_resolved (r :> t) ^ "." ^ FieldName.to_string s- | `UnboxedField (r, s) -> render_resolved (r :> t) ^ "." ^ UnboxedFieldName.to_string s+ | `UnboxedField (r, s) ->+ render_resolved (r :> t) ^ "." ^ UnboxedFieldName.to_string s| `Extension (r, s) ->render_resolved (r :> t) ^ "." ^ ExtensionName.to_string s| `ExtensionDecl (r, _, s) ->@@ -89,7 +90,8 @@ module Reference = struct| `Constructor (p, f) ->render_unresolved (p :> t) ^ "." ^ ConstructorName.to_string f| `Field (p, f) -> render_unresolved (p :> t) ^ "." ^ FieldName.to_string f- | `UnboxedField (p, f) -> render_unresolved (p :> t) ^ "." ^ UnboxedFieldName.to_string f+ | `UnboxedField (p, f) ->+ render_unresolved (p :> t) ^ "." ^ UnboxedFieldName.to_string f| `Extension (p, f) ->render_unresolved (p :> t) ^ "." ^ ExtensionName.to_string f| `ExtensionDecl (p, f) ->File "src/xref2/link.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/link.ml b/_build/default/src/xref2/.formatted/link.mlindex a52c8c3..513f37e 100644--- a/_build/default/src/xref2/link.ml+++ b/_build/default/src/xref2/.formatted/link.ml@@ -481,7 +481,8 @@ let warn_on_hidden_representation (id : Id.Type.t)(id :> Id.any)| Record_unboxed_product fields ->if List.exists internal_unboxed_field fields then- Lookup_failures.report_warning "@[<2>Hidden unboxed fields in type '%a'@]"+ Lookup_failures.report_warning+ "@[<2>Hidden unboxed fields in type '%a'@]"Component.Fmt.(model_identifier fmt_cfg)(id :> Id.any)| Extensible -> ()@@ -990,7 +991,7 @@ and type_decl_representation :| Variant cs -> Variant (List.map (type_decl_constructor env parent) cs)| Record fs -> Record (List.map (type_decl_field env parent) fs)| Record_unboxed_product fs ->- Record_unboxed_product (List.map (type_decl_unboxed_field env parent) fs)+ Record_unboxed_product (List.map (type_decl_unboxed_field env parent) fs)| Extensible -> Extensibleand type_decl : Env.t -> Id.Signature.t -> TypeDecl.t -> TypeDecl.t =@@ -1138,7 +1139,8 @@ and type_expression : Env.t -> Id.Signature.t -> _ -> _ =(fun (lbl, ty) -> (lbl, type_expression env parent visited ty))ts)| Unboxed_tuple ts ->- Unboxed_tuple (List.map (fun (l, t) -> l, type_expression env parent visited t) ts)+ Unboxed_tuple+ (List.map (fun (l, t) -> (l, type_expression env parent visited t)) ts)| Constr (path', ts') -> (let path = type_path env path' inlet ts = List.map (type_expression env parent visited) ts' inFile "src/search/json_index/json_search.ml", line 1, characters 0-0:diff --git a/_build/default/src/search/json_index/json_search.ml b/_build/default/src/search/json_index/.formatted/json_search.mlindex 0eca41b..10f557d 100644--- a/_build/default/src/search/json_index/json_search.ml+++ b/_build/default/src/search/json_index/.formatted/json_search.ml@@ -56,7 +56,8 @@ let rec of_id x =| `Field (parent, name) ->ret "Field" (FieldName.to_string name) :: of_id (parent :> t)| `UnboxedField (parent, name) ->- ret "UnboxedField" (UnboxedFieldName.to_string name) :: of_id (parent :> t)+ ret "UnboxedField" (UnboxedFieldName.to_string name)+ :: of_id (parent :> t)| `Extension (parent, name) ->ret "Extension" (ExtensionName.to_string name) :: of_id (parent :> t)| `ExtensionDecl (parent, _, name) ->@@ -139,7 +140,8 @@ let of_doc (doc : Odoc_model.Comment.elements) =let txt = Text.of_doc doc in`String txt-let of_entry ({ Entry.id; doc; kind ; source_loc = _} as entry) html occurrences =+let of_entry ({ Entry.id; doc; kind; source_loc = _ } as entry) html occurrences+ =let j_id = of_id id inlet doc = of_doc doc inlet kind =File "src/loader/odoc_loader.ml", line 1, characters 0-0:diff --git a/_build/default/src/loader/odoc_loader.ml b/_build/default/src/loader/.formatted/odoc_loader.mlindex 95415b2..f93fe26 100644--- a/_build/default/src/loader/odoc_loader.ml+++ b/_build/default/src/loader/.formatted/odoc_loader.ml@@ -83,7 +83,11 @@ let make_compilation_unit ~make_root ~imports ~interface ?sourcefile ~name ~idlet source_loc_jane =match sourcefile with| Some (Some file, _, build_dir) ->- Some {Odoc_model.Lang.Source_loc_jane.filename = build_dir ^ "/" ^ file ; line_number = 1}+ Some+ {+ Odoc_model.Lang.Source_loc_jane.filename = build_dir ^ "/" ^ file;+ line_number = 1;+ }| _ -> Nonein{@@ -99,7 +103,7 @@ let make_compilation_unit ~make_root ~imports ~interface ?sourcefile ~name ~idlinked = false;canonical;source_loc = None;- source_loc_jane+ source_loc_jane;}let compilation_unit_of_sig ~make_root ~imports ~interface ?sourcefile ~name ~id@@ -132,12 +136,12 @@ let read_cmti ~make_root ~parent ~filename ~warnings_tag () =let imports =cmt_info.cmt_imports|> Array.map (fun import ->- Import_info.name import |> Compilation_unit.Name.to_string,- Import_info.crc import)+ ( Import_info.name import |> Compilation_unit.Name.to_string,+ Import_info.crc import ))|> Array.to_listin- compilation_unit_of_sig ~make_root ~imports- ~interface ~sourcefile ~name ~id ?canonical sg)+ compilation_unit_of_sig ~make_root ~imports ~interface ~sourcefile+ ~name ~id ?canonical sg)| _ -> raise Not_an_interfacelet read_cmt ~make_root ~parent ~filename ~warnings_tag () =@@ -165,8 +169,8 @@ let read_cmt ~make_root ~parent ~filename ~warnings_tag () =let imports =cmt_info.cmt_imports|> Array.map (fun import ->- Import_info.name import |> Compilation_unit.Name.to_string,- Import_info.crc import)+ ( Import_info.name import |> Compilation_unit.Name.to_string,+ Import_info.crc import ))|> Array.to_listinmatch cmt_info.cmt_annots with@@ -207,7 +211,8 @@ let read_cmt ~make_root ~parent ~filename ~warnings_tag () =~name ~id ?canonical sg| _ -> raise Not_an_implementation)-let compilation_unit_of_import_info (info : Import_info.Intf.Nonalias.t option) =+let compilation_unit_of_import_info (info : Import_info.Intf.Nonalias.t option)+ =match info with| None -> None| Some (Parameter, _) -> None@@ -216,13 +221,12 @@ let compilation_unit_of_import_info (info : Import_info.Intf.Nonalias.t option)let read_cmi ~make_root ~parent ~filename ~warnings_tag () =let cmi_info = Cmi_format.read_cmi filename inlet cmi_crcs =- List.map (fun import ->- Import_info.name import, Import_info.Intf.info import)+ List.map+ (fun import -> (Import_info.name import, Import_info.Intf.info import))(Array.to_list cmi_info.cmi_crcs)inmatch cmi_crcs with- | (name, (Some _ as interface)) :: imports- when name = cmi_info.cmi_name ->+ | (name, (Some _ as interface)) :: imports when name = cmi_info.cmi_name ->let name = name |> Compilation_unit.Name.to_string inlet id, sg =Cmi.read_interface parent name ~warnings_tag@@ -231,8 +235,8 @@ let read_cmi ~make_root ~parent ~filename ~warnings_tag () =let imports =imports|> List.map (fun (name, info_opt) ->- name |> Compilation_unit.Name.to_string,- compilation_unit_of_import_info info_opt)+ ( name |> Compilation_unit.Name.to_string,+ compilation_unit_of_import_info info_opt ))inlet interface = interface |> Option.map snd incompilation_unit_of_sig ~make_root ~imports ~interface ~name ~id sg@@ -253,8 +257,8 @@ let read_impl ~make_root ~filename ~source_id () =let imports =cmt_info.cmt_imports|> Array.map (fun import ->- Import_info.name import |> Compilation_unit.Name.to_string,- Import_info.crc import)+ ( Import_info.name import |> Compilation_unit.Name.to_string,+ Import_info.crc import ))|> Array.to_listinmatch cmt_info.cmt_annots withFile "src/odoc/depends.ml", line 1, characters 0-0:diff --git a/_build/default/src/odoc/depends.ml b/_build/default/src/odoc/.formatted/depends.mlindex 87e9c56..8ecf623 100644--- a/_build/default/src/odoc/depends.ml+++ b/_build/default/src/odoc/.formatted/depends.ml@@ -36,11 +36,11 @@ endmodule Compile_set = Set.Make (Compile)let add_dep0 acc (unit_name, crc_with_unit) =- match unit_name, crc_with_unit with+ match (unit_name, crc_with_unit) with| _, None -> acc (* drop module aliases *)| unit_name, Some (_unit, digest) ->- let unit_name = unit_name |> Compilation_unit.Name.to_string in- Compile_set.add { Compile.unit_name; digest } acc+ let unit_name = unit_name |> Compilation_unit.Name.to_string in+ Compile_set.add { Compile.unit_name; digest } acclet add_dep acc import =let unit_name = Import_info.name import inFile "src/xref2/component.ml", line 1, characters 0-0:diff --git a/_build/default/src/xref2/component.ml b/_build/default/src/xref2/.formatted/component.mlindex 6bc682e..90fdb21 100644--- a/_build/default/src/xref2/component.ml+++ b/_build/default/src/xref2/.formatted/component.ml@@ -222,7 +222,7 @@ and ModuleType : sigs_expansion : simple_expansion option;s_expr : U.expr;s_path : Cpath.module_;- s_aliasable : bool+ s_aliasable : bool;}type expr =@@ -982,7 +982,8 @@ module Fmt = struct(substitution_list c) subs| TypeOf (t_desc, _) -> module_type_type_of_desc c ppf t_desc| Strengthen (e, p, _) ->- Format.fprintf ppf "%a with %a" (u_module_type_expr c) e (module_path c) p+ Format.fprintf ppf "%a with %a" (u_module_type_expr c) e (module_path c)+ pand module_type_expr c ppf mt =let open ModuleType in@@ -2229,7 +2230,7 @@ module Of_Lang = struct(List.map (type_decl_constructor ident_map) cs)| Record fs -> Record (List.map (type_decl_field ident_map) fs)| Record_unboxed_product fs ->- Record_unboxed_product (List.map (type_decl_unboxed_field ident_map) fs)+ Record_unboxed_product (List.map (type_decl_unboxed_field ident_map) fs)| Extensible -> Extensibleand type_decl_constructor ident_map t =@@ -2341,7 +2342,8 @@ module Of_Lang = structTuple(List.map (fun (lbl, ty) -> (lbl, type_expression ident_map ty)) ts)| Unboxed_tuple ts ->- Unboxed_tuple (List.map (fun (l, t) -> l, type_expression ident_map t) ts)+ Unboxed_tuple+ (List.map (fun (l, t) -> (l, type_expression ident_map t)) ts)| Polymorphic_variant v ->Polymorphic_variant (type_expr_polyvar ident_map v)| Poly (s, ts) -> Poly (s, type_expression ident_map ts)@@ -2558,10 +2560,11 @@ module Of_Lang = struct| Lang.ModuleType.Strengthen s ->let s' =ModuleType.- { s_expr = u_module_type_expr ident_map s.s_expr;+ {+ s_expr = u_module_type_expr ident_map s.s_expr;s_path = module_path ident_map s.s_path;s_aliasable = s.s_aliasable;- s_expansion = option simple_expansion ident_map s.s_expansion+ s_expansion = option simple_expansion ident_map s.s_expansion;}inModuleType.Strengthen s'@@ -2585,7 +2588,7 @@ module Of_Lang = structdoc = docs ident_map v.doc;value = v.value;source_loc = v.source_loc;- source_loc_jane = v.source_loc_jane+ source_loc_jane = v.source_loc_jane;}and include_ ident_map i =File "src/document/generator.ml", line 1, characters 0-0:diff --git a/_build/default/src/document/generator.ml b/_build/default/src/document/.formatted/generator.mlindex ee37928..a03f6b8 100644--- a/_build/default/src/document/generator.ml+++ b/_build/default/src/document/.formatted/generator.ml@@ -290,7 +290,9 @@ module Make (Syntax : SYNTAX) = structlet source id syntax_info infos source_code =let url = path id inlet mapper (info, (loc : Lang.Source_info.location_in_file)) =- match info_of_info info with Some x -> Some (x, (loc.loc_start.pos_cnum, loc.loc_end.pos_cnum)) | None -> None+ match info_of_info info with+ | Some x -> Some (x, (loc.loc_start.pos_cnum, loc.loc_end.pos_cnum))+ | None -> Noneinlet infos = Odoc_utils.List.filter_map mapper infos inlet syntax_info =@@ -412,7 +414,7 @@ module Make (Syntax : SYNTAX) = structand tuple ?(needs_parentheses = false) ~boxed lst =let opt_label = function- None -> O.noop+ | None -> O.noop| Some lbl -> O.txt lbl ++ O.txt ":" ++ O.cutinlet res =@@ -422,8 +424,8 @@ module Make (Syntax : SYNTAX) = structopt_label lbl ++ type_expr ~needs_parentheses:true typ))inlet lparen = if boxed then "(" else "#(" in- if Syntax.Type.Tuple.always_parenthesize || needs_parentheses || not boxed then- enclose ~l:lparen res ~r:")"+ if Syntax.Type.Tuple.always_parenthesize || needs_parentheses || not boxed+ then enclose ~l:lparen res ~r:")"else resand type_expr ?(needs_parentheses = false) (t : Odoc_model.Lang.TypeExpr.t)@@ -479,10 +481,8 @@ module Make (Syntax : SYNTAX) = struct(Link.from_path (path :> Paths.Path.t))| Poly (polyvars, t) ->O.txt ("'" ^ String.concat ~sep:" '" polyvars ^ ". ") ++ type_expr t- | Quote t ->- O.span (O.txt "<[ " ++ O.box_hv (type_expr t) ++ O.txt " ]>")- | Splice t ->- O.span (O.txt "$" ++ type_expr ~needs_parentheses:true t)+ | Quote t -> O.span (O.txt "<[ " ++ O.box_hv (type_expr t) ++ O.txt " ]>")+ | Splice t -> O.span (O.txt "$" ++ type_expr ~needs_parentheses:true t)| Package pkg ->enclose ~l:"(" ~r:")"(O.keyword "module" ++ O.txt " "@@ -522,7 +522,8 @@ module Make (Syntax : SYNTAX) = structval record : Lang.TypeDecl.Field.t list -> DocumentedSrc.one list- val unboxed_record : Lang.TypeDecl.UnboxedField.t list -> DocumentedSrc.one list+ val unboxed_record :+ Lang.TypeDecl.UnboxedField.t list -> DocumentedSrc.one listval exn : Lang.Exception.t -> Item.t@@ -579,9 +580,7 @@ module Make (Syntax : SYNTAX) = structlet field mutable_ id typ =let url = Url.from_identifier ~stop_before:true id inlet name = Paths.Identifier.name id in- let attrs =- [ "def"; "record"; Url.Anchor.string_of_kind url.kind ]- in+ let attrs = [ "def"; "record"; Url.Anchor.string_of_kind url.kind ] inlet cell =(* O.td ~a:[ O.a_class ["def"; kind ] ]* [O.a ~a:[O.a_href ("#" ^ anchor); O.a_class ["anchor"]] []@@ -1653,7 +1652,7 @@ module Make (Syntax : SYNTAX) = struct| Signature _ -> true| With (_, expr) -> is_elidable_with_u expr| TypeOf _ -> false- | Strengthen (expr,_,_) -> is_elidable_with_u expr+ | Strengthen (expr, _, _) -> is_elidable_with_u exprand umty : Odoc_model.Lang.ModuleType.U.expr -> text =fun m ->@@ -1710,6 +1709,7 @@ module Make (Syntax : SYNTAX) = structSyntax.Mod.open_tag ++ O.txt " ... " ++ Syntax.Mod.close_tag| Strengthen { s_expr; s_path; _ } ->O.box_hv @@ mty_strengthen s_expr (s_path :> Paths.Path.t)+and mty_in_decl :Paths.Identifier.Signature.t -> Odoc_model.Lang.ModuleType.expr -> text=File "test/odoc_print/odoc_print.ml", line 1, characters 0-0:diff --git a/_build/default/test/odoc_print/odoc_print.ml b/_build/default/test/odoc_print/.formatted/odoc_print.mlindex 625a008..b5c664d 100644--- a/_build/default/test/odoc_print/odoc_print.ml+++ b/_build/default/test/odoc_print/.formatted/odoc_print.ml@@ -37,7 +37,8 @@ and signature_of_module_type_expr = function| TypeOf _ -> None| With { w_expansion = Some e; _ } -> Some (signature_of_simple_expansion e)| With _ -> None- | Strengthen { s_expansion = Some e; _ } -> Some (signature_of_simple_expansion e)+ | Strengthen { s_expansion = Some e; _ } ->+ Some (signature_of_simple_expansion e)| Strengthen _ -> Noneand signature_of_module :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 22026-01-28 09:58.22: Job failed: Failed: Build failed