2026-06-04 00:45.01: New job: test joelburget/lvca https://github.com/joelburget/lvca.git#refs/heads/main (7dd22642204642f089c6a2fece16ab41321aabb7) (linux-x86_64:ubuntu-26.04-4.14_opam-2.5) Base: ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed Opam project build To reproduce locally: git clone --recursive "https://github.com/joelburget/lvca.git" -b "main" && cd "lvca" && git reset --hard 7dd22642 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed # ubuntu-26.04-4.14_opam-2.5 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam RUN cd ~/opam-repository && (git cat-file -e 1cd46acdace586c6a34b36c779b9380c5a1212fd || git fetch origin master) && git reset -q --hard 1cd46acdace586c6a34b36c779b9380c5a1212fd && git log --no-decorate -n1 --oneline RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN opam update -u COPY --chown=1000:1000 lvca.opam ./ RUN opam pin add -yn lvca.dev './' RUN echo '(lang dune 3.0)' > './dune-project' ENV DEPS="afl-persistent.1.4 angstrom.0.16.1 base.v0.16.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_quickcheck.v0.16.0 bigstringaf.0.10.0 bin_prot.v0.16.0 brr.0.0.8 cbor.0.5 cmdliner.2.1.1 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 crowbar.0.2.2 csexp.1.5.2 digestif.1.3.0 dune.3.23.1 dune-build-info.3.23.1 dune-configurator.3.23.1 eqaf.0.10 fieldslib.v0.16.0 fmt.0.11.0 gen.1.1 jane-street-headers.v0.16.0 js_of_ocaml-compiler.6.3.2 js_of_ocaml-toplevel.6.3.2 jst-config.v0.16.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 note.0.0.3 num.1.6 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 omd.2.0.0~alpha4 parsexp.v0.16.0 ppx_assert.v0.16.0 ppx_base.v0.16.0 ppx_bench.v0.16.0 ppx_bin_prot.v0.16.0 ppx_blob.0.9.0 ppx_cold.v0.16.0 ppx_compare.v0.16.0 ppx_custom_printf.v0.16.0 ppx_derivers.1.2.1 ppx_disable_unused_warnings.v0.16.0 ppx_enumerate.v0.16.0 ppx_expect.v0.16.2 ppx_fields_conv.v0.16.0 ppx_fixed_literal.v0.16.0 ppx_globalize.v0.16.0 ppx_hash.v0.16.0 ppx_here.v0.16.0 ppx_ignore_instrumentation.v0.16.0 ppx_inline_test.v0.16.1 ppx_jane.v0.16.0 ppx_let.v0.16.0 ppx_log.v0.16.0 ppx_module_timer.v0.16.0 ppx_optcomp.v0.16.0 ppx_optional.v0.16.0 ppx_pipebang.v0.16.0 ppx_sexp_conv.v0.16.0 ppx_sexp_message.v0.16.0 ppx_sexp_value.v0.16.0 ppx_stable.v0.16.0 ppx_stable_witness.v0.16.0 ppx_string.v0.16.0 ppx_tydi.v0.16.0 ppx_typerep_conv.v0.16.0 ppx_variants_conv.v0.16.0 ppxlib.0.35.0 re.1.14.0 sedlex.3.7 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 splittable_random.v0.16.0 stdio.v0.16.0 stdlib-shims.0.3.0 time_now.v0.16.0 topkg.1.1.1 typerep.v0.16.0 uchar.0.0.2 uucp.17.0.0 uunf.17.0.0 uutf.1.0.4 variantslib.v0.16.0 yojson.3.0.0 zarith.1.14 zarith_stubs_js.v0.16.1" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.5 --depext-only -y lvca.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . /src RUN opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2026-06-04 00:45.01: Using cache hint "joelburget/lvca-ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed-ubuntu-26.04-4.14_opam-2.5-f173b5cd284a725210879d998a93da57" 2026-06-04 00:45.01: Using OBuilder spec: ((from ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed) (comment ubuntu-26.04-4.14_opam-2.5) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 1cd46acdace586c6a34b36c779b9380c5a1212fd || git fetch origin master) && git reset -q --hard 1cd46acdace586c6a34b36c779b9380c5a1212fd && git log --no-decorate -n1 --oneline")) (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 "opam update -u")) (copy (src lvca.opam) (dst ./)) (run (network host) (shell "opam pin add -yn lvca.dev './'")) (run (shell "echo '(lang dune 3.0)' > './dune-project'")) (env DEPS "afl-persistent.1.4 angstrom.0.16.1 base.v0.16.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_quickcheck.v0.16.0 bigstringaf.0.10.0 bin_prot.v0.16.0 brr.0.0.8 cbor.0.5 cmdliner.2.1.1 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 crowbar.0.2.2 csexp.1.5.2 digestif.1.3.0 dune.3.23.1 dune-build-info.3.23.1 dune-configurator.3.23.1 eqaf.0.10 fieldslib.v0.16.0 fmt.0.11.0 gen.1.1 jane-street-headers.v0.16.0 js_of_ocaml-compiler.6.3.2 js_of_ocaml-toplevel.6.3.2 jst-config.v0.16.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 note.0.0.3 num.1.6 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 omd.2.0.0~alpha4 parsexp.v0.16.0 ppx_assert.v0.16.0 ppx_base.v0.16.0 ppx_bench.v0.16.0 ppx_bin_prot.v0.16.0 ppx_blob.0.9.0 ppx_cold.v0.16.0 ppx_compare.v0.16.0 ppx_custom_printf.v0.16.0 ppx_derivers.1.2.1 ppx_disable_unused_warnings.v0.16.0 ppx_enumerate.v0.16.0 ppx_expect.v0.16.2 ppx_fields_conv.v0.16.0 ppx_fixed_literal.v0.16.0 ppx_globalize.v0.16.0 ppx_hash.v0.16.0 ppx_here.v0.16.0 ppx_ignore_instrumentation.v0.16.0 ppx_inline_test.v0.16.1 ppx_jane.v0.16.0 ppx_let.v0.16.0 ppx_log.v0.16.0 ppx_module_timer.v0.16.0 ppx_optcomp.v0.16.0 ppx_optional.v0.16.0 ppx_pipebang.v0.16.0 ppx_sexp_conv.v0.16.0 ppx_sexp_message.v0.16.0 ppx_sexp_value.v0.16.0 ppx_stable.v0.16.0 ppx_stable_witness.v0.16.0 ppx_string.v0.16.0 ppx_tydi.v0.16.0 ppx_typerep_conv.v0.16.0 ppx_variants_conv.v0.16.0 ppxlib.0.35.0 re.1.14.0 sedlex.3.7 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 splittable_random.v0.16.0 stdio.v0.16.0 stdlib-shims.0.3.0 time_now.v0.16.0 topkg.1.1.1 typerep.v0.16.0 uchar.0.0.2 uucp.17.0.0 uunf.17.0.0 uutf.1.0.4 variantslib.v0.16.0 yojson.3.0.0 zarith.1.14 zarith_stubs_js.v0.16.1") (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.5 --depext-only -y lvca.dev $DEPS")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) (copy (src .) (dst /src)) (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) ) 2026-06-04 00:45.01: Waiting for resource in pool OCluster 2026-06-04 01:01.39: Waiting for worker… 2026-06-04 01:10.04: Got resource from pool OCluster Building on eumache.caelum.ci.dev All commits already cached HEAD is now at 7dd2264 Add preprocessor deps. (from ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed) Unable to find image 'ocaml/opam:ubuntu-26.04-ocaml-4.14@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed' locally docker.io/ocaml/opam@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed: Pulling from ocaml/opam 6f5c5aa4e145: Pulling fs layer 1c24335ddd46: Pulling fs layer 52eb96cfc1e7: Pulling fs layer 527ba7d8030d: Pulling fs layer dfd1b749721f: Pulling fs layer 8686c0327296: Pulling fs layer 52eb96cfc1e7: Waiting 527ba7d8030d: Waiting d4fa1bbd57aa: Pulling fs layer dfd1b749721f: Waiting 8686c0327296: Waiting cb0debd95254: Pulling fs layer c401416cbd86: Pulling fs layer d4fa1bbd57aa: Waiting 2c883c82425c: Pulling fs layer cb0debd95254: Waiting c401416cbd86: Waiting ed3b904614cf: Pulling fs layer 3c6611558693: Pulling fs layer c0385e14e5a4: Pulling fs layer ed3b904614cf: Waiting c0385e14e5a4: Waiting ce2763a02d2e: Pulling fs layer 3c6611558693: Waiting 6806da9f9675: Pulling fs layer 51ff076b0ff1: Pulling fs layer b9e02142692d: Pulling fs layer 6806da9f9675: Waiting ce2763a02d2e: Waiting 51ff076b0ff1: Waiting 242fe650591f: Pulling fs layer b9e02142692d: Waiting 242fe650591f: Waiting 440e1dc674b7: Pulling fs layer e62778058e84: Pulling fs layer 440e1dc674b7: Waiting cd9662ae41a3: Pulling fs layer e62778058e84: Waiting 5f4d8392f136: Pulling fs layer 4f4fb700ef54: Pulling fs layer de917e7ed02b: Pulling fs layer 6eb0fe07505e: Pulling fs layer 5f4d8392f136: Waiting de917e7ed02b: Waiting ed5dedcaf3c7: Pulling fs layer 7a7c805f48e2: Pulling fs layer 6eb0fe07505e: Waiting d4709caab449: Pulling fs layer c8c33cd1dc57: Pulling fs layer d4709caab449: Waiting 7a7c805f48e2: Waiting 1b09b56436ae: Pulling fs layer c8c33cd1dc57: Waiting 02f1961dcc24: Pulling fs layer 2fbaebf1f161: Pulling fs layer 42bcaa85b05d: Pulling fs layer 1b09b56436ae: Waiting 02f1961dcc24: Waiting 2fbaebf1f161: Waiting d71d501c3eb0: Pulling fs layer 42bcaa85b05d: Waiting 6263cb063058: Pulling fs layer 59929d2ef4c7: Pulling fs layer 3d8a3bbd81b9: Pulling fs layer 59929d2ef4c7: Waiting ffdcecdd0eb0: Pulling fs layer 3d8a3bbd81b9: Waiting 6263cb063058: Waiting ed120a391933: Pulling fs layer ffdcecdd0eb0: Waiting ed120a391933: Waiting 865da59abecc: Pulling fs layer 49532a440ebe: Pulling fs layer 865da59abecc: Waiting 9beb002d152f: Pulling fs layer 49532a440ebe: Waiting 3eadc921edf1: Pulling fs layer e705aeb6dca6: Pulling fs layer 9beb002d152f: Waiting 3eadc921edf1: Waiting b60a58179b96: Pulling fs layer b60a58179b96: Waiting e705aeb6dca6: Waiting 1c24335ddd46: Verifying Checksum 1c24335ddd46: Download complete 52eb96cfc1e7: Verifying Checksum 52eb96cfc1e7: Download complete 527ba7d8030d: Verifying Checksum 527ba7d8030d: Download complete dfd1b749721f: Verifying Checksum dfd1b749721f: Download complete 8686c0327296: Verifying Checksum 8686c0327296: Download complete d4fa1bbd57aa: Verifying Checksum d4fa1bbd57aa: Download complete cb0debd95254: Download complete c401416cbd86: Verifying Checksum c401416cbd86: Download complete ed3b904614cf: Verifying Checksum ed3b904614cf: Download complete 2c883c82425c: Verifying Checksum 2c883c82425c: Download complete c0385e14e5a4: Verifying Checksum c0385e14e5a4: Download complete 3c6611558693: Verifying Checksum 3c6611558693: Download complete 6f5c5aa4e145: Verifying Checksum 6f5c5aa4e145: Download complete ce2763a02d2e: Verifying Checksum ce2763a02d2e: Download complete 51ff076b0ff1: Verifying Checksum 51ff076b0ff1: Download complete 6806da9f9675: Verifying Checksum 6806da9f9675: Download complete b9e02142692d: Download complete 242fe650591f: Download complete 440e1dc674b7: Download complete e62778058e84: Verifying Checksum e62778058e84: Download complete 5f4d8392f136: Download complete 4f4fb700ef54: Verifying Checksum 4f4fb700ef54: Download complete cd9662ae41a3: Download complete de917e7ed02b: Verifying Checksum de917e7ed02b: Download complete 6eb0fe07505e: Verifying Checksum 6eb0fe07505e: Download complete ed5dedcaf3c7: Verifying Checksum ed5dedcaf3c7: Download complete 7a7c805f48e2: Verifying Checksum 7a7c805f48e2: Download complete d4709caab449: Verifying Checksum c8c33cd1dc57: Verifying Checksum c8c33cd1dc57: Download complete 1b09b56436ae: Verifying Checksum 1b09b56436ae: Download complete 02f1961dcc24: Verifying Checksum 02f1961dcc24: Download complete 2fbaebf1f161: Verifying Checksum 2fbaebf1f161: Download complete 42bcaa85b05d: Download complete d71d501c3eb0: Download complete 6263cb063058: Verifying Checksum 6263cb063058: Download complete 3d8a3bbd81b9: Download complete ed120a391933: Verifying Checksum ed120a391933: Download complete 865da59abecc: Verifying Checksum 865da59abecc: Download complete 6f5c5aa4e145: Pull complete 1c24335ddd46: Pull complete 52eb96cfc1e7: Pull complete 527ba7d8030d: Pull complete dfd1b749721f: Pull complete 8686c0327296: Pull complete d4fa1bbd57aa: Pull complete cb0debd95254: Pull complete c401416cbd86: Pull complete 2c883c82425c: Pull complete ed3b904614cf: Pull complete 3c6611558693: Pull complete 59929d2ef4c7: Verifying Checksum 59929d2ef4c7: Download complete c0385e14e5a4: Pull complete ce2763a02d2e: Pull complete 6806da9f9675: Pull complete 51ff076b0ff1: Pull complete b9e02142692d: Pull complete 242fe650591f: Pull complete 440e1dc674b7: Pull complete e62778058e84: Pull complete cd9662ae41a3: Pull complete 5f4d8392f136: Pull complete 4f4fb700ef54: Pull complete de917e7ed02b: Pull complete 6eb0fe07505e: Pull complete ed5dedcaf3c7: Pull complete 7a7c805f48e2: Pull complete d4709caab449: Pull complete c8c33cd1dc57: Pull complete 1b09b56436ae: Pull complete 02f1961dcc24: Pull complete 2fbaebf1f161: Pull complete 42bcaa85b05d: Pull complete d71d501c3eb0: Pull complete 6263cb063058: Pull complete 9beb002d152f: Verifying Checksum 9beb002d152f: Download complete ffdcecdd0eb0: Verifying Checksum ffdcecdd0eb0: Download complete 3eadc921edf1: Verifying Checksum 3eadc921edf1: Download complete b60a58179b96: Verifying Checksum b60a58179b96: Download complete e705aeb6dca6: Download complete 49532a440ebe: Verifying Checksum 49532a440ebe: Download complete 59929d2ef4c7: Pull complete 3d8a3bbd81b9: Pull complete ffdcecdd0eb0: Pull complete ed120a391933: Pull complete 865da59abecc: Pull complete 49532a440ebe: Pull complete 9beb002d152f: Pull complete 3eadc921edf1: Pull complete e705aeb6dca6: Pull complete b60a58179b96: Pull complete Digest: sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed Status: Downloaded newer image for ocaml/opam@sha256:8ba12762603e37d44cc193aab40cb6f25c71e9c9cad14585cd56b6004745cfed 2026-06-04 01:10.06 ---> using "529df17bd178d438ec197b781c404c7d7d5c38f739c27555d4ac336606f15bec" from cache /: (comment ubuntu-26.04-4.14_opam-2.5) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam")) 2026-06-04 01:10.06 ---> using "a199e0aa69951204c9ba6787f84b8db302ecd70b9a65c872396a3f980b7c8405" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 1cd46acdace586c6a34b36c779b9380c5a1212fd || git fetch origin master) && git reset -q --hard 1cd46acdace586c6a34b36c779b9380c5a1212fd && git log --no-decorate -n1 --oneline")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD d6a960ed95..5e37987930 master -> origin/master 1cd46acdac Merge pull request #29977 from anteriorcore/fix-bigstringaf-hash 2026-06-04 01:10.20 ---> saved as "313efeb603bb707688e737026535da3832707689a4e81605ce00a5322ce272e2" /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 version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted. You may want to back it up before going further. Continue? [Y/n] y [NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using: opam option jobs=1 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [ERROR] Could not update repository "ocaml-patches-overlay": "/usr/bin/git fetch -q" exited with code 128 "fatal: unable to access 'https://github.com/ocurrent/opam-repository/': Could not resolve host: github.com" [default] synchronised from git+file:///home/opam/opam-repository 2026-06-04 01:10.46 ---> saved as "e7a2a37d7abbdd81c704c88edbd70de2f1478a378edd078bfe63a8f0edcb26b0" /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 6.8.0-111-generic The OCaml toplevel, version 4.14.3 2.5.1 2026-06-04 01:10.48 ---> saved as "170a3db21082d4a2d9e8f5ea831bf2ba58d9bc64ff75a56169f79677842f8e4d" /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2026-06-04 01:10.51 ---> saved as "39e9d2faf4c959aab7021b67273ad62d48e14f6e8d20dcf34a2296cd44a0bc18" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam update -u")) <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [ocaml-patches-overlay] no changes from git+https://github.com/ocurrent/opam-repository#patches [default] no changes from git+file:///home/opam/opam-repository Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). The following packages are not being upgraded because the new versions conflict with other installed packages: - ocaml.5.5.0 - ocaml-config.3 However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # To update the current shell environment, run: eval $(opam env) 2026-06-04 01:11.12 ---> saved as "711c09194528333f70db45b0493775255499b6bf2e491633b89a7f810f4b5cc8" /src: (copy (src lvca.opam) (dst ./)) 2026-06-04 01:11.13 ---> saved as "2f17ee3cbfb1c275aa56833ca73fd967dd04ee89b5993fedd5b1c61e09cf5d47" /src: (run (network host) (shell "opam pin add -yn lvca.dev './'")) [NOTE] Package lvca does not exist in opam repositories registered in the current switch. [lvca.dev] synchronised (file:///src) lvca is now pinned to file:///src (version dev) 2026-06-04 01:11.17 ---> saved as "45cafbf98a346ec66194c1604ddd8af2c417d97c4f6fcf2e2fb86df156347f59" /src: (run (shell "echo '(lang dune 3.0)' > './dune-project'")) 2026-06-04 01:11.18 ---> saved as "90a439d6b6fc5d46f5cf3c5ac876cd2129647d4c925a2c911c76b599cb5ffcca" /src: (env DEPS "afl-persistent.1.4 angstrom.0.16.1 base.v0.16.5 base-bigarray.base base-bytes.base base-threads.base base-unix.base base_quickcheck.v0.16.0 bigstringaf.0.10.0 bin_prot.v0.16.0 brr.0.0.8 cbor.0.5 cmdliner.2.1.1 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 crowbar.0.2.2 csexp.1.5.2 digestif.1.3.0 dune.3.23.1 dune-build-info.3.23.1 dune-configurator.3.23.1 eqaf.0.10 fieldslib.v0.16.0 fmt.0.11.0 gen.1.1 jane-street-headers.v0.16.0 js_of_ocaml-compiler.6.3.2 js_of_ocaml-toplevel.6.3.2 jst-config.v0.16.0 menhir.20260209 menhirCST.20260209 menhirGLR.20260209 menhirLib.20260209 menhirSdk.20260209 note.0.0.3 num.1.6 ocaml.4.14.3 ocaml-base-compiler.4.14.3 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 omd.2.0.0~alpha4 parsexp.v0.16.0 ppx_assert.v0.16.0 ppx_base.v0.16.0 ppx_bench.v0.16.0 ppx_bin_prot.v0.16.0 ppx_blob.0.9.0 ppx_cold.v0.16.0 ppx_compare.v0.16.0 ppx_custom_printf.v0.16.0 ppx_derivers.1.2.1 ppx_disable_unused_warnings.v0.16.0 ppx_enumerate.v0.16.0 ppx_expect.v0.16.2 ppx_fields_conv.v0.16.0 ppx_fixed_literal.v0.16.0 ppx_globalize.v0.16.0 ppx_hash.v0.16.0 ppx_here.v0.16.0 ppx_ignore_instrumentation.v0.16.0 ppx_inline_test.v0.16.1 ppx_jane.v0.16.0 ppx_let.v0.16.0 ppx_log.v0.16.0 ppx_module_timer.v0.16.0 ppx_optcomp.v0.16.0 ppx_optional.v0.16.0 ppx_pipebang.v0.16.0 ppx_sexp_conv.v0.16.0 ppx_sexp_message.v0.16.0 ppx_sexp_value.v0.16.0 ppx_stable.v0.16.0 ppx_stable_witness.v0.16.0 ppx_string.v0.16.0 ppx_tydi.v0.16.0 ppx_typerep_conv.v0.16.0 ppx_variants_conv.v0.16.0 ppxlib.0.35.0 re.1.14.0 sedlex.3.7 seq.base sexplib.v0.16.0 sexplib0.v0.16.0 splittable_random.v0.16.0 stdio.v0.16.0 stdlib-shims.0.3.0 time_now.v0.16.0 topkg.1.1.1 typerep.v0.16.0 uchar.0.0.2 uucp.17.0.0 uunf.17.0.0 uutf.1.0.4 variantslib.v0.16.0 yojson.3.0.0 zarith.1.14 zarith_stubs_js.v0.16.1") /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.5 --depext-only -y lvca.dev $DEPS")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://security.ubuntu.com/ubuntu resolute-security InRelease [137 kB] - Hit:2 http://archive.ubuntu.com/ubuntu resolute InRelease - Get:3 http://archive.ubuntu.com/ubuntu resolute-updates InRelease [137 kB] - Get:4 http://security.ubuntu.com/ubuntu resolute-security/universe amd64 Packages [114 kB] - Get:5 http://security.ubuntu.com/ubuntu resolute-security/main amd64 Packages [236 kB] - Get:6 http://security.ubuntu.com/ubuntu resolute-security/restricted amd64 Packages [250 kB] - Hit:7 http://archive.ubuntu.com/ubuntu resolute-backports InRelease - Get:8 http://archive.ubuntu.com/ubuntu resolute-updates/main amd64 Packages [244 kB] - Get:9 http://archive.ubuntu.com/ubuntu resolute-updates/restricted amd64 Packages [250 kB] - Get:10 http://archive.ubuntu.com/ubuntu resolute-updates/universe amd64 Packages [120 kB] - Fetched 1489 kB in 1s (1831 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [lvca.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.3). [NOTE] Package ocaml is already installed (current version is 4.14.3). [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 system packages will first need to be installed: libgmp-dev pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config" - Selecting previously unselected package libgmpxx4ldbl:amd64. - (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 22790 files and directories currently installed.) - Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-5ubuntu2_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu2) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-5ubuntu2_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu2) ... - Selecting previously unselected package libpkgconf7:amd64. - Preparing to unpack .../2-libpkgconf7_2.5.1-4_amd64.deb ... - Unpacking libpkgconf7:amd64 (2.5.1-4) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../3-pkgconf-bin_2.5.1-4_amd64.deb ... - Unpacking pkgconf-bin (2.5.1-4) ... - Selecting previously unselected package pkgconf:amd64. - Preparing to unpack .../4-pkgconf_2.5.1-4_amd64.deb ... - Unpacking pkgconf:amd64 (2.5.1-4) ... - Selecting previously unselected package pkg-config:amd64. - Preparing to unpack .../5-pkg-config_2.5.1-4_amd64.deb ... - Unpacking pkg-config:amd64 (2.5.1-4) ... - Setting up libpkgconf7:amd64 (2.5.1-4) ... - Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-5ubuntu2) ... - Setting up pkgconf-bin (2.5.1-4) ... - Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-5ubuntu2) ... - Setting up pkgconf:amd64 (2.5.1-4) ... - Setting up pkg-config:amd64 (2.5.1-4) ... - Processing triggers for libc-bin (2.43-2ubuntu2) ... # To update the current shell environment, run: eval $(opam env) 2026-06-04 01:11.50 ---> saved as "d35d7b8a5b67c1ce43748d9e48cbb7670c8eb4e32ee5721231a1df5c19123ea8" /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.3). [NOTE] Package ocaml is already installed (current version is 4.14.3). [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 96 packages - install afl-persistent 1.4 - install angstrom 0.16.1 - install base v0.16.5 - install base-bytes base - install base_quickcheck v0.16.0 - install bigstringaf 0.10.0 - install bin_prot v0.16.0 - install brr 0.0.8 - install cbor 0.5 - install cmdliner 2.1.1 - install conf-gmp 5 - install conf-pkg-config 4 - install cppo 1.8.0 - install crowbar 0.2.2 - install csexp 1.5.2 - install digestif 1.3.0 - install dune 3.23.1 - install dune-build-info 3.23.1 - install dune-configurator 3.23.1 - install eqaf 0.10 - install fieldslib v0.16.0 - install fmt 0.11.0 - install gen 1.1 - install jane-street-headers v0.16.0 - install js_of_ocaml-compiler 6.3.2 - install js_of_ocaml-toplevel 6.3.2 - install jst-config v0.16.0 - install menhir 20260209 - install menhirCST 20260209 - install menhirGLR 20260209 - install menhirLib 20260209 - install menhirSdk 20260209 - install note 0.0.3 - install num 1.6 - install ocaml-compiler-libs v0.12.4 - install ocaml-syntax-shims 1.0.0 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install ocplib-endian 1.2 - install omd 2.0.0~alpha4 - install parsexp v0.16.0 - install ppx_assert v0.16.0 - install ppx_base v0.16.0 - install ppx_bench v0.16.0 - install ppx_bin_prot v0.16.0 - install ppx_blob 0.9.0 - install ppx_cold v0.16.0 - install ppx_compare v0.16.0 - install ppx_custom_printf v0.16.0 - install ppx_derivers 1.2.1 - install ppx_disable_unused_warnings v0.16.0 - install ppx_enumerate v0.16.0 - install ppx_expect v0.16.2 - install ppx_fields_conv v0.16.0 - install ppx_fixed_literal v0.16.0 - install ppx_globalize v0.16.0 - install ppx_hash v0.16.0 - install ppx_here v0.16.0 - install ppx_ignore_instrumentation v0.16.0 - install ppx_inline_test v0.16.1 - install ppx_jane v0.16.0 - install ppx_let v0.16.0 - install ppx_log v0.16.0 - install ppx_module_timer v0.16.0 - install ppx_optcomp v0.16.0 - install ppx_optional v0.16.0 - install ppx_pipebang v0.16.0 - install ppx_sexp_conv v0.16.0 - install ppx_sexp_message v0.16.0 - install ppx_sexp_value v0.16.0 - install ppx_stable v0.16.0 - install ppx_stable_witness v0.16.0 - install ppx_string v0.16.0 - install ppx_tydi v0.16.0 - install ppx_typerep_conv v0.16.0 - install ppx_variants_conv v0.16.0 - install ppxlib 0.35.0 - install re 1.14.0 - install sedlex 3.7 - install seq base - install sexplib v0.16.0 - install sexplib0 v0.16.0 - install splittable_random v0.16.0 - install stdio v0.16.0 - install stdlib-shims 0.3.0 - install time_now v0.16.0 - install topkg 1.1.1 - install typerep v0.16.0 - install uchar 0.0.2 - install uucp 17.0.0 - install uunf 17.0.0 - install uutf 1.0.4 - install variantslib v0.16.0 - install yojson 3.0.0 - install zarith 1.14 - install zarith_stubs_js v0.16.1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved afl-persistent.1.4 (cached) -> retrieved angstrom.0.16.1 (cached) -> retrieved base.v0.16.5 (cached) -> retrieved base_quickcheck.v0.16.0 (cached) -> retrieved bigstringaf.0.10.0 (cached) -> retrieved bin_prot.v0.16.0 (cached) -> retrieved cbor.0.5 (cached) -> retrieved conf-gmp.5 (cached) -> installed conf-gmp.5 -> installed conf-pkg-config.4 -> retrieved cmdliner.2.1.1 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved crowbar.0.2.2 (cached) -> retrieved brr.0.0.8 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved eqaf.0.10 (cached) -> retrieved fieldslib.v0.16.0 (cached) -> retrieved fmt.0.11.0 (cached) -> retrieved gen.1.1 (cached) -> retrieved jane-street-headers.v0.16.0 (cached) -> retrieved digestif.1.3.0 (cached) -> retrieved jst-config.v0.16.0 (cached) -> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached) -> retrieved dune.3.23.1, dune-build-info.3.23.1, dune-configurator.3.23.1 (cached) -> retrieved js_of_ocaml-compiler.6.3.2, js_of_ocaml-toplevel.6.3.2 (cached) -> retrieved note.0.0.3 (cached) -> retrieved num.1.6 (cached) -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved ocaml-syntax-shims.1.0.0 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> installed cmdliner.2.1.1 -> retrieved ocamlfind.1.9.8 (cached) -> retrieved ocplib-endian.1.2 (cached) -> retrieved omd.2.0.0~alpha4 (cached) -> retrieved parsexp.v0.16.0 (cached) -> retrieved ppx_assert.v0.16.0 (cached) -> retrieved ppx_base.v0.16.0 (cached) -> retrieved ppx_bench.v0.16.0 (cached) -> retrieved ppx_bin_prot.v0.16.0 (cached) -> retrieved ppx_blob.0.9.0 (cached) -> retrieved ppx_cold.v0.16.0 (cached) -> retrieved ppx_compare.v0.16.0 (cached) -> retrieved ppx_custom_printf.v0.16.0 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ppx_disable_unused_warnings.v0.16.0 (cached) -> retrieved ppx_enumerate.v0.16.0 (cached) -> retrieved ppx_fields_conv.v0.16.0 (cached) -> retrieved ppx_expect.v0.16.2 (cached) -> retrieved ppx_fixed_literal.v0.16.0 (cached) -> retrieved ppx_globalize.v0.16.0 (cached) -> retrieved ppx_hash.v0.16.0 (cached) -> retrieved ppx_here.v0.16.0 (cached) -> retrieved ppx_ignore_instrumentation.v0.16.0 (cached) -> retrieved ppx_inline_test.v0.16.1 (cached) -> retrieved ppx_jane.v0.16.0 (cached) -> retrieved ppx_let.v0.16.0 (cached) -> retrieved ppx_log.v0.16.0 (cached) -> retrieved ppx_module_timer.v0.16.0 (cached) -> retrieved ppx_optcomp.v0.16.0 (cached) -> retrieved ppx_optional.v0.16.0 (cached) -> retrieved ppx_pipebang.v0.16.0 (cached) -> retrieved ppx_sexp_conv.v0.16.0 (cached) -> retrieved ppx_sexp_message.v0.16.0 (cached) -> retrieved ppx_sexp_value.v0.16.0 (cached) -> retrieved ppx_stable.v0.16.0 (cached) -> retrieved ppx_stable_witness.v0.16.0 (cached) -> retrieved ppx_string.v0.16.0 (cached) -> retrieved ppx_tydi.v0.16.0 (cached) -> retrieved ppx_typerep_conv.v0.16.0 (cached) -> retrieved ppx_variants_conv.v0.16.0 (cached) -> retrieved re.1.14.0 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved sedlex.3.7 (cached) -> retrieved sexplib.v0.16.0 (cached) -> retrieved sexplib0.v0.16.0 (cached) -> retrieved splittable_random.v0.16.0 (cached) -> retrieved stdio.v0.16.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved time_now.v0.16.0 (cached) -> retrieved typerep.v0.16.0 (cached) -> retrieved topkg.1.1.1 (cached) -> retrieved ppxlib.0.35.0 (cached) -> retrieved uchar.0.0.2 (cached) -> retrieved uunf.17.0.0 (cached) -> retrieved variantslib.v0.16.0 (cached) -> retrieved uutf.1.0.4 (cached) -> retrieved uucp.17.0.0 (cached) -> retrieved yojson.3.0.0 (cached) -> retrieved zarith.1.14 (cached) -> retrieved zarith_stubs_js.v0.16.1 (cached) -> installed num.1.6 -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed ocamlbuild.0.16.1 -> installed uchar.0.0.2 -> installed zarith.1.14 -> installed topkg.1.1.1 -> installed uutf.1.0.4 -> installed fmt.0.11.0 -> installed uunf.17.0.0 -> installed dune.3.23.1 -> installed cppo.1.8.0 -> installed csexp.1.5.2 -> installed dune-build-info.3.23.1 -> installed eqaf.0.10 -> installed gen.1.1 -> installed jane-street-headers.v0.16.0 -> installed menhirCST.20260209 -> installed menhirGLR.20260209 -> installed menhirLib.20260209 -> installed menhirSdk.20260209 -> installed ocaml-compiler-libs.v0.12.4 -> installed ocaml-syntax-shims.1.0.0 -> installed ppx_derivers.1.2.1 -> installed re.1.14.0 -> installed sexplib0.v0.16.0 -> installed stdlib-shims.0.3.0 -> installed yojson.3.0.0 -> installed zarith_stubs_js.v0.16.1 -> installed afl-persistent.1.4 -> installed ocplib-endian.1.2 -> installed digestif.1.3.0 -> installed cbor.0.5 -> installed crowbar.0.2.2 -> installed dune-configurator.3.23.1 -> installed parsexp.v0.16.0 -> installed bigstringaf.0.10.0 -> installed angstrom.0.16.1 -> installed sexplib.v0.16.0 -> installed base.v0.16.5 -> installed fieldslib.v0.16.0 -> installed variantslib.v0.16.0 -> installed stdio.v0.16.0 -> installed menhir.20260209 -> installed typerep.v0.16.0 -> installed ppxlib.0.35.0 -> installed ppx_globalize.v0.16.0 -> installed uucp.17.0.0 -> installed ppx_tydi.v0.16.0 -> installed ppx_disable_unused_warnings.v0.16.0 -> installed ppx_fields_conv.v0.16.0 -> installed ppx_optcomp.v0.16.0 -> installed ppx_blob.0.9.0 -> installed ppx_cold.v0.16.0 -> installed ppx_stable.v0.16.0 -> installed ppx_variants_conv.v0.16.0 -> installed ppx_enumerate.v0.16.0 -> installed ppx_typerep_conv.v0.16.0 -> installed ppx_here.v0.16.0 -> installed ppx_stable_witness.v0.16.0 -> installed ppx_ignore_instrumentation.v0.16.0 -> installed ppx_compare.v0.16.0 -> installed ppx_fixed_literal.v0.16.0 -> installed ppx_pipebang.v0.16.0 -> installed ppx_optional.v0.16.0 -> installed ppx_sexp_conv.v0.16.0 -> installed sedlex.3.7 -> installed omd.2.0.0~alpha4 -> installed ppx_let.v0.16.0 -> installed ppx_hash.v0.16.0 -> installed ppx_assert.v0.16.0 -> installed ppx_sexp_value.v0.16.0 -> installed ppx_sexp_message.v0.16.0 -> installed ppx_custom_printf.v0.16.0 -> installed ppx_base.v0.16.0 -> installed ppx_log.v0.16.0 -> installed jst-config.v0.16.0 -> installed ppx_string.v0.16.0 -> installed bin_prot.v0.16.0 -> installed time_now.v0.16.0 -> installed ppx_bin_prot.v0.16.0 -> installed ppx_module_timer.v0.16.0 -> installed ppx_inline_test.v0.16.1 -> installed ppx_bench.v0.16.0 -> installed ppx_expect.v0.16.2 -> installed splittable_random.v0.16.0 -> installed js_of_ocaml-compiler.6.3.2 -> installed base_quickcheck.v0.16.0 -> installed ppx_jane.v0.16.0 -> installed js_of_ocaml-toplevel.6.3.2 -> installed brr.0.0.8 -> installed note.0.0.3 Done. <><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><> => afl-persistent is installed, but since the current OCaml compiler does not enable AFL instrumentation by default, most packages will not be instrumented and fuzzing with afl-fuzz may not be effective. To globally enable AFL instrumentation, create an OCaml switch like: opam switch create 4.14.3+afl ocaml-variants.4.14.3+options ocaml-option-afl # To update the current shell environment, run: eval $(opam env) 2026-06-04 01:15.59 ---> saved as "14a566ce1ac312d5284fad0675f2954da80158589795086653adb3554dee819e" /src: (copy (src .) (dst /src)) 2026-06-04 01:16.04 ---> saved as "f9a2ed493a05b781f34a97b5334a4a9062b5918e0e4d3ce09b0d9e1d2ded40f8" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) File "pages/dune", line 6, characters 30-38: 6 | (libraries angstrom base brr brr.note digestif.ocaml lvca_bidirectional ^^^^^^^^ Error: Library "brr.note" not found. -> required by _build/default/pages/.devel_main.eobjs/byte/dune__exe__Ast_operations.cmi -> required by alias pages/check File "syntax/Nominal.ml", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/syntax/Nominal.ml _build/default/syntax/Nominal.ml.corrected diff --git a/_build/default/syntax/Nominal.ml b/_build/default/syntax/Nominal.ml.corrected index 1bf5f5a..f40eb51 100644 --- a/_build/default/syntax/Nominal.ml +++ b/_build/default/syntax/Nominal.ml.corrected @@ -754,13 +754,13 @@ let%test_module "Nominal" = let%expect_test _ = "a" |> parse_exn |> Term.rename "a" "b" |> pp; [%expect - {| <{ input = Input_unknown; range = {0,1} }>b</{ input = Input_unknown; range = {0,1} }> |}] + {| b |}] ;; let%expect_test _ = "Foo(a; b; c; 1; 'c')" |> parse_exn |> Term.rename "a" "b" |> pp; [%expect - {| <{ input = Input_unknown; range = {0,20} }>Foo(<{ input = Input_unknown; range = {4,5} }>b</{ input = Input_unknown; range = {4,5} }>; <{ input = Input_unknown; range = {7,8} }>b</{ input = Input_unknown; range = {7,8} }>; <{ input = Input_unknown; range = {10,11} }>c</{ input = Input_unknown; range = {10,11} }>; <{ input = Input_unknown; range = {13,14} }>1</{ input = Input_unknown; range = {13,14} }>; <{ input = Input_unknown; range = {16,19} }>'c'</{ input = Input_unknown; range = {16,19} }>)</{ input = Input_unknown; range = {0,20} }> |}] + {| Foo(b; b; c; 1; 'c') |}] ;; let%expect_test _ = @@ -769,7 +769,7 @@ let%test_module "Nominal" = |> Term.rename "a" "b" |> pp; [%expect - {| <{ input = Input_unknown; range = {0,47} }>Foo(<{ input = Input_unknown; range = {4,13} }>Lam(<{ input = Input_unknown; range = {8,9} }>a</{ input = Input_unknown; range = {8,9} }>. <{ input = Input_unknown; range = {11,12} }>a</{ input = Input_unknown; range = {11,12} }>)</{ input = Input_unknown; range = {4,13} }>; <{ input = Input_unknown; range = {15,24} }>Lam(<{ input = Input_unknown; range = {19,20} }>b</{ input = Input_unknown; range = {19,20} }>. <{ input = Input_unknown; range = {22,23} }>b</{ input = Input_unknown; range = {22,23} }>)</{ input = Input_unknown; range = {15,24} }>; <{ input = Input_unknown; range = {26,35} }>Lam(<{ input = Input_unknown; range = {30,31} }>a</{ input = Input_unknown; range = {30,31} }>. <{ input = Input_unknown; range = {33,34} }>b</{ input = Input_unknown; range = {33,34} }>)</{ input = Input_unknown; range = {26,35} }>; <{ input = Input_unknown; range = {37,46} }>Lam(<{ input = Input_unknown; range = {41,42} }>b</{ input = Input_unknown; range = {41,42} }>. <{ input = Input_unknown; range = {44,45} }>b</{ input = Input_unknown; range = {44,45} }>)</{ input = Input_unknown; range = {37,46} }>)</{ input = Input_unknown; range = {0,47} }> |}] + {| Foo(Lam(a. a); Lam(b. b); Lam(a. b); Lam(b. b)) |}] ;; end) ;; @@ -796,7 +796,7 @@ let%test_module "TermParser" = (* 0123*) [%expect {| - <{ input = Input_unknown; range = {0,3} }>123</{ input = Input_unknown; range = {0,3} }> + 123 |}] ;; @@ -828,7 +828,7 @@ let%test_module "TermParser" = (* 012345*) [%expect {| - <{ input = Input_unknown; range = {0,5} }>"str"</{ input = Input_unknown; range = {0,5} }> + "str" |}] ;; @@ -837,7 +837,7 @@ let%test_module "TermParser" = (* 0123*) [%expect {| - <{ input = Input_unknown; range = {0,3} }>A()</{ input = Input_unknown; range = {0,3} }> + A() |}] ;; @@ -846,7 +846,7 @@ let%test_module "TermParser" = (* 01234*) [%expect {| - <{ input = Input_unknown; range = {0,4} }>A(<{ input = Input_unknown; range = {2,3} }>b</{ input = Input_unknown; range = {2,3} }>)</{ input = Input_unknown; range = {0,4} }> + A(b) |}] ;; @@ -855,7 +855,7 @@ let%test_module "TermParser" = (* 0123456*) [%expect {| - <{ input = Input_unknown; range = {0,6} }>A(<{ input = Input_unknown; range = {2,3} }>b</{ input = Input_unknown; range = {2,3} }>; <{ input = Input_unknown; range = {4,5} }>c</{ input = Input_unknown; range = {4,5} }>)</{ input = Input_unknown; range = {0,6} }> + A(b; c) |}] ;; @@ -864,7 +864,7 @@ let%test_module "TermParser" = (* 012345678901*) [%expect {| - <{ input = Input_unknown; range = {0,11} }>A(<{ input = Input_unknown; range = {2,3} }>b</{ input = Input_unknown; range = {2,3} }>; <{ input = Input_unknown; range = {4,5} }>c</{ input = Input_unknown; range = {4,5} }>; <{ input = Input_unknown; range = {6,7} }>d</{ input = Input_unknown; range = {6,7} }>; <{ input = Input_unknown; range = {8,9} }>e</{ input = Input_unknown; range = {8,9} }>)</{ input = Input_unknown; range = {0,11} }> + A(b; c; d; e) |}] ;; @@ -873,7 +873,7 @@ let%test_module "TermParser" = (* 012345678901*) [%expect {| - <{ input = Input_unknown; range = {0,11} }>A(<{ input = Input_unknown; range = {2,3} }>b</{ input = Input_unknown; range = {2,3} }>. <{ input = Input_unknown; range = {4,5} }>c</{ input = Input_unknown; range = {4,5} }>; <{ input = Input_unknown; range = {6,7} }>d</{ input = Input_unknown; range = {6,7} }>; <{ input = Input_unknown; range = {8,9} }>e</{ input = Input_unknown; range = {8,9} }>)</{ input = Input_unknown; range = {0,11} }> + A(b. c; d; e) |}] ;; @@ -882,7 +882,7 @@ let%test_module "TermParser" = (* 012345678901234*) [%expect {| - <{ input = Input_unknown; range = {0,14} }>A(<{ input = Input_unknown; range = {2,3} }>b</{ input = Input_unknown; range = {2,3} }>. <{ input = Input_unknown; range = {4,5} }>c</{ input = Input_unknown; range = {4,5} }>; <{ input = Input_unknown; range = {6,7} }>d</{ input = Input_unknown; range = {6,7} }>; <{ input = Input_unknown; range = {8,9} }>e</{ input = Input_unknown; range = {8,9} }>; <{ input = Input_unknown; range = {10,11} }>f</{ input = Input_unknown; range = {10,11} }>; <{ input = Input_unknown; range = {12,13} }>g</{ input = Input_unknown; range = {12,13} }>)</{ input = Input_unknown; range = {0,14} }> + A(b. c; d; e; f; g) |}] ;; @@ -895,8 +895,8 @@ Match(x; Match_lines( )) |}; [%expect {| - <{ input = Input_unknown; range = {1,85} }>Match(<{ input = Input_unknown; range = {7,8} }>x</{ input = Input_unknown; range = {7,8} }>; - <{ input = Input_unknown; range = {10,84} }>Match_lines(<{ input = Input_unknown; range = {25,50} }>Match_line(<{ input = Input_unknown; range = {36,41} }>Foo()</{ input = Input_unknown; range = {36,41} }>. <{ input = Input_unknown; range = {43,49} }>True()</{ input = Input_unknown; range = {43,49} }>)</{ input = Input_unknown; range = {25,50} }>; <{ input = Input_unknown; range = {54,82} }>Match_line(<{ input = Input_unknown; range = {65,78} }>Bar(<{ input = Input_unknown; range = {69,70} }>_</{ input = Input_unknown; range = {69,70} }>; <{ input = Input_unknown; range = {72,74} }>_x</{ input = Input_unknown; range = {72,74} }>; <{ input = Input_unknown; range = {76,77} }>y</{ input = Input_unknown; range = {76,77} }>)</{ input = Input_unknown; range = {65,78} }>. <{ input = Input_unknown; range = {80,81} }>y</{ input = Input_unknown; range = {80,81} }>)</{ input = Input_unknown; range = {54,82} }>)</{ input = Input_unknown; range = {10,84} }>)</{ input = Input_unknown; range = {1,85} }> |}] + Match(x; + Match_lines(Match_line(Foo(). True()); Match_line(Bar(_; _x; y). y))) |}] ;; let%expect_test _ = @@ -905,7 +905,7 @@ Match(x; Match_lines( 0 1 2 3*) [%expect {| - <{ input = Input_unknown; range = {0,31} }>Succ(<{ input = Input_unknown; range = {5,30} }>Ifz(<{ input = Input_unknown; range = {9,15} }>Zero()</{ input = Input_unknown; range = {9,15} }>; <{ input = Input_unknown; range = {17,18} }>x</{ input = Input_unknown; range = {17,18} }>. <{ input = Input_unknown; range = {20,21} }>x</{ input = Input_unknown; range = {20,21} }>; <{ input = Input_unknown; range = {23,29} }>Zero()</{ input = Input_unknown; range = {23,29} }>)</{ input = Input_unknown; range = {5,30} }>)</{ input = Input_unknown; range = {0,31} }> + Succ(Ifz(Zero(); x. x; Zero())) |}] ;; (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I languages/.lvca_languages.objs/byte -I /home/opam/.opam/4.14/lib/angstrom -I /home/opam/.opam/4.14/lib/base -I /home/opam/.opam/4.14/lib/base/base_internalhash_types -I /home/opam/.opam/4.14/lib/base/caml -I /home/opam/.opam/4.14/lib/base/md5 -I /home/opam/.opam/4.14/lib/base/shadow_stdlib -I /home/opam/.opam/4.14/lib/base_quickcheck -I /home/opam/.opam/4.14/lib/base_quickcheck/ppx_quickcheck/runtime -I /home/opam/.opam/4.14/lib/bigstringaf -I /home/opam/.opam/4.14/lib/bin_prot -I /home/opam/.opam/4.14/lib/bin_prot/shape -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/cbor -I /home/opam/.opam/4.14/lib/digestif -I /home/opam/.opam/4.14/lib/eqaf -I /home/opam/.opam/4.14/lib/fieldslib -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/jane-street-headers -I /home/opam/.opam/4.14/lib/ocplib-endian -I /home/opam/.opam/4.14/lib/omd -I /home/opam/.opam/4.14/lib/parsexp -I /home/opam/.opam/4.14/lib/ppx_assert/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_bench/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_compare/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_expect/collector -I /home/opam/.opam/4.14/lib/ppx_expect/common -I /home/opam/.opam/4.14/lib/ppx_expect/config -I /home/opam/.opam/4.14/lib/ppx_expect/config_types -I /home/opam/.opam/4.14/lib/ppx_hash/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_here/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_inline_test/config -I /home/opam/.opam/4.14/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_log/types -I /home/opam/.opam/4.14/lib/ppx_module_timer/runtime -I /home/opam/.opam/4.14/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/4.14/lib/ppx_stable_witness/runtime -I /home/opam/.opam/4.14/lib/ppx_stable_witness/stable_witness -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/sexplib -I /home/opam/.opam/4.14/lib/sexplib0 -I /home/opam/.opam/4.14/lib/splittable_random -I /home/opam/.opam/4.14/lib/stdio -I /home/opam/.opam/4.14/lib/time_now -I /home/opam/.opam/4.14/lib/typerep -I /home/opam/.opam/4.14/lib/uucp -I /home/opam/.opam/4.14/lib/uunf -I /home/opam/.opam/4.14/lib/uutf -I /home/opam/.opam/4.14/lib/variantslib -I /home/opam/.opam/4.14/lib/zarith -I /home/opam/.opam/4.14/lib/zarith_stubs_js -I bidirectional/.lvca_bidirectional.objs/byte -I constructive-real/.constructive_real.objs/byte -I del/.lvca_del.objs/byte -I parsing/.lvca_parsing.objs/byte -I provenance/.lvca_provenance.objs/byte -I syntax/.lvca_syntax.objs/byte -I util/.lvca_util.objs/byte -no-alias-deps -opaque -open Lvca_languages -o languages/.lvca_languages.objs/byte/lvca_languages__Document.cmo -c -impl languages/Document.pp.ml) File "languages/Document.ml", lines 148-159, characters 61-69: 148 | .............................................................function 149 | | Paragraph (attrs, inl) -> Paragraph (here, attributes attrs, inline inl) 150 | | List (attrs, t, s, blocks) -> 151 | List (here, attributes attrs, list_type t, list_spacing s, list (list block) blocks) 152 | | Blockquote (attrs, blocks) -> Blockquote (here, attributes attrs, list block blocks) ... 156 | | Code_block (attrs, x, y) -> Code_block (here, attributes attrs, (here, x), (here, y)) 157 | | Html_block (attrs, str) -> Html_block (here, attributes attrs, (here, str)) 158 | | Definition_list (attrs, def_elts) -> 159 | Definition_list (here, attributes attrs, list def_elt def_elts) Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Table (_, _, _) "/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1 2026-06-04 01:16.25: Job failed: Failed: Build failed