2025-03-31 14:38.56: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/pull/449/head (061cd253f7c0d5bc2f1c41974e06ea34c3385a47) (linux-x86_64:(lint-doc)) Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec 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 061cd253 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec # 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 46648c7f67200a83f21313096f9f3fa86582d05b || git fetch origin master) && git reset -q --hard 46648c7f67200a83f21313096f9f3fa86582d05b && 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.17.2 dune-build-info.3.17.2 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-03-31 14:38.56: Using cache hint "ocaml-gospel/gospel-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec-alpine-3.21-4.14_opam-2.3-c0b8eb1a405eadb96712a28f44bf9545" 2025-03-31 14:38.56: Using OBuilder spec: ((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec) (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 46648c7f67200a83f21313096f9f3fa86582d05b || git fetch origin master) && git reset -q --hard 46648c7f67200a83f21313096f9f3fa86582d05b && 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.17.2 dune-build-info.3.17.2 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-03-31 14:38.56: Waiting for resource in pool OCluster 2025-03-31 14:38.56: Waiting for worker… 2025-03-31 14:38.57: Got resource from pool OCluster Building on asteria.caelum.ci.dev All commits already cached HEAD is now at 061cd25 Add typechecking tests (from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec) Unable to find image 'ocaml/opam:alpine-3.21-ocaml-4.14@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec' locally docker.io/ocaml/opam@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec: Pulling from ocaml/opam 079b5f886b6e: Pulling fs layer 079b5f886b6e: Verifying Checksum 079b5f886b6e: Download complete 079b5f886b6e: Pull complete Digest: sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec Status: Downloaded newer image for ocaml/opam@sha256:d388038c045b444892fac6ec1f36ca88a8060f2e05d39caeb449a880d6ec4dec 2025-03-31 14:38.59 ---> using "1365d3d062370cdb3e23e0410421a094d8879b8f0dd4d3093d64147b4bfe4ff9" from cache /: (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-03-31 14:38.59 ---> using "cf4034973b9c01cba1725f31871e0738f3f9e8798b53912a22374ce4f5d06142" from cache /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 ><><><><><><><><><><><><><><><><><><><><><><><><><><> [ERROR] Could not update repository "opam-repository-archive": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocaml/opam-repository-archive/': Could not resolve host: github.com" [default] synchronised from file:///home/opam/opam-repository 2025-03-31 14:38.59 ---> using "d50f61ff80dace14d817aaecc60bad55251ca032069b4d910609690edf25237c" from cache /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-03-31 14:38.59 ---> using "fb2029fb7dacf0554015bafa1c5ac352b56882e0c7ad90307fa638faead72e88" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-03-31 14:38.59 ---> using "d3a7f7421cb6eaf3eb4672a9d664d8bec5b2fcf31073bc2608b511093d878ca2" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 46648c7f67200a83f21313096f9f3fa86582d05b || git fetch origin master) && git reset -q --hard 46648c7f67200a83f21313096f9f3fa86582d05b && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 862a7640b1..a8a89f62d8 master -> origin/master 46648c7f67 Allow core and dependencies to be installed on arm32 (#27519) <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [opam-repository-archive] synchronised from git+https://github.com/ocaml/opam-repository-archive [default] synchronised from 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-03-31 14:38.59 ---> using "05d99c222c2ab624af8d23d46a95b65e92b564ce5eeb8704e46870b26698d8e4" from cache /src: (copy (src gospel.opam) (dst ./)) 2025-03-31 14:38.59 ---> using "35aa7f92617e97927d03b70aeeeb020888c7cf5eae7d42b728082152b987c6d3" from cache /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-03-31 14:38.59 ---> using "f6917bdcd567682c714cf39ef15453c0f82019a869755f9dda6dccfc3b21a441" from cache /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-03-31 14:38.59 ---> using "5ad0f2f41e13be2fe19f5af0ee0aade38b3e3784966e06cf23b84642dd157994" from cache /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.17.2 dune-build-info.3.17.2 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-257-g9c8373072f5 [https://dl-cdn.alpinelinux.org/alpine/v3.21/main] - v3.21.3-256-g4c16d88b18a [https://dl-cdn.alpinelinux.org/alpine/v3.21/community] - v20250108-4913-g498c979f88e [https://dl-cdn.alpinelinux.org/alpine/edge/main] - v20250108-4857-g564f939a9cd [https://dl-cdn.alpinelinux.org/alpine/edge/community] - v20250108-4690-gcea6afcdae4 [https://dl-cdn.alpinelinux.org/alpine/edge/testing] - OK: 57479 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-03-31 14:38.59 ---> using "e790905899816cc4b28f1fd4a919355e4cc52bd3ee2378bdc33e30068d5f91cd" from cache /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.17.2 - install dune-build-info 3.17.2 - 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 ocamlbuild.0.16.1 (cached) -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached) -> retrieved dune.3.17.2, dune-build-info.3.17.2 (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) -> installed cmdliner.1.3.0 -> retrieved ppx_deriving.6.1.0 (cached) -> retrieved ppxlib.0.36.0 (cached) -> retrieved ptime.1.2.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.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.17.2 -> installed camlp-streams.5.0.1 -> installed cppo.1.8.0 -> installed crunch.4.0.0 -> installed ppx_derivers.1.2.1 -> installed menhirCST.20240715 -> installed stdlib-shims.0.3.0 -> installed result.1.5 -> installed menhirSdk.20240715 -> installed pp_loc.2.1.0 -> installed pprint.20230830 -> installed sexplib0.v0.17.0 -> installed menhirLib.20240715 -> installed unionFind.20220122 -> installed dune-build-info.3.17.2 -> installed re.1.12.0 -> installed ocaml-compiler-libs.v0.12.4 -> installed odoc-parser.3.0.0 -> installed inferno.20220603 -> 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-03-31 14:38.59 ---> using "30b69cc556bfa56f63a3699b7ec0fe0623a62c39b76bb7cdaad4f8b76fed0442" from cache /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.17.2). 2025-03-31 14:38.59 ---> using "8a6bb57a74c13a054f0db1dc3d88f228413a7d2edab4167151818f4d4c8fc973" from cache /src: (copy (src .) (dst /src/)) 2025-03-31 14:38.59 ---> saved as "55575e24a1e8e06636ef065303924244f6c674bb344bd642b0982377c09bcbf6" /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 27, character 6 to line 29, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 28, character 6 to line 30, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 29, character 6 to line 31, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 37, character 6 to line 39, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 39, character 6 to line 41, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 43, character 6 to line 45, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 45, character 6 to line 47, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 47, character 6 to line 49, character 23: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 50, character 6 to line 52, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 53, character 6 to line 55, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 56, character 6 to line 58, character 21: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 58, character 6 to line 60, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 59, character 6 to line 61, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 61, character 6 to line 63, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 70, character 6 to line 72, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 71, character 6 to line 73, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 73, character 6 to line 75, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 74, character 6 to line 76, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 75, character 6 to line 77, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 76, character 6 to line 78, character 46: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 77, character 6 to line 79, character 44: 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 80, character 6 to line 82, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 81, character 6 to line 83, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 83, character 6 to line 85, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 84, character 6 to line 86, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 88, character 6 to line 90, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 89, character 6 to line 91, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 90, character 6 to line 92, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 91, character 6 to line 93, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 93, character 6 to line 95, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 94, character 6 to line 96, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 98, character 6 to line 100, character 54: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 101, character 6 to line 103, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 104, character 6 to line 106, character 82: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 105, character 6 to line 107, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 106, character 6 to line 108, character 66: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 108, character 6 to line 110, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 110, character 6 to line 116, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 116, character 6 to line 118, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 118, character 6 to line 124, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 125, character 8 to line 127, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 128, character 8 to line 130, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 131, character 8 to line 133, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 133, character 8 to line 137, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 137, character 8 to line 141, character 24: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 141, character 8 to line 146, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 146, character 8 to line 151, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 151, character 8 to line 156, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 156, character 8 to line 161, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 161, character 8 to line 163, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 164, character 8 to line 166, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 166, character 8 to line 168, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 170, character 8 to line 175, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 175, character 8 to line 179, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 179, character 8 to line 181, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 182, character 8 to line 187, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 187, character 8 to line 189, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 191, character 8 to line 195, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 195, character 8 to line 197, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 199, character 8 to line 203, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 203, character 8 to line 205, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 207, character 8 to line 211, character 22: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 211, character 8 to line 213, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 215, character 8 to line 219, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 219, character 8 to line 221, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 222, character 8 to line 226, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 226, character 8 to line 230, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 230, character 8 to line 235, character 30: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 235, character 8 to line 240, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 240, character 8 to line 242, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 243, character 8 to line 247, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 247, character 8 to line 251, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 251, character 8 to line 256, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 256, character 8 to line 260, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 260, character 8 to line 262, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 263, character 8 to line 267, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 267, character 8 to line 269, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 270, character 8 to line 276, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 276, character 8 to line 278, character 59: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 280, character 8 to line 285, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 285, character 8 to line 287, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 289, character 8 to line 294, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 294, character 8 to line 296, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 298, character 8 to line 303, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 303, character 8 to line 305, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 307, character 8 to line 312, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 312, character 8 to line 314, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 315, character 8 to line 319, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 319, character 8 to line 321, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 323, character 8 to line 328, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 328, character 8 to line 335, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 335, character 8 to line 337, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 339, character 8 to line 343, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 343, character 8 to line 348, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 348, character 8 to line 354, character 18: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 354, character 8 to line 356, character 70: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 358, character 8 to line 362, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 362, character 8 to line 366, character 63: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 366, character 8 to line 368, character 71: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 370, character 8 to line 374, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 374, character 8 to line 378, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 378, character 8 to line 380, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 382, character 8 to line 387, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 387, character 8 to line 389, character 79: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 391, character 8 to line 399, character 4: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 403, character 8 to line 405, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 406, character 8 to line 408, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 409, character 8 to line 413, character 32: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 413, character 8 to line 415, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 416, character 8 to line 420, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 420, character 8 to line 422, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 424, character 8 to line 428, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 428, character 8 to line 430, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 431, character 8 to line 435, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 435, character 8 to line 437, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 438, character 8 to line 442, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 442, character 8 to line 446, character 56: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 446, character 8 to line 448, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 449, character 8 to line 453, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 453, character 8 to line 455, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 456, character 8 to line 460, character 69: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 460, character 8 to line 465, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 465, character 8 to line 467, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 469, character 8 to line 474, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 474, character 8 to line 476, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 478, character 8 to line 483, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 483, character 8 to line 485, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 487, character 8 to line 492, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 492, character 8 to line 494, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 495, character 8 to line 500, character 49: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 500, character 8 to line 502, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 504, character 8 to line 509, character 39: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 509, character 8 to line 511, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 513, character 8 to line 518, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 518, character 8 to line 520, character 55: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 521, character 8 to line 526, character 57: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 526, character 8 to line 531, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 531, character 8 to line 533, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 535, character 8 to line 537, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 538, character 8 to line 545, character 31: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 545, character 8 to line 549, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 549, character 8 to line 551, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 551, character 8 to line 555, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 555, character 8 to line 561, character 61: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 561, character 8 to line 566, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 566, character 8 to line 571, character 45: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 571, character 8 to line 573, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 575, character 8 to line 579, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 581, character 8 to line 583, character 25: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 584, character 8 to line 586, character 28: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 587, character 8 to line 589, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 590, character 8 to line 594, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 594, character 8 to line 596, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 597, character 8 to line 601, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 601, character 8 to line 606, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 606, character 8 to line 608, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 609, character 8 to line 611, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 612, character 8 to line 616, character 35: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 616, character 8 to line 621, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 621, character 8 to line 623, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 624, character 8 to line 629, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 629, character 8 to line 635, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 635, character 8 to line 637, character 41: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 638, character 8 to line 644, character 29: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 644, character 8 to line 649, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 649, character 8 to line 651, character 38: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 652, character 8 to line 656, character 47: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 656, character 8 to line 658, character 40: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 659, character 8 to line 664, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 664, character 8 to line 669, character 42: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 669, character 8 to line 671, character 36: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 672, character 8 to line 677, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 677, character 8 to line 679, character 50: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 681, character 8 to line 686, character 43: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 686, character 8 to line 688, character 67: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 691, character 8 to line 698, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 698, character 8 to line 705, character 19: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 705, character 8 to line 707, character 44: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 708, character 8 to line 710, character 34: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 710, character 8 to line 717, character 33: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 717, character 8 to line 721, character 26: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 721, character 8 to line 723, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 723, character 8 to line 730, character 51: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 730, character 8 to line 736, character 53: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 736, character 8 to line 738, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 739, character 8 to line 743, character 60: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 743, character 8 to line 745, character 48: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 747, character 8 to line 753, character 52: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 753, character 8 to line 755, character 83: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 758, character 8 to line 766, character 74: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 767, character 6 to line 769, character 64: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 771, character 6 to line 777, character 58: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 781, character 8 to line 783, character 37: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 783, character 8 to line 785, character 65: Warning: Code blocks should be indented at the opening `{`. File "../../bin/stdlib/gospelstdlib.mli", line 787, character 8 to line 792, 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 126, 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 71, characters 4-62: Warning: Failed to resolve reference unresolvedroot(Not_found) Couldn't find "Not_found" 2025-03-31 14:39.07 ---> saved as "85a54f62c9b80c14e47e24270cd44b76dcc1bad66472dc0387988726a30c4fd2" Job succeeded 2025-03-31 14:39.08: Job succeeded