2025-04-21 21:42.44: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/449/head (5392346491758f715622f8523dd3a5ec11a149ff) (linux-x86_64:(lint-doc)) Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7 Opam project lint documentation To reproduce locally: git clone --recursive "https://github.com/ocaml-gospel/gospel.git" && cd "gospel" && git fetch origin "refs/pull/449/head" && git reset --hard 53923464 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7 # alpine-3.21-4.14_opam-2.3 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 gospel.opam ./ RUN opam pin add -yn gospel.dev './' RUN echo '(lang dune 3.0)' > './dune-project' ENV DEPS="astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.1 dune-build-info.3.18.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS RUN opam install $DEPS RUN opam install --yes dune 'odoc>=1.5.0' COPY --chown=1000:1000 . /src/ RUN ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo "dune build @doc failed"; exit 2) END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-04-21 21:42.44: Using cache hint "ocaml-gospel/gospel-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7-alpine-3.21-4.14_opam-2.3-752c5eff9230d407c87abe60fda7c47c" 2025-04-21 21:42.44: Using OBuilder spec: ((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7) (comment alpine-3.21-4.14_opam-2.3) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam")) (run (shell "opam init --reinit -ni")) (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) (workdir /src) (run (shell "sudo chown opam /src")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src gospel.opam) (dst ./)) (run (network host) (shell "opam pin add -yn gospel.dev './'")) (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.1 dune-build-info.3.18.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2") (env CI true) (env OCAMLCI true) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install --yes dune 'odoc>=1.5.0'")) (copy (src .) (dst /src/)) (run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)")) ) 2025-04-21 21:42.44: Waiting for resource in pool OCluster 2025-04-21 21:42.45: Waiting for worker… 2025-04-21 21:42.46: Got resource from pool OCluster Building on doris.caelum.ci.dev All commits already cached HEAD is now at 5392346 Changes to the structure of OCaml function specs (from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7) Unable to find image 'ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7' locally docker.io/ocaml/opam@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7: Pulling from ocaml/opam 47b08425ee9b: Pulling fs layer 47b08425ee9b: Verifying Checksum 47b08425ee9b: Download complete 47b08425ee9b: Pull complete Digest: sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7 Status: Downloaded newer image for ocaml/opam@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7 2025-04-21 21:44.02 ---> saved as "bd1a6ff8682763d02f6ea8340f8477bfdb4114ca8e4b584f0035829bd3e9edc4" /: (comment alpine-3.21-4.14_opam-2.3) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam")) 2025-04-21 21:44.02 ---> saved as "1e768ab192c1ef233580be4401101bcec996970e8cfd76d51991ffbb6de0143d" /src: (run (shell "opam init --reinit -ni")) Configuring from /home/opam/.opamrc and then from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [y/n] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-04-21 21:44.32 ---> saved as "552ec253a075eff7981fc1c5929d6fb443f7f0c32c407759f7add1e1a864f045" /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.15.0-134-generic The OCaml toplevel, version 4.14.2 2.2.1 2025-04-21 21:44.33 ---> saved as "13bd868b1d370a8045beff632e34a1589bb99d25d144599ac3532ce4126e36bf" /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-04-21 21:44.33 ---> saved as "9bbf3b927b6935ac26c5d007aee97900aca840330edfbeb00ab3be168e3015fd" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 442eddb8a363418dcb02e519972818da08bb7cd4 || git fetch origin master) && git reset -q --hard 442eddb8a363418dcb02e519972818da08bb7cd4 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD da74d7829f..999bff3ed8 master -> origin/master 442eddb8a3 Merge pull request #27761 from maiste/release-dune-3.18.1 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///home/opam/opam-repository 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-04-21 21:44.56 ---> saved as "d6cb7dbbf26daeb51f65c68a7e4a4877c95469c94bb7e86f6477e4483713d5b3" /src: (copy (src gospel.opam) (dst ./)) 2025-04-21 21:44.57 ---> saved as "4390dd6d2c39256c8264d3ba8e0c3697af4bc9edd230b577ab9a8e169027926f" /src: (run (network host) (shell "opam pin add -yn gospel.dev './'")) [gospel.dev] synchronised (file:///src) gospel is now pinned to file:///src (version dev) 2025-04-21 21:44.59 ---> saved as "b28c1ba311a87e01607c35dc29ca08718c946297c434ffa235b2bf1e9d442064" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-04-21 21:44.59 ---> saved as "9f53c9cb41a7b07c620a116cfb074a430c291a6cc102fb05c4407d8cf5dfc92b" /src: (env DEPS "astring.0.8.5 base-bigarray.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 cppo.1.8.0 crunch.4.0.0 dune.3.18.1 dune-build-info.3.18.1 fmt.0.10.0 fpath.0.7.3 inferno.20220603 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 odoc.3.0.0 odoc-parser.3.0.0 pp_loc.2.1.0 pprint.20230830 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.0 ppxlib.0.36.0 ptime.1.2.0 re.1.12.0 result.1.5 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.0.8 tyxml.4.6.0 unionFind.20220122 uutf.1.0.4 yojson.2.2.2") /src: (env CI true) /src: (env OCAMLCI true) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update --depexts && opam install --cli=2.2 --depext-only -y gospel.dev $DEPS")) + /usr/bin/sudo "apk" "update" - fetch https://dl-cdn.alpinelinux.org/alpine/v3.21/main/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/v3.21/community/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz - v3.21.3-357-g39d49089a10 [https://dl-cdn.alpinelinux.org/alpine/v3.21/main] - v3.21.3-358-g5686bc96b73 [https://dl-cdn.alpinelinux.org/alpine/v3.21/community] - v20250108-6143-g22de1756710 [https://dl-cdn.alpinelinux.org/alpine/edge/main] - v20250108-6152-gc43bb8f5957 [https://dl-cdn.alpinelinux.org/alpine/edge/community] - v20250108-6151-g2eddd08a087 [https://dl-cdn.alpinelinux.org/alpine/edge/testing] - OK: 57868 distinct packages available <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [gospel.dev] synchronised (file:///src) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). 2025-04-21 21:45.11 ---> saved as "1cb30f6c1ce7f6afc72b90de676fa586bfebd1dd60a82cd3904a3788cca653cd" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package base-unix is already installed (current version is base). [NOTE] Package base-threads is already installed (current version is base). [NOTE] Package base-bigarray is already installed (current version is base). The following actions will be performed: === install 36 packages - install astring 0.8.5 - install camlp-streams 5.0.1 - install cmdliner 1.3.0 - install cppo 1.8.0 - install crunch 4.0.0 - install dune 3.18.1 - install dune-build-info 3.18.1 - install fmt 0.10.0 - install fpath 0.7.3 - install inferno 20220603 - install menhir 20240715 - install menhirCST 20240715 - install menhirLib 20240715 - install menhirSdk 20240715 - install ocaml-compiler-libs v0.12.4 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install odoc 3.0.0 - install odoc-parser 3.0.0 - install pp_loc 2.1.0 - install pprint 20230830 - install ppx_blob 0.9.0 - install ppx_derivers 1.2.1 - install ppx_deriving 6.1.0 - install ppxlib 0.36.0 - install ptime 1.2.0 - install re 1.12.0 - install result 1.5 - install seq base - install sexplib0 v0.17.0 - install stdlib-shims 0.3.0 - install topkg 1.0.8 - install tyxml 4.6.0 - install unionFind 20220122 - install uutf 1.0.4 - install yojson 2.2.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved camlp-streams.5.0.1 (cached) -> retrieved astring.0.8.5 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved cmdliner.1.3.0 (cached) -> retrieved crunch.4.0.0 (cached) -> retrieved fmt.0.10.0 (cached) -> retrieved fpath.0.7.3 (cached) -> retrieved inferno.20220603 (cached) -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved dune.3.18.1, dune-build-info.3.18.1 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved odoc.3.0.0, odoc-parser.3.0.0 (cached) -> retrieved pp_loc.2.1.0 (cached) -> retrieved pprint.20230830 (cached) -> retrieved ppx_blob.0.9.0 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ppx_deriving.6.1.0 (cached) -> installed cmdliner.1.3.0 -> retrieved ptime.1.2.0 (cached) -> retrieved re.1.12.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved ppxlib.0.36.0 (cached) -> retrieved result.1.5 (cached) -> retrieved sexplib0.v0.17.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved unionFind.20220122 (cached) -> retrieved topkg.1.0.8 (cached) -> retrieved tyxml.4.6.0 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved yojson.2.2.2 (cached) -> installed ocamlfind.1.9.8 -> installed ocamlbuild.0.16.1 -> installed topkg.1.0.8 -> installed uutf.1.0.4 -> installed fmt.0.10.0 -> installed ptime.1.2.0 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed dune.3.18.1 -> installed camlp-streams.5.0.1 -> installed cppo.1.8.0 -> installed crunch.4.0.0 -> installed menhirCST.20240715 -> installed ppx_derivers.1.2.1 -> installed pp_loc.2.1.0 -> installed stdlib-shims.0.3.0 -> installed result.1.5 -> installed menhirLib.20240715 -> installed menhirSdk.20240715 -> installed pprint.20230830 -> installed sexplib0.v0.17.0 -> installed unionFind.20220122 -> installed dune-build-info.3.18.1 -> installed re.1.12.0 -> installed ocaml-compiler-libs.v0.12.4 -> installed inferno.20220603 -> installed odoc-parser.3.0.0 -> installed yojson.2.2.2 -> installed tyxml.4.6.0 -> installed odoc.3.0.0 -> installed menhir.20240715 -> installed ppxlib.0.36.0 -> installed ppx_blob.0.9.0 -> installed ppx_deriving.6.1.0 Done. # Run eval $(opam env) to update the current shell environment 2025-04-21 21:46.05 ---> saved as "af1850cb93823d65f4429eb7fae6467f77fd5a3a1c82e231b263a1e0ca1b5efc" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install --yes dune 'odoc>=1.5.0'")) [NOTE] Package odoc is already installed (current version is 3.0.0). [NOTE] Package dune is already installed (current version is 3.18.1). 2025-04-21 21:46.07 ---> saved as "8a7902b91184c5d96796e8d884341cdd7020f1a7988c67bc8d7b591a0f8cd1db" /src: (copy (src .) (dst /src/)) 2025-04-21 21:46.08 ---> saved as "cb050412795032fb282a102a185baef12ef02c79c77254940135d5e19d71e92f" /src: (run (shell "ODOC_WARN_ERROR=false opam exec -- dune build @doc || (echo \"dune build @doc failed\"; exit 2)")) (cd _build/default/docs/stdlib/.gospelstdlib.objs/byte && /home/opam/.opam/4.14/bin/odoc compile -I . -I ../../../../_doc/_odoc/pkg/gospel --pkg gospel -o gospelstdlib.odoc gospelstdlib.cmti) File "../../bin/stdlib/gospelstdlib.mli", line 31, character 6 to line 33, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 32, character 6 to line 34, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 33, character 6 to line 35, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 41, character 6 to line 43, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 43, character 6 to line 45, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 47, character 6 to line 49, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 49, character 6 to line 51, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 51, character 6 to line 53, character 23: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 54, character 6 to line 56, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 57, character 6 to line 59, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 60, character 6 to line 62, character 21: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 62, character 6 to line 64, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 63, character 6 to line 65, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 65, character 6 to line 67, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 74, character 6 to line 76, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 75, character 6 to line 77, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 77, character 6 to line 79, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 78, character 6 to line 80, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 79, character 6 to line 81, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 80, character 6 to line 82, character 46: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 81, character 6 to line 83, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 82, character 6 to line 84, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 84, character 6 to line 86, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 85, character 6 to line 87, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 87, character 6 to line 89, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 88, character 6 to line 90, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 92, character 6 to line 94, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 93, character 6 to line 95, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 94, character 6 to line 96, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 95, character 6 to line 97, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 97, character 6 to line 99, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 98, character 6 to line 100, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 102, character 6 to line 104, character 54: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 105, character 6 to line 107, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 108, character 6 to line 110, character 82: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 109, character 6 to line 111, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 110, character 6 to line 112, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 112, character 6 to line 114, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 114, character 6 to line 120, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 120, character 6 to line 122, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 122, character 6 to line 128, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 129, character 8 to line 131, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 132, character 8 to line 134, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 135, character 8 to line 137, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 137, character 8 to line 141, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 141, character 8 to line 145, character 24: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 145, character 8 to line 150, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 150, character 8 to line 155, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 155, character 8 to line 160, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 160, character 8 to line 165, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 165, character 8 to line 167, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 168, character 8 to line 170, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 170, character 8 to line 172, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 174, character 8 to line 179, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 179, character 8 to line 183, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 183, character 8 to line 185, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 186, character 8 to line 191, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 191, character 8 to line 193, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 195, character 8 to line 199, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 199, character 8 to line 201, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 203, character 8 to line 207, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 207, character 8 to line 209, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 211, character 8 to line 215, character 22: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 215, character 8 to line 217, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 219, character 8 to line 223, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 223, character 8 to line 225, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 226, character 8 to line 230, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 230, character 8 to line 234, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 234, character 8 to line 239, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 239, character 8 to line 244, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 244, character 8 to line 246, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 247, character 8 to line 251, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 251, character 8 to line 255, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 255, character 8 to line 260, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 260, character 8 to line 264, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 264, character 8 to line 266, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 267, character 8 to line 271, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 271, character 8 to line 273, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 274, character 8 to line 280, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 280, character 8 to line 282, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 284, character 8 to line 289, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 289, character 8 to line 291, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 293, character 8 to line 298, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 298, character 8 to line 300, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 302, character 8 to line 307, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 307, character 8 to line 309, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 311, character 8 to line 316, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 316, character 8 to line 318, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 319, character 8 to line 323, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 323, character 8 to line 325, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 327, character 8 to line 332, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 332, character 8 to line 339, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 339, character 8 to line 341, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 343, character 8 to line 347, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 347, character 8 to line 352, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 352, character 8 to line 358, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 358, character 8 to line 360, character 70: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 362, character 8 to line 366, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 366, character 8 to line 370, character 63: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 370, character 8 to line 372, character 71: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 374, character 8 to line 378, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 378, character 8 to line 382, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 382, character 8 to line 384, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 386, character 8 to line 391, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 391, character 8 to line 393, character 79: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 395, character 8 to line 403, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 407, character 8 to line 409, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 410, character 8 to line 412, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 413, character 8 to line 417, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 417, character 8 to line 419, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 420, character 8 to line 424, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 424, character 8 to line 426, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 428, character 8 to line 432, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 432, character 8 to line 434, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 435, character 8 to line 439, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 439, character 8 to line 441, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 442, character 8 to line 446, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 446, character 8 to line 450, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 450, character 8 to line 452, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 453, character 8 to line 457, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 457, character 8 to line 459, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 460, character 8 to line 464, character 69: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 464, character 8 to line 469, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 469, character 8 to line 471, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 473, character 8 to line 478, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 478, character 8 to line 480, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 482, character 8 to line 487, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 487, character 8 to line 489, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 491, character 8 to line 496, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 496, character 8 to line 498, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 499, character 8 to line 504, character 49: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 504, character 8 to line 506, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 508, character 8 to line 513, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 513, character 8 to line 515, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 517, character 8 to line 522, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 522, character 8 to line 524, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 525, character 8 to line 530, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 530, character 8 to line 535, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 535, character 8 to line 537, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 539, character 8 to line 541, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 542, character 8 to line 549, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 549, character 8 to line 553, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 553, character 8 to line 555, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 555, character 8 to line 559, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 559, character 8 to line 565, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 565, character 8 to line 570, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 570, character 8 to line 575, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 575, character 8 to line 577, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 579, character 8 to line 583, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 585, character 8 to line 587, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 588, character 8 to line 590, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 591, character 8 to line 593, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 594, character 8 to line 598, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 598, character 8 to line 600, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 601, character 8 to line 605, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 605, character 8 to line 610, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 610, character 8 to line 612, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 613, character 8 to line 615, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 616, character 8 to line 620, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 620, character 8 to line 625, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 625, character 8 to line 627, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 628, character 8 to line 633, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 633, character 8 to line 639, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 639, character 8 to line 641, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 642, character 8 to line 648, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 648, character 8 to line 653, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 653, character 8 to line 655, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 656, character 8 to line 660, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 660, character 8 to line 662, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 663, character 8 to line 668, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 668, character 8 to line 673, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 673, character 8 to line 675, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 676, character 8 to line 681, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 681, character 8 to line 683, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 685, character 8 to line 690, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 690, character 8 to line 692, character 67: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 695, character 8 to line 702, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 702, character 8 to line 709, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 709, character 8 to line 711, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 712, character 8 to line 714, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 714, character 8 to line 721, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 721, character 8 to line 725, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 725, character 8 to line 727, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 727, character 8 to line 734, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 734, character 8 to line 740, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 740, character 8 to line 742, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 743, character 8 to line 747, character 60: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 747, character 8 to line 749, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 751, character 8 to line 757, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 757, character 8 to line 759, character 83: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 762, character 8 to line 770, character 74: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 771, character 6 to line 773, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 775, character 6 to line 781, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 785, character 8 to line 787, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 787, character 8 to line 789, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 791, character 8 to line 796, character 39: Warning: Code blocks should be indented at the opening `{`. (cd _build/default/_doc/_html && /home/opam/.opam/4.14/bin/odoc link -I ../_odoc/pkg/gospel -I ../../docs/stdlib/.gospelstdlib.objs/byte -I ../../src/.gospel.objs/byte -I ../../src/ppx_odoc_of_gospel/.ppx_odoc_of_gospel.objs/byte -o ../_odocls/gospel/gospelstdlib.odocl ../../docs/stdlib/.gospelstdlib.objs/byte/gospelstdlib.odoc) File "../../bin/stdlib/gospelstdlib.mli", line 130, characters 20-31: Warning: Failed to resolve reference unresolvedroot(sequence) Couldn't find "sequence" (cd _build/default/_doc/_html && /home/opam/.opam/4.14/bin/odoc link -I ../_odoc/pkg/gospel -I ../../docs/stdlib/.gospelstdlib.objs/byte -I ../../src/.gospel.objs/byte -I ../../src/ppx_odoc_of_gospel/.ppx_odoc_of_gospel.objs/byte -o ../_odocls/gospel/gospel.odocl ../../src/.gospel.objs/byte/gospel.odoc) File "src/namespace.mli", line 92, characters 4-62: Warning: Failed to resolve reference unresolvedroot(Not_found) Couldn't find "Not_found" 2025-04-21 21:46.15 ---> saved as "1fd3d5d5de6a083e02d421d1eff0a78b5fe1c1baee4c136c83dfc46c51bc61fb" Job succeeded 2025-04-21 21:46.16: Job succeeded