2026-02-19 10:47.54: New job: test ocaml/odoc https://github.com/ocaml/odoc.git#refs/pull/1399/head (bf200aeefb5eeb5a3354ed1cc29a65efb517da73) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-13-ocaml-4.08@sha256:016974eca0405838af73274ed51d1a69a31f37211486cd4f5dfedd706192cce7 ocamlformat 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 bf200aee cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-4.08@sha256:016974eca0405838af73274ed51d1a69a31f37211486cd4f5dfedd706192cce7 USER 1000:1000 RUN cd ~/opam-repository && (git cat-file -e 8381fdec20cf12f0c7a38782079db7131675d09e || git fetch origin master) && git reset -q --hard 8381fdec20cf12f0c7a38782079db7131675d09e && 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 2026-02-19 10:47.54: Using cache hint "ocaml/odoc-ocaml/opam:debian-13-ocaml-4.08@sha256:016974eca0405838af73274ed51d1a69a31f37211486cd4f5dfedd706192cce7-debian-13-4.08_opam-2.5-ocamlformat-8381fdec20cf12f0c7a38782079db7131675d09e" 2026-02-19 10:47.54: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-4.08@sha256:016974eca0405838af73274ed51d1a69a31f37211486cd4f5dfedd706192cce7) (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 8381fdec20cf12f0c7a38782079db7131675d09e || git fetch origin master) && git reset -q --hard 8381fdec20cf12f0c7a38782079db7131675d09e && 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-02-19 10:47.54: Waiting for resource in pool OCluster 2026-02-19 10:47.54: Waiting for worker… 2026-02-19 10:47.55: Got resource from pool OCluster Building on odawa.caelum.ci.dev All commits already cached HEAD is now at bf200aeef Restore missing label tag on tuples (from ocaml/opam:debian-13-ocaml-4.08@sha256:016974eca0405838af73274ed51d1a69a31f37211486cd4f5dfedd706192cce7) 2026-02-19 10:47.56 ---> using "8e880d54b82285cc07797680056d2282ee7dd8d645150afdce9c0dfbe68786cc" 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 8381fdec20cf12f0c7a38782079db7131675d09e || git fetch origin master) && git reset -q --hard 8381fdec20cf12f0c7a38782079db7131675d09e && git log --no-decorate -n1 --oneline && opam update -u")) 8381fdec20 Merge pull request #29263 from fpottier/opam-publish-menhir.20260122 <><> 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 2026-02-19 10:47.56 ---> using "127704e879fb0cf0d571d30891e601cebdfe40b3aba3d39860fbcf2bf6984904" 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.21.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [dune.3.21.0] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.21.0 Done. # Run eval $(opam env) to update the current shell environment 2026-02-19 10:47.56 ---> using "98509e7351a5ec5cc321207ffd1bb84e917801f3101c0f5de9639571addcec3a" 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 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 csexp 1.5.2 [required by ocamlformat] - install dune-build-info 3.21.0 [required by ocamlformat-lib] - install menhirLib 20260203 [required by ocamlformat-lib] - install camlp-streams 5.0.1 [required by ocamlformat-lib] - install seq base [required by re] - install menhirSdk 20260203 [required by ocamlformat-lib] - install fix 20250919 [required by ocamlformat-lib] - install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg] - install menhirGLR 20260203 [required by menhir] - install ocaml-version 4.0.3 [required by ocamlformat-lib] - install menhirCST 20260203 [required by menhir] - install dune-configurator 3.21.0 [required by base] - install re 1.11.0 [required by ocamlformat] - install topkg 1.1.1 [required by fpath, astring, uuseg] - install ocp-indent 1.9.0 [required by ocamlformat-lib] - install menhir 20260203 [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 ===== 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.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.20260203] found in cache [menhirCST.20260203] found in cache [menhirGLR.20260203] found in cache [menhirLib.20260203] found in cache [menhirSdk.20260203] 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 cmdliner.1.3.0 -> installed csexp.1.5.2 -> installed either.1.0.0 -> installed fix.20250919 -> installed menhirCST.20260203 -> installed menhirGLR.20260203 -> installed menhirLib.20260203 -> installed menhirSdk.20260203 -> installed ocaml-version.4.0.3 -> installed sexplib0.v0.14.0 -> installed re.1.11.0 -> installed dune-build-info.3.21.0 -> installed ocamlbuild.0.16.1 -> installed ocamlfind.1.9.8 -> installed dune-configurator.3.21.0 -> installed ocp-indent.1.9.0 -> installed menhir.20260203 -> installed topkg.1.1.1 -> 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 uucp.15.0.0 -> installed uuseg.15.0.0 -> installed ocamlformat-lib.0.27.0 -> installed ocamlformat.0.27.0 Done. <><> 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 environment 2026-02-19 10:48.41 ---> saved as "4146958afe1fea112348b932d13d20b1b7afbfa33807fbcfa57b61e7d2f16339" /src: (copy (src .) (dst /src/)) 2026-02-19 10:48.42 ---> saved as "bffd23097b2445192965697955c28b458d4a95a262533a3b16897fb6f487d461" /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/fmt ocamlformat: ignoring "src/loader/odoc_loader.ml" (syntax error) File "src/loader/odoc_loader.ml", line 104, characters 1-3: 104 | #if defined OXCAML ^^ Error: Syntax error -> required by _build/default/src/loader/.formatted/odoc_loader.ml -> required by alias src/loader/.formatted/fmt -> required by alias src/loader/fmt File "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.mli index 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.mli index 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 -> t val add_class : Identifier.Class.t -> Component.Class.t -> t -> t File "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.ml index 7219a4f..f9bfece 100644 --- a/_build/default/src/model/lang.ml +++ b/_build/default/src/model/.formatted/lang.ml @@ -101,7 +101,7 @@ and ModuleType : sig s_expansion : simple_expansion option; s_expr : U.expr; s_path : Path.Module.t; - s_aliasable : bool + s_aliasable : bool; } type expr = @@ -584,8 +584,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) in 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.ml index 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/occurrences/table.ml", line 1, characters 0-0: diff --git a/_build/default/src/occurrences/table.ml b/_build/default/src/occurrences/.formatted/table.ml index 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/search/html.ml", line 1, characters 0-0: diff --git a/_build/default/src/search/html.ml b/_build/default/src/search/.formatted/html.ml index 9591885..df5aaab 100644 --- a/_build/default/src/search/html.ml +++ b/_build/default/src/search/.formatted/html.ml @@ -34,7 +34,7 @@ let display_constructor_args args = let open Odoc_model.Lang in match 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 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.ml index 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/document/ML.mli", line 1, characters 0-0: diff --git a/_build/default/src/document/ML.mli b/_build/default/src/document/.formatted/ML.mli index 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.t val 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 list 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.ml index 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 = struct and 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 id File "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.ml index 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 = sig val 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 list end 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.ml index 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 = | [] -> None in let 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 | [] -> None File "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.mli index 01c5a16..0cd6e90 100644 --- a/_build/default/src/xref2/component.mli +++ b/_build/default/src/xref2/.formatted/component.mli @@ -211,7 +211,7 @@ and ModuleType : sig s_expansion : simple_expansion option; s_expr : U.expr; s_path : Cpath.module_; - s_aliasable : bool + s_aliasable : bool; } type expr = File "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.ml index 88201a2..33293d6 100644 --- a/_build/default/src/index/skeleton.ml +++ b/_build/default/src/index/.formatted/skeleton.ml @@ -92,7 +92,8 @@ module Entry = struct params ) in let kind = - Entry.UnboxedField { mutable_ = field.mutable_; type_ = field.type_; parent_type } + Entry.UnboxedField + { mutable_ = field.mutable_; type_ = field.type_; parent_type } in Entry.entry ~id:field.id ~doc:field.doc.elements ~kind File "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.ml index 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/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.ml index f01f036..8df9471 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 -> File "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.ml index 1e31f78..e490e7b 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) -> File "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.ml index 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/model/paths.ml", line 1, characters 0-0: diff --git a/_build/default/src/model/paths.ml b/_build/default/src/model/.formatted/paths.ml index 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 = struct let 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 = function File "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.ml index 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 -> Extensible and 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) in let ts = List.map (type_expression env parent) ts' in File "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.ml index 977028b..73c9b7c 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 -> t and 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) -> @@ -667,7 +668,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.ml index 58cd64f..c8f826b 100644 --- a/_build/default/src/xref2/lang_of.ml +++ b/_build/default/src/xref2/.formatted/lang_of.ml @@ -859,7 +859,7 @@ and module_type_expr map identifier = function s_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 : @@ -930,7 +930,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; @@ -1025,7 +1027,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.ml index 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) in let 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 = struct type t = Resolved.UnboxedField.t let 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 )) end module MM = struct 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.ml index 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 _ -> None and signature_of_module : 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.ml index 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 -> Extensible and 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' in let ts = List.map (type_expression env parent visited) ts' in 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.ml index 9de824e..3bbed4c 100644 --- a/_build/default/src/document/generator.ml +++ b/_build/default/src/document/.formatted/generator.ml @@ -412,7 +412,7 @@ module Make (Syntax : SYNTAX) = struct and tuple ?(needs_parentheses = false) ~boxed lst = let opt_label = function - None -> O.noop + | None -> O.noop | Some lbl -> tag "label" (O.txt lbl) ++ O.txt ":" ++ O.cut in let res = @@ -422,8 +422,8 @@ module Make (Syntax : SYNTAX) = struct opt_label lbl ++ type_expr ~needs_parentheses:true typ)) in let 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 res and type_expr ?(needs_parentheses = false) (t : Odoc_model.Lang.TypeExpr.t) @@ -479,10 +479,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 +520,8 @@ module Make (Syntax : SYNTAX) = struct val 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 list val exn : Lang.Exception.t -> Item.t @@ -579,9 +578,7 @@ module Make (Syntax : SYNTAX) = struct let field mutable_ id typ = let url = Url.from_identifier ~stop_before:true id in let 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 ] in let cell = (* O.td ~a:[ O.a_class ["def"; kind ] ] * [O.a ~a:[O.a_href ("#" ^ anchor); O.a_class ["anchor"]] [] @@ -1653,7 +1650,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 expr and umty : Odoc_model.Lang.ModuleType.U.expr -> text = fun m -> @@ -1710,6 +1707,7 @@ module Make (Syntax : SYNTAX) = struct Syntax.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 "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.ml index 37a3fdc..a3ce774 100644 --- a/_build/default/src/xref2/component.ml +++ b/_build/default/src/xref2/.formatted/component.ml @@ -220,7 +220,7 @@ and ModuleType : sig s_expansion : simple_expansion option; s_expr : U.expr; s_path : Cpath.module_; - s_aliasable : bool + s_aliasable : bool; } type expr = @@ -975,7 +975,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) + p and module_type_expr c ppf mt = let open ModuleType in @@ -2221,7 +2222,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 -> Extensible and type_decl_constructor ident_map t = @@ -2333,7 +2334,8 @@ module Of_Lang = struct Tuple (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) @@ -2548,10 +2550,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; } in ModuleType.Strengthen s' 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 2026-02-19 10:48.43: Job failed: Failed: Build failed