- github
- ocaml
- opam-repository
- 8165eb
- compilers,4.14,re.1.14.0,revdeps,elpi.1.17.4
(not at the head of any monitored branch or PR)
2025-09-18 12:21.27: New job: test elpi.1.17.4 with re.1.14.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28544/head (8165ebc987d9de35b2fdba552fd80e37f5bd842d)
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/28544/head" && git reset --hard 8165ebc9
git fetch origin master
git merge --no-edit 151ffce963e54519dd5d1280848f631d38db358e
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc
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 re.1.14.0 1.14.0
RUN opam reinstall re.1.14.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" != 're.1.14.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall elpi.1.17.4; \
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" != 'elpi.1.17.4' && 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 elpi.1.17.4) || true
RUN opam reinstall --with-test --verbose elpi.1.17.4; \
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" != 'elpi.1.17.4' && 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 .
2025-09-18 12:21.27: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc-re.1.14.0-elpi.1.17.4-8165ebc987d9de35b2fdba552fd80e37f5bd842d"
2025-09-18 12:21.27: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc)
(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 re.1.14.0 1.14.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall re.1.14.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\" != 're.1.14.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 elpi.1.17.4;\
\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\" != 'elpi.1.17.4' && 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 elpi.1.17.4) || true"))
(run (shell "opam reinstall --with-test --verbose elpi.1.17.4;\
\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\" != 'elpi.1.17.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-09-18 12:21.27: Waiting for resource in pool OCluster
2025-09-18 14:14.44: Waiting for worker…
2025-09-18 14:18.23: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 151ffce963 Merge pull request #28412 from andersfugmann/release-ocaml-protoc-plugin-6.2.0
Updating 151ffce963..8165ebc987
Fast-forward
packages/re/re.1.14.0/opam | 54 ++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 54 insertions(+)
create mode 100644 packages/re/re.1.14.0/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc)
2025-09-18 14:18.29 ---> using "f2c15438f4e8107ac42e1adfbd29c5c483ff0e5aaf05ff1291b0b30470c339be" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-09-18 14:18.29 ---> using "8e4815ff6b482deb2badd55f707e4331a2daf52d1f97e062604f979853124597" 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
2025-09-18 14:18.29 ---> using "0309994c25db3359b71c182dd526d9cd4b87f08f6fd345755107482f61709ee3" 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.4.1
# 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
2025-09-18 14:18.29 ---> using "01960dce876bd083c0e115ca8b857f355a6f4a5b1589bc70acef12378d72e36e" 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/"))
2025-09-18 14:18.29 ---> using "88d8ec224acefa159471a25872197bf5efdd28e8b95159888107feac1f31a583" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-09-18 14:18.30 ---> using "2daa40f8cb706c5ad638d9f505ce5440193f9c6caab6f7a1374dce811b359b23" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-09-18 14:18.30 ---> using "c7e4a8d501560eb3ca7fc845c078f1e10620c9e07b60e1684df8a29206dc874f" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- 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-security trixie-security/main amd64 Packages [40.4 kB]
- Fetched 131 kB in 0s (1361 kB/s)
- Reading package lists...
2025-09-18 14:18.30 ---> using "bf0d21ec1484e3c2798ebb3f62e67a8d7cca2892927fadac2a00726789e47b1e" from cache
/home/opam: (run (shell "opam pin add -k version -yn re.1.14.0 1.14.0"))
re is now pinned to version 1.14.0
2025-09-18 14:18.30 ---> using "3e93ff8b91dae5836d1785da64da20f4001f9fc3eeded7d2071cf7741852d20e" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall re.1.14.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\" != 're.1.14.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
re.1.14.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.20.2 [required by re]
- install re 1.14.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.2 (cached)
-> retrieved re.1.14.0 (cached)
-> installed dune.3.20.2
-> installed re.1.14.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-18 14:18.30 ---> using "3bdffe64ac10ca97ac896c7a816dde89b5172193da7b76c72d478fa5566dafe0" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall elpi.1.17.4;\
\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\" != 'elpi.1.17.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
elpi.1.17.4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 23 packages
- install atd 2.16.0 [required by atdgen, atdts]
- install atdgen 2.15.0 [required by elpi]
- install atdgen-runtime 2.16.0 [required by atdgen]
- install atdts 2.16.0 [required by elpi]
- install biniou 1.2.2 [required by atdgen]
- install camlp-streams 5.0.1 [required by biniou]
- install cmdliner 1.3.0 [required by atdts]
- install cppo 1.8.0 [required by ppx_deriving]
- install easy-format 1.3.4 [required by atd]
- install elpi 1.17.4
- install menhir 20250912 [required by elpi]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.8 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by elpi]
- install ppxlib 0.35.0 [required by elpi]
- install seq base [required by yojson]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by elpi]
- install yojson 2.2.2 [required by atdgen]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved atd.2.16.0, atdgen-runtime.2.16.0, atdts.2.16.0 (cached)
-> retrieved atdgen.2.15.0 (cached)
-> retrieved biniou.1.2.2 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.1.3.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved easy-format.1.3.4 (cached)
-> installed camlp-streams.5.0.1
-> installed easy-format.1.3.4
-> installed biniou.1.2.2
-> installed cppo.1.8.0
-> retrieved elpi.1.17.4 (https://opam.ocaml.org/cache)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.0.3 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved seq.base (cached)
-> installed cmdliner.1.3.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.12.4
-> installed ppx_derivers.1.2.1
-> installed seq.base
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.2.2.2 (cached)
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed yojson.2.2.2
-> installed ocamlfind.1.9.8
-> installed atdgen-runtime.2.16.0
-> installed ppxlib.0.35.0
-> installed menhir.20250912
-> installed atd.2.16.0
-> installed atdts.2.16.0
-> installed ppx_deriving.6.0.3
-> installed atdgen.2.15.0
-> installed elpi.1.17.4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-18 14:19.10 ---> saved as "83813a90e4a6e9a19d6674fbfd563fed0e22c8de693cf6b36128c7cb5f035597"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test elpi.1.17.4) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile elpi 1.17.4
=== install 4 packages
- install ANSITerminal 0.8.5 [required by elpi]
- install base-bytes base [required by ANSITerminal]
- install conf-time 1 [required by elpi]
- install conf-which 1 [required by conf-time]
The following system packages will first need to be installed:
time
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "time"
- Selecting previously unselected package time.
- (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 ... 20622 files and directories currently installed.)
- Preparing to unpack .../time_1.9-0.2_amd64.deb ...
- Unpacking time (1.9-0.2) ...
- Setting up time (1.9-0.2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ANSITerminal.0.8.5 (https://opam.ocaml.org/cache)
-> installed base-bytes.base
-> installed conf-which.1
-> installed conf-time.1
-> installed ANSITerminal.0.8.5
-> retrieved elpi.1.17.4 (https://opam.ocaml.org/cache)
-> removed elpi.1.17.4
-> installed elpi.1.17.4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-18 14:20.00 ---> saved as "6e9fa6989858aea98e663144c1b7e8e7a6a110fffb1d3c4b11c518042c33b5b6"
/home/opam: (run (shell "opam reinstall --with-test --verbose elpi.1.17.4;\
\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\" != 'elpi.1.17.4' && 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 elpi 1.17.4
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [elpi.1.17.4: extract]
-> retrieved elpi.1.17.4 (cached)
Processing 2/4: [elpi: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "elpi" "-j" "255" (CWD=/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4)
- (cd _build/default/src/parser && /home/opam/.opam/4.14/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml
- Read 319 sample input sentences and 40 error messages.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml)
- File "src/API.ml", line 427, characters 8-18:
- 427 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 485, characters 8-18:
- 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1033, characters 4-14:
- 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1044, characters 7-16:
- 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime_trace_off.cmx -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime.cmx -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/4.14/lib/menhirLib -I /home/opam/.opam/4.14/lib/ppx_deriving/runtime -I /home/opam/.opam/4.14/lib/re -I /home/opam/.opam/4.14/lib/re/str -I /home/opam/.opam/4.14/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__API.cmx -c -impl src/API.pp.ml)
- File "src/API.ml", line 427, characters 8-18:
- 427 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 485, characters 8-18:
- 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1033, characters 4-14:
- 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1044, characters 7-16:
- 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
Processing 2/4: [elpi: make tests]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "tests" "DUNE_OPTS=-p elpi" "SKIP=performance_HO" "SKIP+=performance_FO" "SKIP+=elpi_api_performance" (CWD=/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4)
- make build
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4'
- dune build -p elpi @all
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4'
- dune runtest
- ulimit -s 1114112; OCAMLRUNPARAM=l=1114112 \
- tests/test.exe \
- --seed $RANDOM \
- --timeout 90.0 \
- --time /usr/bin/time \
- --sources=/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/tests/sources/ \
- --plot=/home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/tests/plot \
- \
- --cat-skip performance_HO --cat-skip performance_FO --cat-skip elpi_api_performance \
- --runner dune --runner /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi --runner /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- ------------------------------------------------------------------
- Runners: dune /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi /home/opam/.opam/4.14/.opam-switch/build/elpi.1.17.4/_build/install/default/bin/elpi-trace-elaborator
- Random seed: 28543
- Timeout: 90.00 seconds
- Fiber stack: 0
-
- status test time typchk wall mem runner
- ------------------------------------------------------------------
- RUNNING CHR_no_clique (CHR rule on a non constraint) elpi
OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi
- RUNNING IO_COLON (IO_COLON token) elpi
OK IO_COLON 0.00 0.09 0.12 16.4M elpi
- RUNNING accumulate_twice1 (double accumulate) elpi
- OK accumulate_twice1 0.00 0.08 0.00 0.0M elpi
- RUNNING accumulate_twice2 (double accumulate) elpi
OK accumulate_twice2 0.00 0.08 0.00 0.0M elpi
- RUNNING asclause (parsing of the .. as X clause) elpi
OK asclause 0.00 0.09 0.12 15.7M elpi
- RUNNING backtracking (backtracking variable assignment) elpi
OK backtracking 0.00 0.11 0.13 16.7M elpi
- RUNNING beta (beta reduction) elpi
OK beta 0.00 0.09 0.12 16.5M elpi
- RUNNING block (blocks are closed) elpi
OK block 0.00 0.00 0.00 0.0M elpi
- RUNNING bug19 (unif under binders) elpi
OK bug19 0.00 0.10 0.13 16.6M elpi
- RUNNING chr (constraints handling rules) elpi
OK chr 0.00 0.10 0.13 16.8M elpi
- RUNNING chr_even_odd (CHR example at MLWS) elpi
- OK chr_even_odd 0.00 0.00 0.03 11.1M elpi
- RUNNING chr_gcd (greatest common divisor in CHR) elpi
OK chr_gcd 0.00 0.10 0.14 16.3M elpi
- RUNNING chr_leq (chr transitive closure) elpi
OK chr_leq 0.00 0.09 0.12 16.8M elpi
- RUNNING chr_nokey (constraints keyed on _) elpi
OK chr_nokey 0.00 0.07 0.10 16.6M elpi
- RUNNING chr_nokey2 (constraints keyed on _) elpi
OK chr_nokey2 0.00 0.08 0.11 16.5M elpi
- RUNNING chr_sem (refined operational semantics) elpi
OK chr_sem 0.00 0.10 0.12 16.4M elpi
- RUNNING chr_ut (type checker with UT via CHR) elpi
OK chr_ut 0.00 0.14 0.17 16.5M elpi
- RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi
- OK conj2 0.00 0.09 0.12 16.4M elpi
- RUNNING cut1 (what else) elpi
OK cut1 0.00 0.11 0.14 16.4M elpi
- RUNNING cut2 (what else) elpi
OK cut2 0.00 0.11 0.14 16.0M elpi
- RUNNING cut3 (what else) elpi
OK cut3 0.00 0.11 0.14 16.4M elpi
- RUNNING cut4 (what else) elpi
OK cut4 0.00 0.07 0.10 16.4M elpi
- RUNNING cut5 (what else) elpi
OK cut5 0.00 0.12 0.14 15.6M elpi
- RUNNING cut6 (what else) elpi
OK cut6 0.00 0.10 0.12 16.4M elpi
- RUNNING discard (_) elpi
- OK discard 0.00 0.08 0.11 16.4M elpi
- RUNNING elpi-checker (type checking the type checker) elpi
OK elpi-checker 0.00 0.17 0.20 19.3M elpi
- RUNNING elpi2html (type checking elpi2html) elpi
OK elpi2html 0.00 0.10 0.13 17.5M elpi
- RUNNING elpi_only_llam (full HO unif gives error) elpi
OK elpi_only_llam 0.00 0.09 0.00 0.0M elpi
- RUNNING eta (test eta for rigid terms) elpi
OK eta 0.00 0.09 0.11 15.7M elpi
- RUNNING eta_as (eta expansion of as clause) elpi
OK eta_as 0.00 0.00 0.02 11.3M elpi
- RUNNING findall (stash across backtrack) elpi
OK findall 0.00 0.10 0.13 16.5M elpi
- RUNNING graft_replace_err (replacing a clase) elpi
OK graft_replace_err 0.00 0.00 0.00 0.0M elpi
- RUNNING graft_replace_ok (replacing a clase) elpi
OK graft_replace_ok 0.00 0.07 0.10 16.5M elpi
- RUNNING hc_interp (Horn Clauses interpreter) elpi
- OK hc_interp 0.00 0.13 0.15 16.7M elpi
- RUNNING hdclause (hdclause unification) elpi
OK hdclause 0.00 0.00 0.02 11.1M elpi
- RUNNING heap_discard (heapification of _) elpi
OK heap_discard 0.00 0.08 0.11 15.6M elpi
- RUNNING hilbert (hilbert) elpi
OK hilbert 0.00 0.08 0.10 16.6M elpi
- RUNNING hilbert2 (hilbert2) elpi
OK hilbert2 0.00 0.08 0.12 16.9M elpi
- RUNNING ho (HO predicates) elpi
OK ho 0.00 0.09 0.11 16.3M elpi
- RUNNING hollight (hollight implementation) elpi
OK hollight 0.00 0.00 0.00 0.0M elpi
- RUNNING holp (HOL programming) elpi
OK holp 0.00 0.13 0.16 17.9M elpi
- RUNNING hyp_uvar (uvar at the left of implication) elpi
OK hyp_uvar 0.00 0.07 0.09 16.4M elpi
- RUNNING impl (implication) elpi
- OK impl 0.00 0.10 0.13 16.4M elpi
- RUNNING impl2 (implication) elpi
OK impl2 0.00 0.10 0.12 16.9M elpi
- RUNNING impl_order (implication and pair/list) elpi
OK impl_order 0.00 0.08 0.10 16.3M elpi
- RUNNING lambda_arrow1 (simple type checker) elpi
OK lambda_arrow1 0.00 0.11 0.13 16.4M elpi
- RUNNING lambda_arrow2 (simple type checker) elpi
OK lambda_arrow2 0.00 0.10 0.12 15.7M elpi
- RUNNING lambdadelta (lambda delta tests) elpi
OK lambdadelta 0.00 0.16 0.19 17.9M elpi
- RUNNING list_as_conj (list is an nary conjunction) elpi
OK list_as_conj 0.00 0.08 0.11 15.6M elpi
- RUNNING list_comma (lists with spurious , in there) elpi
- OK list_comma 0.00 0.07 0.10 16.5M elpi
- RUNNING llam (Miller pattern unification) elpi
OK llam 0.00 0.13 0.16 16.7M elpi
- RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi
OK llamb0_exit1 0.00 0.08 0.11 16.4M elpi
- RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi
OK llamb0_exit2 0.00 0.08 0.11 16.6M elpi
- RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi
OK llamb0_exit3 0.00 0.09 0.11 16.6M elpi
- RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi
OK llamb0_exit4 0.00 0.09 0.12 15.7M elpi
- RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi
OK llamb0_exit5 0.00 0.09 0.11 16.6M elpi
- RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi
OK llamb0_exit6 0.00 0.08 0.11 16.4M elpi
- RUNNING name (name builtin) elpi
- OK name 0.00 0.00 0.02 11.1M elpi
- RUNNING named_clauses00 (clause grafting using names) elpi
OK named_clauses00 0.00 0.00 0.00 0.0M elpi
- RUNNING named_clauses01 (clause grafting using names) elpi
OK named_clauses01 0.00 0.00 0.00 0.0M elpi
- RUNNING named_clauses02 (clause grafting using names) elpi
OK named_clauses02 0.00 0.08 0.11 15.6M elpi
- RUNNING namespace00 (namespacing of predicates and constants) elpi
OK namespace00 0.00 0.08 0.10 16.4M elpi
- RUNNING namespace01 (namespacing of predicates and constants) elpi
OK namespace01 0.00 0.09 0.12 15.7M elpi
- RUNNING namespace02 (namespacing of predicates and constants) elpi
OK namespace02 0.00 0.09 0.11 16.6M elpi
- RUNNING namespace03 (namespacing of predicates and constants) elpi
OK namespace03 0.00 0.11 0.14 15.8M elpi
- RUNNING ndprover (Natural deduction prover) elpi
OK ndprover 0.00 0.09 0.13 18.0M elpi
- RUNNING nil_cons (nil = []) elpi
- OK nil_cons 0.00 0.08 0.10 16.3M elpi
- RUNNING notation (extensible syntax) elpi
OK notation 0.00 0.12 0.15 16.8M elpi
- RUNNING notation_error (infix declaration error) elpi
OK notation_error 0.00 0.00 0.00 0.0M elpi
- RUNNING patternunif (Miller pattern unification) elpi
OK patternunif 0.00 0.09 0.12 15.5M elpi
- RUNNING patternunif2 (Miller pattern unification) elpi
OK patternunif2 0.00 0.08 0.11 16.3M elpi
- RUNNING pcf (type inference for PCF) elpi
OK pcf 0.00 0.11 0.15 17.4M elpi
- RUNNING pi (pi quantification) elpi
OK pi 0.00 0.09 0.12 15.8M elpi
- RUNNING pi3 (pi quantification) elpi
OK pi3 0.00 0.08 0.11 16.4M elpi
- RUNNING pi5 (pi quantification) elpi
- OK pi5 0.00 0.10 0.13 16.4M elpi
- RUNNING pnf (some HO programming) elpi
OK pnf 0.00 0.11 0.14 16.8M elpi
- RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi
OK polymorphic_variants 0.00 0.14 0.16 17.6M elpi
- RUNNING printer (printing infix) elpi
OK printer 0.00 0.00 0.02 11.1M elpi
- RUNNING progs (progs) elpi
OK progs 0.00 0.11 0.14 17.9M elpi
- RUNNING quote_syntax (quote_syntax API) elpi
OK quote_syntax 0.01 0.07 0.11 15.8M elpi
- RUNNING random (random numbers) elpi
OK random 0.00 0.07 0.10 16.3M elpi
- RUNNING restriction (HO unification scope checking) elpi
OK restriction 0.00 0.07 0.00 0.0M elpi
- RUNNING restriction3 (HO unification scope checking) elpi
OK restriction3 0.00 0.08 0.10 16.6M elpi
- RUNNING restriction4 (HO unification scope checking) elpi
- OK restriction4 0.00 0.08 0.10 16.4M elpi
- RUNNING restriction5 (HO unification scope checking) elpi
OK restriction5 0.00 0.07 0.10 16.6M elpi
- RUNNING restriction6 (HO unification scope checking) elpi
OK restriction6 0.00 0.08 0.10 16.4M elpi
- RUNNING same_term (the == operator) elpi
OK same_term 0.00 0.07 0.10 15.6M elpi
- RUNNING self_assignment (Miller pattern unification) elpi
OK self_assignment 0.00 0.08 0.11 16.5M elpi
- RUNNING sepcomp1 (simple separate compilation) dune
- OK sepcomp1 3.14 0.00 3.14 87.7M dune
- RUNNING sepcomp2 (simple separate compilation) dune
- OK sepcomp2 0.59 0.00 0.59 42.1M dune
- RUNNING sepcomp3 (separate compilation double naming) dune
OK sepcomp3 0.00 0.00 0.00 0.0M dune
- RUNNING sepcomp4 (separate compilation double naming) dune
- OK sepcomp4 0.00 0.00 0.00 0.0M dune
- RUNNING sepcomp5 (separate compilation different processes (step 1)) dune
OK sepcomp5 0.49 0.00 0.49 42.0M dune
- RUNNING sepcomp6 (separate compilation different processes (step 2)) dune
- OK sepcomp6 0.49 0.00 0.49 41.9M dune
- RUNNING shorten (shortening names of a namespace) elpi
OK shorten 0.00 0.10 0.12 16.4M elpi
- RUNNING shorten-EOF (shortening names ends with the file) elpi
OK shorten-EOF 0.00 0.09 0.11 16.6M elpi
- RUNNING shorten_builtin (shortening a builtin) elpi
OK shorten_builtin 0.00 0.07 0.10 15.6M elpi
- RUNNING shorten_trie (shortening a trie of names) elpi
OK shorten_trie 0.00 0.09 0.13 16.4M elpi
- RUNNING spilling_and (spilling anonymous compound goal) elpi
OK spilling_and 0.00 0.07 0.10 16.8M elpi
- RUNNING spilling_impl (spilling implication) elpi
- OK spilling_impl 0.00 0.08 0.10 15.6M elpi
- RUNNING spilling_lam (spilling inside anonymous clause) elpi
OK spilling_lam 0.00 0.07 0.10 16.5M elpi
- RUNNING trace-browser (trace generation) elpi
OK trace-browser 0.00 0.00 0.02 11.1M elpi
- RUNNING trace-browser-chr (trace generation) elpi
OK trace-browser-chr 0.00 0.00 0.02 11.0M elpi
- RUNNING trace-browser-cut (trace generation) elpi
OK trace-browser-cut 0.00 0.00 0.02 11.1M elpi
- RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab 0.00 0.00 0.00 6.5M elpi-trace-elaborator
- RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator
- OK trace-browser-elab-broken1 0.00 0.00 0.13 34.2M elpi-trace-elaborator
- RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator
- RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-chr 0.00 0.00 0.00 6.4M elpi-trace-elaborator
- RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-cut 0.00 0.00 0.00 6.4M elpi-trace-elaborator
- RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator
OK trace-browser-elab-findall 0.00 0.00 0.00 5.8M elpi-trace-elaborator
- RUNNING trace-browser-findall (trace generation) elpi
OK trace-browser-findall 0.00 0.00 0.02 11.0M elpi
- RUNNING trace-browser2 (trace generation) elpi
OK trace-browser2 0.00 0.00 0.03 11.2M elpi
- RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser2-elab 0.00 0.00 0.00 4.8M elpi-trace-elaborator
- RUNNING trace-browser3 (trace generation) elpi
OK trace-browser3 0.00 0.00 0.02 11.1M elpi
- RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser3-elab 0.00 0.00 0.00 6.2M elpi-trace-elaborator
- RUNNING trace-browser4 (trace generation) elpi
OK trace-browser4 0.00 0.00 0.02 11.0M elpi
- RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator
OK trace-browser4-elab 0.00 0.00 0.00 6.3M elpi-trace-elaborator
- RUNNING trailing_comment (trailing comment) elpi
OK trailing_comment 0.00 0.08 0.11 16.4M elpi
- RUNNING typeabbrv1 (type abbreviations) elpi
OK typeabbrv1 0.00 0.07 0.10 16.5M elpi
- RUNNING typeabbrv10 (type abbreviations and error messages) elpi
OK typeabbrv10 0.00 0.07 0.00 0.0M elpi
- RUNNING typeabbrv11 (type abbreviations and error messages) elpi
OK typeabbrv11 0.00 0.07 0.00 0.0M elpi
- RUNNING typeabbrv12 (type abbreviations and error messages) elpi
- OK typeabbrv12 0.00 0.07 0.00 0.0M elpi
- RUNNING typeabbrv2 (type abbreviations) elpi
OK typeabbrv2 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv3 (type abbreviations) elpi
OK typeabbrv3 0.00 0.07 0.10 16.4M elpi
- RUNNING typeabbrv4 (type abbreviations) elpi
OK typeabbrv4 0.00 0.07 0.10 16.2M elpi
- RUNNING typeabbrv5 (type abbreviations) elpi
OK typeabbrv5 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv6 (type abbreviations) elpi
OK typeabbrv6 0.00 0.00 0.00 0.0M elpi
- RUNNING typeabbrv7 (type abbreviations) elpi
OK typeabbrv7 0.00 0.07 0.10 16.4M elpi
- RUNNING typeabbrv8 (type abbreviations) elpi
OK typeabbrv8 0.00 0.07 0.10 16.3M elpi
- RUNNING typeabbrv9 (type abbreviations) elpi
OK typeabbrv9 0.00 0.07 0.10 16.6M elpi
- RUNNING uminus (parsing and evaluation of unary minus) elpi
OK uminus 0.00 0.07 0.10 16.4M elpi
- RUNNING unix (unix APIs) elpi
- OK unix 0.01 0.08 0.11 16.8M elpi
- RUNNING uvar_keyword (uvar kwd status at the meta level) elpi
OK uvar_keyword 0.00 0.08 0.11 16.6M elpi
- RUNNING var (var API) elpi
OK var 0.00 0.08 0.11 15.7M elpi
- RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi
OK variadic_declare_constraints 0.00 0.07 0.10 16.4M elpi
- RUNNING w (ELPI example at MLWS) elpi
OK w 0.00 0.13 0.16 16.7M elpi
- ------------------------------------------------------------------
- Tests: 136
- Passed: 136
- Failed: 0
- Skipped: 0
-> compiled elpi.1.17.4
-> removed elpi.1.17.4
-> installed elpi.1.17.4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-09-18 14:20.48 ---> saved as "79107c4d58972b320c6db914d27957900074874cd1fa1452aad7de7bda3d562c"
Job succeeded
2025-09-18 14:20.54: Job succeeded