- github
- ocaml
- opam-repository
- 387e2f
- compilers,4.14,ppxlib.0.38.0,revdeps,electrod.0.6
(not at the head of any monitored branch or PR)
2026-03-19 09:47.35: New job: test electrod.0.6 with ppxlib.0.38.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29563/head (387e2f5b0d8ca5a51f4ba81536f829fd909dafd1)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29563/head" && git reset --hard 387e2f5b
git fetch origin master
git merge --no-edit 9f189ca4f94fbb5f0045820bf3c4ffafb21145ef
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ppxlib.0.38.0 0.38.0
RUN opam reinstall ppxlib.0.38.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ppxlib.0.38.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall electrod.0.6; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'electrod.0.6' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test electrod.0.6) || true
RUN opam reinstall --with-test --verbose electrod.0.6; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'electrod.0.6' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-03-19 09:47.35: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e-ppxlib.0.38.0-electrod.0.6-387e2f5b0d8ca5a51f4ba81536f829fd909dafd1"
2026-03-19 09:47.35: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ppxlib.0.38.0 0.38.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ppxlib.0.38.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ppxlib.0.38.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall electrod.0.6;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'electrod.0.6' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test electrod.0.6) || true"))
(run (shell "opam reinstall --with-test --verbose electrod.0.6;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'electrod.0.6' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-19 09:47.35: Waiting for resource in pool OCluster
2026-03-19 10:49.44: Waiting for worker…
2026-03-19 10:54.04: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 9f189ca4f9 Merge pull request #29562 from shonfeder/release-dune-3.22.0
Updating 9f189ca4f9..387e2f5b0d
Fast-forward
packages/ppxlib-tools/ppxlib-tools.0.38.0/opam | 46 +++++++++++++++++++
packages/ppxlib/ppxlib.0.38.0/opam | 63 ++++++++++++++++++++++++++
2 files changed, 109 insertions(+)
create mode 100644 packages/ppxlib-tools/ppxlib-tools.0.38.0/opam
create mode 100644 packages/ppxlib/ppxlib.0.38.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
2026-03-19 10:54.06 ---> using "32cd5b5baf995c02200cf270da597dbb25becd220af2c200c00b8b241a742195" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-03-19 10:54.06 ---> using "f3ed7bdbef828c9c0b079b10505c5f05c3c9adcca11ce5bf2dac2a4183e099d8" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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.0 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 71 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=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-03-19 10:54.06 ---> using "5bf6adb7b45bb7e0c215b8f509c71a8dae73a9a2060efcc27df9d4ef6c6d3350" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-03-19 10:54.06 ---> using "0546f18fa5979677ee22eb9f2fcf19ab371564e845d317c2c70e41dd97dc22dd" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-03-19 10:54.06 ---> using "0a7188cbe95f4fe0ff26694977eb8794c975bdb534078da98a06d6c7373289b4" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-19 10:54.07 ---> using "fefa9924e0604c66f1b63db7279b36eedced1f983ba1c47733fb7cfa56139b72" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-19 10:54.07 ---> using "53e26a609c7de6302da009a0d221ee07df3c5dfa4227388d9c79a2518a55dcb0" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [115 kB]
- Fetched 10.0 MB in 1s (11.0 MB/s)
- Reading package lists...
-
2026-03-19 10:54.07 ---> using "fdd8d751fb4b54449ac34bbfb1b82b1fc796cdd8e1f6b3aa49ab7fbeb661a77c" from cache
/home/opam: (run (shell "opam pin add -k version -yn ppxlib.0.38.0 0.38.0"))
ppxlib is now pinned to version 0.38.0
2026-03-19 10:54.07 ---> using "14ae3bf112473780bb63ba3353907a440e666f94e2c715c888c53852d2f55d09" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ppxlib.0.38.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ppxlib.0.38.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ppxlib.0.38.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 6 packages
- install dune 3.22.0 [required by ppxlib]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.38.0 (pinned)
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.22.0 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.38.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed dune.3.22.0
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppxlib.0.38.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-19 10:54.07 ---> using "2a66371f05f597ba1fbaf6b705b1d6e7d3ee38447debc1bedb841c891c9b57b4" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall electrod.0.6;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'electrod.0.6' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
electrod.0.6 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 26 packages
- install base-bytes base [required by printbox]
- install cmdliner 1.3.0 [required by electrod]
- install containers 2.8.1 [required by electrod]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install dune-build-info 3.22.0 [required by electrod]
- install dune-configurator 3.22.0 [required by containers]
- install electrod 0.6
- install fmt 0.11.0 [required by electrod]
- install gen 1.1 [required by electrod]
- install hashcons 1.4.0 [required by electrod]
- install iter 1.9 [required by electrod]
- install logs 0.10.0 [required by electrod]
- install menhir 20200211 [required by electrod]
- install menhirLib 20200211 [required by menhir]
- install menhirSdk 20200211 [required by menhir]
- install mtime 1.4.0 [required by electrod]
- install ocamlbuild 0.16.1 [required by logs, fmt, mtime]
- install ocamlfind 1.9.8 [required by mtime, fmt, logs, ppx_deriving]
- install ppx_deriving 6.1.1 [required by electrod]
- install printbox 0.5 [required by electrod]
- install result 1.5 [required by visitors]
- install seq base [required by containers, gen]
- install stdcompat 21.1 [required by electrod]
- install topkg 1.1.1 [required by logs, fmt, mtime]
- install visitors 20251114 [required by electrod]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved containers.2.8.1 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed csexp.1.5.2
-> retrieved dune-build-info.3.22.0, dune-configurator.3.22.0 (cached)
-> retrieved electrod.0.6 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved hashcons.1.4.0 (cached)
-> retrieved iter.1.9 (cached)
-> retrieved logs.0.10.0 (cached)
-> retrieved menhir.20200211, menhirLib.20200211, menhirSdk.20200211 (cached)
-> installed cmdliner.1.3.0
-> installed cppo.1.8.0
-> installed dune-build-info.3.22.0
-> installed dune-configurator.3.22.0
-> installed hashcons.1.4.0
-> installed iter.1.9
-> retrieved mtime.1.4.0 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved printbox.0.5 (cached)
-> retrieved result.1.5 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> installed menhirSdk.20200211
-> retrieved stdcompat.21.1 (cached)
-> installed menhirLib.20200211
-> installed result.1.5
-> retrieved topkg.1.1.1 (cached)
-> retrieved visitors.20251114 (cached)
-> installed gen.1.1
-> installed containers.2.8.1
-> installed stdcompat.21.1
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed printbox.0.5
-> installed ocamlbuild.0.16.1
-> installed ppx_deriving.6.1.1
-> installed menhir.20200211
-> installed visitors.20251114
-> installed topkg.1.1.1
-> installed mtime.1.4.0
-> installed fmt.0.11.0
-> installed logs.0.10.0
-> installed electrod.0.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-19 10:54.38 ---> saved as "57b480445001c5f966e0b2ab43f3ed5998c7684f6d70fcc02a2ac2a1611d2fff"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test electrod.0.6) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile electrod 0.6
=== install 5 packages
- install astring 0.8.5 [required by mdx]
- install camlp-streams 5.0.1 [required by mdx]
- install mdx 2.5.1 [required by electrod]
- install ocaml-version 4.0.3 [required by mdx]
- install re 1.14.0 [required by mdx]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved camlp-streams.5.0.1 (https://opam.ocaml.org/cache)
-> retrieved electrod.0.6 (https://opam.ocaml.org/cache)
-> installed camlp-streams.5.0.1
-> retrieved mdx.2.5.1 (https://opam.ocaml.org/cache)
-> retrieved ocaml-version.4.0.3 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> installed ocaml-version.4.0.3
-> installed astring.0.8.5
-> removed electrod.0.6
-> installed re.1.14.0
-> installed mdx.2.5.1
-> installed electrod.0.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-19 10:54.50 ---> saved as "9de7fb5be32f587f75127c1c8d581e872be83f1b17293c5d6fc337470c34ab33"
/home/opam: (run (shell "opam reinstall --with-test --verbose electrod.0.6;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'electrod.0.6' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile electrod 0.6
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [electrod.0.6: extract]
-> retrieved electrod.0.6 (cached)
Processing 2/4: [electrod: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "electrod" "-j" "255" "@install" "@runtest" (CWD=/home/opam/.opam/4.14/.opam-switch/build/electrod.0.6)
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Fmtc.cmo -c -impl src/Fmtc.pp.ml)
- File "src/Fmtc.ml", line 100, characters 20-26:
- 100 | let ( **< ) p1 p2 = prefix p1 p2
- ^^^^^^
- Alert deprecated: prefix
- use Fmt.(++) instead.
- File "src/Fmtc.ml", line 102, characters 20-26:
- 102 | let ( **> ) p1 p2 = suffix p1 p2
- ^^^^^^
- Alert deprecated: suffix
- use Fmt.(++) instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Fmtc.cmx -c -impl src/Fmtc.pp.ml)
- File "src/Fmtc.ml", line 100, characters 20-26:
- 100 | let ( **< ) p1 p2 = prefix p1 p2
- ^^^^^^
- Alert deprecated: prefix
- use Fmt.(++) instead.
- File "src/Fmtc.ml", line 102, characters 20-26:
- 102 | let ( **> ) p1 p2 = suffix p1 p2
- ^^^^^^
- Alert deprecated: suffix
- use Fmt.(++) instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Tuple.cmo -c -impl src/Tuple.pp.ml)
- File "src/Tuple.ml", line 193, characters 7-15:
- 193 | @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n;
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Tuple.cmx -c -impl src/Tuple.pp.ml)
- File "src/Tuple.ml", line 193, characters 7-15:
- 193 | @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n;
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/.sandbox/f1a2851f3c2748db97a060f9ae281976/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -open Libelectrod -short-paths -i -impl src/Parser__mock.ml.pp.mock) > _build/.sandbox/f1a2851f3c2748db97a060f9ae281976/default/src/Parser__mock.mli.inferred
- File "src/Parser__mock.ml.pp.mock", line 1:
- Warning 63 [erroneous-printed-signature]: The printed interface differs from the inferred interface.
- The inferred interface contained items which could not be printed
- properly due to name collisions between identifiers.
- File "src/Parser.mly", line 20, characters 0-31:
- Definition of module Libelectrod/1
- File "_none_", line 1:
- Definition of module Libelectrod/2
- Beware that this warning is purely informational and will not catch
- all instances of erroneous printed interface.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Exp_bounds.cmo -c -impl src/Exp_bounds.pp.ml)
- File "src/Exp_bounds.ml", line 236, characters 14-23:
- 236 | Fmt.kstrf
- ^^^^^^^^^
- Alert deprecated: Fmt.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Raw_to_ast.cmo -c -impl src/Raw_to_ast.pp.ml)
- File "src/Raw_to_ast.ml", line 582, characters 17-26:
- 582 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 592, characters 17-26:
- 592 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 611, characters 17-26:
- 611 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 702, characters 15-24:
- 702 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 712, characters 15-24:
- 712 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 722, characters 15-24:
- 722 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 728, characters 30-39:
- 728 | then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1'))
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 736, characters 15-24:
- 736 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 764, characters 17-26:
- 764 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Smv.cmo -c -impl src/Smv.pp.ml)
- File "src/Smv.ml", line 346, characters 12-16:
- 346 | Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple)
- ^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Smv.ml", line 665, characters 20-28:
- 665 | let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Elo_to_ltl1.cmo -c -impl src/Elo_to_ltl1.pp.ml)
- File "src/Elo_to_ltl1.ml", line 670, characters 12-22:
- 670 | Fmtc.kstrf
- ^^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.electrod.eobjs/byte -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/cmdliner -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/dune-build-info -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/cli -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/cli -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -I src/.libelectrod.objs/byte -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/byte/dune__exe__Electrod.cmo -c -impl src/electrod.ml)
- File "src/electrod.ml", line 191, characters 2-11:
- 191 | Term.info "electrod" ~doc ~man
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/electrod.ml", line 196, characters 8-17:
- 196 | match Term.eval ~catch:true (main_term, main_info) with
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Exp_bounds.cmx -c -impl src/Exp_bounds.pp.ml)
- File "src/Exp_bounds.ml", line 236, characters 14-23:
- 236 | Fmt.kstrf
- ^^^^^^^^^
- Alert deprecated: Fmt.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Raw_to_ast.cmx -c -impl src/Raw_to_ast.pp.ml)
- File "src/Raw_to_ast.ml", line 582, characters 17-26:
- 582 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 592, characters 17-26:
- 592 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 611, characters 17-26:
- 611 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 702, characters 15-24:
- 702 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 712, characters 15-24:
- 712 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 722, characters 15-24:
- 722 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 728, characters 30-39:
- 728 | then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1'))
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 736, characters 15-24:
- 736 | (Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Raw_to_ast.ml", line 764, characters 17-26:
- 764 | @@ Fmtc.strf
- ^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Smv.cmx -c -impl src/Smv.pp.ml)
- File "src/Smv.ml", line 346, characters 12-16:
- 346 | Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple)
- ^^^^
- Alert deprecated: Libelectrod.Fmtc.strf
- use Fmt.str instead.
- File "src/Smv.ml", line 665, characters 20-28:
- 665 | let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Elo_to_ltl1.cmx -c -impl src/Elo_to_ltl1.pp.ml)
- File "src/Elo_to_ltl1.ml", line 670, characters 12-22:
- 670 | Fmtc.kstrf
- ^^^^^^^^^^
- Alert deprecated: Libelectrod.Fmtc.kstrf
- use Fmt.kstr instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -O3 -I src/.electrod.eobjs/byte -I src/.electrod.eobjs/native -I /home/opam/.opam/4.14/lib/bytes -I /home/opam/.opam/4.14/lib/cmdliner -I /home/opam/.opam/4.14/lib/containers -I /home/opam/.opam/4.14/lib/containers/data -I /home/opam/.opam/4.14/lib/containers/monomorphic -I /home/opam/.opam/4.14/lib/containers/unix -I /home/opam/.opam/4.14/lib/dune-build-info -I /home/opam/.opam/4.14/lib/fmt -I /home/opam/.opam/4.14/lib/fmt/cli -I /home/opam/.opam/4.14/lib/fmt/tty -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/hashcons -I /home/opam/.opam/4.14/lib/iter -I /home/opam/.opam/4.14/lib/logs -I /home/opam/.opam/4.14/lib/logs/cli -I /home/opam/.opam/4.14/lib/logs/fmt -I /home/opam/.opam/4.14/lib/mtime -I /home/opam/.opam/4.14/lib/mtime/clock/os -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/printbox -I /home/opam/.opam/4.14/lib/result -I /home/opam/.opam/4.14/lib/seq -I /home/opam/.opam/4.14/lib/stdcompat -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/visitors/runtime -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/native/dune__exe__Electrod.cmx -c -impl src/electrod.ml)
- File "src/electrod.ml", line 191, characters 2-11:
- 191 | Term.info "electrod" ~doc ~man
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "src/electrod.ml", line 196, characters 8-17:
- 196 | match Term.eval ~catch:true (main_term, main_info) with
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
-> compiled electrod.0.6
-> removed electrod.0.6
-> installed electrod.0.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-19 10:55.03 ---> saved as "1bb50fd3ab838d92989454c62ad6163b7fba176f4c6529ae7598f2891d7d1994"
Job succeeded
2026-03-19 10:55.10: Job succeeded