Build:
- 0
2026-03-02 19:36.08: New job: test hardcaml-lua.0.0.1 with dune.3.22.0~alpha0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29497/head (118a690db616b1df5c53d5fa00eb70791a80ae2c)
on debian-13-ocaml-5.4/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/29497/head" && git reset --hard 118a690d
git fetch origin master
git merge --no-edit a7b8d1036328cf727af175b657f3d2b732b4d868
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:4add1601135529e9f2e403a25c1c640231c0e871e87f88cf8feab4be5095104c
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 dune.3.22.0~alpha0 3.22.0~alpha0
RUN opam reinstall dune.3.22.0~alpha0; \
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" != 'dune.3.22.0~alpha0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall hardcaml-lua.0.0.1; \
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" != 'hardcaml-lua.0.0.1' && 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 hardcaml-lua.0.0.1) || true
RUN opam reinstall --with-test --verbose hardcaml-lua.0.0.1; \
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" != 'hardcaml-lua.0.0.1' && 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-02 19:36.08: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:4add1601135529e9f2e403a25c1c640231c0e871e87f88cf8feab4be5095104c-dune.3.22.0~alpha0-hardcaml-lua.0.0.1-118a690db616b1df5c53d5fa00eb70791a80ae2c"
2026-03-02 19:36.08: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:4add1601135529e9f2e403a25c1c640231c0e871e87f88cf8feab4be5095104c)
(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 dune.3.22.0~alpha0 3.22.0~alpha0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.22.0~alpha0;\
\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\" != 'dune.3.22.0~alpha0' && 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 hardcaml-lua.0.0.1;\
\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\" != 'hardcaml-lua.0.0.1' && 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 hardcaml-lua.0.0.1) || true"))
(run (shell "opam reinstall --with-test --verbose hardcaml-lua.0.0.1;\
\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\" != 'hardcaml-lua.0.0.1' && 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-02 19:36.08: Waiting for resource in pool OCluster
2026-03-03 08:28.29: Waiting for worker…
2026-03-03 08:30.45: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at a7b8d10363 Merge pull request #29489 from anuragsoni/opam-publish-kqueue.0.7.0
Updating a7b8d10363..118a690db6
Fast-forward
.../chrome-trace/chrome-trace.3.22.0~alpha0/opam | 39 +++++++++++
.../dune-action-plugin.3.22.0~alpha0/opam | 52 +++++++++++++++
.../dune-action-trace.3.22.0~alpha0/opam | 40 ++++++++++++
.../dune-build-info.3.22.0~alpha0/opam | 45 +++++++++++++
.../dune-configurator.3.22.0~alpha0/opam | 49 ++++++++++++++
packages/dune-glob/dune-glob.3.22.0~alpha0/opam | 42 ++++++++++++
.../dune-private-libs.3.22.0~alpha0/opam | 50 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.22.0~alpha0/opam | 41 ++++++++++++
packages/dune-rpc/dune-rpc.3.22.0~alpha0/opam | 44 +++++++++++++
packages/dune-site/dune-site.3.22.0~alpha0/opam | 37 +++++++++++
packages/dune/dune.3.22.0~alpha0/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.22.0~alpha0/opam | 40 ++++++++++++
packages/fs-io/fs-io.3.22.0~alpha0/opam | 39 +++++++++++
packages/ocamlc-loc/ocamlc-loc.3.22.0~alpha0/opam | 43 +++++++++++++
packages/ordering/ordering.3.22.0~alpha0/opam | 38 +++++++++++
packages/stdune/stdune.3.22.0~alpha0/opam | 46 +++++++++++++
.../top-closure/top-closure.3.22.0~alpha0/opam | 38 +++++++++++
packages/xdg/xdg.3.22.0~alpha0/opam | 39 +++++++++++
18 files changed, 797 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.22.0~alpha0/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.22.0~alpha0/opam
create mode 100644 packages/dune-action-trace/dune-action-trace.3.22.0~alpha0/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.22.0~alpha0/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.22.0~alpha0/opam
create mode 100644 packages/dune-glob/dune-glob.3.22.0~alpha0/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.22.0~alpha0/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.22.0~alpha0/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.22.0~alpha0/opam
create mode 100644 packages/dune-site/dune-site.3.22.0~alpha0/opam
create mode 100644 packages/dune/dune.3.22.0~alpha0/opam
create mode 100644 packages/dyn/dyn.3.22.0~alpha0/opam
create mode 100644 packages/fs-io/fs-io.3.22.0~alpha0/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.22.0~alpha0/opam
create mode 100644 packages/ordering/ordering.3.22.0~alpha0/opam
create mode 100644 packages/stdune/stdune.3.22.0~alpha0/opam
create mode 100644 packages/top-closure/top-closure.3.22.0~alpha0/opam
create mode 100644 packages/xdg/xdg.3.22.0~alpha0/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:4add1601135529e9f2e403a25c1c640231c0e871e87f88cf8feab4be5095104c)
2026-03-03 08:30.49 ---> using "3c18c9e472a4f76bc128dc0a5a1e21158ba3dbd0d6773ace6ec33f0cfe6fac9b" 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-03 08:30.49 ---> using "7a3442ad99cd957e3ce65df65cad40aee4354c6d524c7813b8b589bc410c187e" 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-03 08:30.49 ---> using "4214446d06a5b764dff5167574d07a5b4441731262795df63d7a3c5f64e1a189" 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 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-03-03 08:30.49 ---> using "8bf276ecf196c09ac4fb294f887dce47d9744c212aabbbad5d313f0a4179272a" 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-03 08:30.49 ---> using "c04e3f046c8eaf07d3d8f4b30debe47a6f7742bcdbfbfeb4d464149613cd35cd" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-03 08:30.50 ---> using "eec15e3492f38e67613d1a01ad00877a9a3ba45d19f73e6250e19cd2bda0a34c" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-03 08:30.50 ---> using "b219e5557ed366603222e74c0319619404e73f91801374c46bc0615017490834" 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 [113 kB]
- Fetched 203 kB in 0s (2140 kB/s)
- Reading package lists...
2026-03-03 08:30.50 ---> using "411e66a2e15299fe700f96de3484c141af0207f3778de7985d9b3b9532bed7f1" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.22.0~alpha0 3.22.0~alpha0"))
dune is now pinned to version 3.22.0~alpha0
2026-03-03 08:30.50 ---> using "2f9d235ba473e057f7f5361d0a2909273f5e0fdc881489604942445353473ef7" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.22.0~alpha0;\
\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\" != 'dune.3.22.0~alpha0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.22.0~alpha0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.22.0~alpha0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.22.0~alpha0 (cached)
-> installed dune.3.22.0~alpha0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-03 08:30.50 ---> using "f408636eb0246d657c1391cb7970d0cd4140119dfc0439ba4e0d991b34b6c9dc" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall hardcaml-lua.0.0.1;\
\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\" != 'hardcaml-lua.0.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
hardcaml-lua.0.0.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 89 packages
- install base v0.17.3 [required by hardcaml, hardcaml_circuits]
- install base_bigstring v0.17.0 [required by core]
- install base_quickcheck v0.17.1 [required by core]
- install bin_prot v0.17.0-1 [required by hardcaml]
- install capitalization v0.17.0 [required by ppx_string_conv]
- install conf-c++ 1.0 [required by z3]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install conf-python-3 9.0.0 [required by z3]
- install core v0.17.1 [required by core_kernel]
- install core_kernel v0.17.0 [required by hardcaml]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install dune-configurator 3.22.0~alpha0 [required by base]
- install fieldslib v0.17.0 [required by ppx_fields_conv, core]
- install gel v0.17.0 [required by ppx_diff]
- install hardcaml v0.17.1 [required by hardcaml-lua]
- install hardcaml-lua 0.0.1
- install hardcaml_circuits v0.17.0 [required by hardcaml-lua]
- install int_repr v0.17.0 [required by core_kernel]
- install iter 1.9 [required by msat]
- install jane-street-headers v0.17.0 [required by core]
- install jst-config v0.17.0 [required by core]
- install lua-ml 0.9.4 [required by hardcaml-lua]
- install menhir 20260209 [required by hardcaml-lua]
- install menhirCST 20260209 [required by menhir]
- install menhirGLR 20260209 [required by menhir]
- install menhirLib 20260209 [required by menhir]
- install menhirSdk 20260209 [required by menhir]
- install msat 0.9.1 [required by hardcaml-lua]
- install num 1.6 [required by sexplib]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlfind 1.9.8 [required by z3]
- install parsexp v0.17.0 [required by sexplib]
- install ppx_assert v0.17.0 [required by core]
- install ppx_base v0.17.0 [required by core]
- install ppx_bench v0.17.1 [required by ppx_jane]
- install ppx_bin_prot v0.17.1 [required by ppx_jane]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by bin_prot]
- install ppx_custom_printf v0.17.0 [required by bin_prot]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.1.1 [required by ppx_deriving_yojson]
- install ppx_deriving_yojson 3.10.0 [required by hardcaml-lua]
- install ppx_diff v0.17.1 [required by core]
- install ppx_disable_unused_warnings v0.17.0 [required by ppx_jane]
- install ppx_enumerate v0.17.0 [required by ppx_diff]
- install ppx_expect v0.17.3 [required by ppx_jane]
- install ppx_fields_conv v0.17.0 [required by bin_prot]
- install ppx_fixed_literal v0.17.0 [required by ppx_jane]
- install ppx_globalize v0.17.2 [required by ppx_base]
- install ppx_hardcaml v0.17.1 [required by hardcaml_circuits]
- install ppx_hash v0.17.0 [required by core]
- install ppx_here v0.17.0 [required by ppx_jane]
- install ppx_ignore_instrumentation v0.17.0 [required by ppx_jane]
- install ppx_inline_test v0.17.1 [required by core]
- install ppx_jane v0.17.0 [required by hardcaml, hardcaml_circuits]
- install ppx_let v0.17.1 [required by ppx_jane]
- install ppx_log v0.17.0 [required by ppx_jane]
- install ppx_module_timer v0.17.0 [required by ppx_jane]
- install ppx_optcomp v0.17.1 [required by bin_prot, core_kernel]
- install ppx_optional v0.17.0 [required by ppx_jane]
- install ppx_pipebang v0.17.0 [required by ppx_jane]
- install ppx_sexp_conv v0.17.1 [required by hardcaml]
- install ppx_sexp_message v0.17.0 [required by core]
- install ppx_sexp_value v0.17.0 [required by ppx_jane]
- install ppx_stable v0.17.1 [required by ppx_jane]
- install ppx_stable_witness v0.17.0 [required by bin_prot]
- install ppx_string v0.17.0 [required by ppx_jane]
- install ppx_string_conv v0.17.0 [required by ppx_jane]
- install ppx_tydi v0.17.1 [required by ppx_jane]
- install ppx_typerep_conv v0.17.1 [required by ppx_jane]
- install ppx_variants_conv v0.17.1 [required by bin_prot]
- install ppxlib 0.37.0 [required by hardcaml, ppx_deriving_yojson]
- install ppxlib_jane v0.17.4 [required by ppx_compare]
- install sexplib v0.17.0 [required by core]
- install sexplib0 v0.17.0 [required by base]
- install splittable_random v0.17.0 [required by core]
- install stdio v0.17.0 [required by hardcaml]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install time_now v0.17.0 [required by core]
- install typerep v0.17.1 [required by core]
- install uopt v0.17.0 [required by core_kernel]
- install variantslib v0.17.0 [required by ppx_variants_conv, core]
- install xml-light 2.5 [required by hardcaml-lua]
- install yojson 3.0.0 [required by ppx_deriving_yojson]
- install z3 4.15.2 [required by hardcaml-lua]
- install zarith 1.14 [required by hardcaml, z3]
The following system packages will first need to be installed:
libgmp-dev pkg-config python3
<><> 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" "libgmp-dev" "pkg-config" "python3"
- Selecting previously unselected package libpython3.13-minimal:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20654 files and directories currently installed.)
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2) ...
- Setting up python3.13-minimal (3.13.5-2) ...
- Selecting previously unselected package python3-minimal.
- (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 ... 20979 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2_amd64.deb ...
- Unpacking python3.13 (3.13.5-2) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-1) ...
- Selecting previously unselected package python3.
- (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 ... 21465 files and directories currently installed.)
- Preparing to unpack .../0-python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../1-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../2-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../3-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../4-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../5-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../6-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up media-types (13.0.0) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up readline-common (8.2-6) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up libreadline8t64:amd64 (8.2-6) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3.13 (3.13.5-2) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved base.v0.17.3 (cached)
-> retrieved base_bigstring.v0.17.0 (cached)
-> retrieved base_quickcheck.v0.17.1 (cached)
-> retrieved bin_prot.v0.17.0-1 (cached)
-> retrieved capitalization.v0.17.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-python-3.9.0.0 (cached)
-> retrieved core.v0.17.1 (cached)
-> installed conf-c++.1.0
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> installed conf-python-3.9.0.0
-> retrieved core_kernel.v0.17.0 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed csexp.1.5.2
-> retrieved dune-configurator.3.22.0~alpha0 (cached)
-> installed cppo.1.8.0
-> retrieved fieldslib.v0.17.0 (cached)
-> retrieved gel.v0.17.0 (cached)
-> retrieved hardcaml.v0.17.1 (cached)
-> installed dune-configurator.3.22.0~alpha0
-> retrieved hardcaml-lua.0.0.1 (cached)
-> retrieved hardcaml_circuits.v0.17.0 (cached)
-> retrieved int_repr.v0.17.0 (cached)
-> retrieved iter.1.9 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved lua-ml.0.9.4 (cached)
-> retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)
-> installed iter.1.9
-> installed jane-street-headers.v0.17.0
-> retrieved msat.0.9.1 (cached)
-> installed menhirCST.20260209
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_bench.v0.17.1 (cached)
-> retrieved ppx_bin_prot.v0.17.1 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> installed menhirLib.20260209
-> installed menhirGLR.20260209
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_custom_printf.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> installed menhirSdk.20260209
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved ppx_deriving_yojson.3.10.0 (cached)
-> retrieved ppx_diff.v0.17.1 (cached)
-> installed ppx_derivers.1.2.1
-> retrieved ppx_disable_unused_warnings.v0.17.0 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_expect.v0.17.3 (cached)
-> retrieved ppx_fields_conv.v0.17.0 (cached)
-> retrieved ppx_fixed_literal.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.2 (cached)
-> retrieved ppx_hardcaml.v0.17.1 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_ignore_instrumentation.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.1 (cached)
-> retrieved ppx_jane.v0.17.0 (cached)
-> retrieved ppx_let.v0.17.1 (cached)
-> retrieved ppx_log.v0.17.0 (cached)
-> retrieved ppx_module_timer.v0.17.0 (cached)
-> retrieved ppx_optcomp.v0.17.1 (cached)
-> retrieved ppx_optional.v0.17.0 (cached)
-> retrieved ppx_pipebang.v0.17.0 (cached)
-> retrieved ppx_sexp_conv.v0.17.1 (cached)
-> retrieved ppx_sexp_message.v0.17.0 (cached)
-> retrieved ppx_sexp_value.v0.17.0 (cached)
-> retrieved ppx_stable.v0.17.1 (cached)
-> retrieved ppx_stable_witness.v0.17.0 (cached)
-> retrieved ppx_string.v0.17.0 (cached)
-> retrieved ppx_string_conv.v0.17.0 (cached)
-> retrieved ppx_tydi.v0.17.1 (cached)
-> retrieved ppx_typerep_conv.v0.17.1 (cached)
-> retrieved ppx_variants_conv.v0.17.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved ppxlib_jane.v0.17.4 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> installed ocaml-compiler-libs.v0.17.0
-> retrieved splittable_random.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed lua-ml.0.9.4
-> installed msat.0.9.1
-> retrieved time_now.v0.17.0 (cached)
-> retrieved typerep.v0.17.1 (cached)
-> retrieved uopt.v0.17.0 (cached)
-> retrieved variantslib.v0.17.0 (cached)
-> retrieved xml-light.2.5 (cached)
-> retrieved yojson.3.0.0 (cached)
-> installed num.1.6
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> retrieved z3.4.15.2 (cached)
-> installed xml-light.2.5
-> retrieved zarith.1.14 (cached)
-> installed yojson.3.0.0
-> installed parsexp.v0.17.0
-> installed ocamlfind.1.9.8
-> installed sexplib.v0.17.0
-> installed menhir.20260209
-> installed zarith.1.14
-> installed base.v0.17.3
-> installed fieldslib.v0.17.0
-> installed variantslib.v0.17.0
-> installed stdio.v0.17.0
-> installed typerep.v0.17.1
-> installed ppxlib.0.37.0
-> installed ppx_optcomp.v0.17.1
-> installed ppx_disable_unused_warnings.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_stable_witness.v0.17.0
-> installed ppx_tydi.v0.17.1
-> installed ppx_typerep_conv.v0.17.1
-> installed ppxlib_jane.v0.17.4
-> installed ppx_variants_conv.v0.17.1
-> installed ppx_ignore_instrumentation.v0.17.0
-> installed ppx_pipebang.v0.17.0
-> installed ppx_fixed_literal.v0.17.0
-> installed ppx_fields_conv.v0.17.0
-> installed ppx_stable.v0.17.1
-> installed ppx_globalize.v0.17.2
-> installed ppx_enumerate.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_deriving.6.1.1
-> installed ppx_optional.v0.17.0
-> installed ppx_let.v0.17.1
-> installed ppx_sexp_conv.v0.17.1
-> installed ppx_deriving_yojson.3.10.0
-> installed ppx_hash.v0.17.0
-> installed ppx_sexp_value.v0.17.0
-> installed ppx_sexp_message.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_custom_printf.v0.17.0
-> installed ppx_base.v0.17.0
-> installed capitalization.v0.17.0
-> installed jst-config.v0.17.0
-> installed bin_prot.v0.17.0-1
-> installed ppx_string.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_bin_prot.v0.17.1
-> installed ppx_string_conv.v0.17.0
-> installed ppx_module_timer.v0.17.0
-> installed ppx_inline_test.v0.17.1
-> installed ppx_bench.v0.17.1
-> installed ppx_expect.v0.17.3
-> installed splittable_random.v0.17.0
-> installed base_quickcheck.v0.17.1
-> installed ppx_log.v0.17.0
-> installed ppx_jane.v0.17.0
-> installed uopt.v0.17.0
-> installed gel.v0.17.0
-> installed int_repr.v0.17.0
-> installed base_bigstring.v0.17.0
-> installed ppx_diff.v0.17.1
-> installed core.v0.17.1
-> installed z3.4.15.2
-> installed core_kernel.v0.17.0
-> installed hardcaml.v0.17.1
-> installed ppx_hardcaml.v0.17.1
-> installed hardcaml_circuits.v0.17.0
-> installed hardcaml-lua.0.0.1
Done.
<><> lua-ml.0.9.4 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> Lua-ML does build with OCaml 5.0.0, however, it only works with it as long as the code is single-threaded: trying to execute Lua code in more than one domain may incur in confusing, unpredictable failures.
# To update the current shell environment, run: eval $(opam env)
2026-03-03 08:33.16 ---> saved as "9c57c9c989c0e050a2b214b613dd4f1f40ba368a34394cc9be855d9ea1a443f1"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test hardcaml-lua.0.0.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile hardcaml-lua 0.0.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved hardcaml-lua.0.0.1 (https://opam.ocaml.org/cache)
-> removed hardcaml-lua.0.0.1
-> installed hardcaml-lua.0.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-03 08:33.55 ---> saved as "600d12a2d38aea3ac1620725b5fddf9faa9f45813aec91bc76e00fa16ac7f70b"
/home/opam: (run (shell "opam reinstall --with-test --verbose hardcaml-lua.0.0.1;\
\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\" != 'hardcaml-lua.0.0.1' && 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 hardcaml-lua 0.0.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [hardcaml-lua.0.0.1: extract]
-> retrieved hardcaml-lua.0.0.1 (cached)
Processing 2/4: [hardcaml-lua: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "hardcaml-lua" "-j" "255" "@install" "@runtest" (CWD=/home/opam/.opam/5.4/.opam-switch/build/hardcaml-lua.0.0.1)
- (cd _build/.sandbox/763845b850ffa0284b75a92125901983/default && /home/opam/.opam/5.4/bin/menhir -la 2 Rtlil_input.mly --base Rtlil_input --infer-write-query Rtlil_input__mock.ml.mock)
- File "Rtlil_input.mly", line 9, characters 8-14:
- Warning: the token ACCEPT is unused.
- File "Rtlil_input.mly", line 10, characters 8-17:
- Warning: the token AMPERSAND is unused.
- File "Rtlil_input.mly", line 11, characters 8-10:
- Warning: the token AT is unused.
- File "Rtlil_input.mly", line 12, characters 8-17:
- Warning: the token BACKQUOTE is unused.
- File "Rtlil_input.mly", line 13, characters 8-17:
- Warning: the token BACKSLASH is unused.
- File "Rtlil_input.mly", line 14, characters 8-13:
- Warning: the token CARET is unused.
- File "Rtlil_input.mly", line 17, characters 15-20:
- Warning: the token CONS1 is unused.
- File "Rtlil_input.mly", line 18, characters 21-26:
- Warning: the token CONS2 is unused.
- File "Rtlil_input.mly", line 19, characters 27-32:
- Warning: the token CONS3 is unused.
- File "Rtlil_input.mly", line 20, characters 33-38:
- Warning: the token CONS4 is unused.
- File "Rtlil_input.mly", line 21, characters 39-44:
- Warning: the token CONS5 is unused.
- File "Rtlil_input.mly", line 22, characters 45-50:
- Warning: the token CONS6 is unused.
- File "Rtlil_input.mly", line 23, characters 51-56:
- Warning: the token CONS7 is unused.
- File "Rtlil_input.mly", line 24, characters 57-62:
- Warning: the token CONS8 is unused.
- File "Rtlil_input.mly", line 25, characters 63-68:
- Warning: the token CONS9 is unused.
- File "Rtlil_input.mly", line 26, characters 8-15:
- Warning: the token DEFAULT is unused.
- File "Rtlil_input.mly", line 27, characters 8-14:
- Warning: the token DOLLAR is unused.
- File "Rtlil_input.mly", line 28, characters 8-11:
- Warning: the token DOT is unused.
- File "Rtlil_input.mly", line 29, characters 8-19:
- Warning: the token DOUBLEQUOTE is unused.
- File "Rtlil_input.mly", line 30, characters 20-25:
- Warning: the token ELIST is unused.
- File "Rtlil_input.mly", line 31, characters 8-19:
- Warning: the token EMPTY_TOKEN is unused.
- File "Rtlil_input.mly", line 32, characters 8-11:
- Warning: the token END is unused.
- File "Rtlil_input.mly", line 34, characters 8-19:
- Warning: the token ERROR_TOKEN is unused.
- File "Rtlil_input.mly", line 35, characters 8-13:
- Warning: the token Error is unused.
- File "Rtlil_input.mly", line 36, characters 8-15:
- Warning: the token GREATER is unused.
- File "Rtlil_input.mly", line 37, characters 8-12:
- Warning: the token HASH is unused.
- File "Rtlil_input.mly", line 40, characters 8-12:
- Warning: the token LESS is unused.
- File "Rtlil_input.mly", line 41, characters 8-16:
- Warning: the token LINEFEED is unused.
- File "Rtlil_input.mly", line 42, characters 8-15:
- Warning: the token PERCENT is unused.
- File "Rtlil_input.mly", line 43, characters 8-13:
- Warning: the token PLING is unused.
- File "Rtlil_input.mly", line 44, characters 8-13:
- Warning: the token QUERY is unused.
- File "Rtlil_input.mly", line 45, characters 8-13:
- Warning: the token QUOTE is unused.
- File "Rtlil_input.mly", line 48, characters 21-26:
- Warning: the token SLIST is unused.
- File "Rtlil_input.mly", line 49, characters 16-22:
- Warning: the token STRING is unused.
- File "Rtlil_input.mly", line 50, characters 8-13:
- Warning: the token TILDE is unused.
- File "Rtlil_input.mly", line 51, characters 20-25:
- Warning: the token TLIST is unused.
- File "Rtlil_input.mly", line 91, characters 69-76:
- Warning: the token TUPLE10 is unused.
- File "Rtlil_input.mly", line 92, characters 21-27:
- Warning: the token TUPLE2 is unused.
- File "Rtlil_input.mly", line 93, characters 27-33:
- Warning: the token TUPLE3 is unused.
- File "Rtlil_input.mly", line 94, characters 33-39:
- Warning: the token TUPLE4 is unused.
- File "Rtlil_input.mly", line 95, characters 39-45:
- Warning: the token TUPLE5 is unused.
- File "Rtlil_input.mly", line 96, characters 45-51:
- Warning: the token TUPLE6 is unused.
- File "Rtlil_input.mly", line 97, characters 51-57:
- Warning: the token TUPLE7 is unused.
- File "Rtlil_input.mly", line 98, characters 57-63:
- Warning: the token TUPLE8 is unused.
- File "Rtlil_input.mly", line 99, characters 63-69:
- Warning: the token TUPLE9 is unused.
- File "Rtlil_input.mly", line 100, characters 8-18:
- Warning: the token UNDERSCORE is unused.
- File "Rtlil_input.mly", line 101, characters 8-12:
- Warning: the token VBAR is unused.
- File "Rtlil_input.mly", line 35, characters 8-13:
- Warning: please do not name a terminal symbol Error.
- (cd _build/.sandbox/3394405d355c63409dfa9d13ecd1a1a3/default && /home/opam/.opam/5.4/bin/menhir -la 2 File.mly --base File --infer-write-query File__mock.ml.mock)
- File "File.mly", line 5, characters 8-14:
- Warning: the token ACCEPT is unused.
- File "File.mly", line 6, characters 8-17:
- Warning: the token AMPERSAND is unused.
- File "File.mly", line 7, characters 8-10:
- Warning: the token AT is unused.
- File "File.mly", line 8, characters 8-17:
- Warning: the token BACKQUOTE is unused.
- File "File.mly", line 9, characters 8-17:
- Warning: the token BACKSLASH is unused.
- File "File.mly", line 10, characters 8-13:
- Warning: the token CARET is unused.
- File "File.mly", line 13, characters 15-20:
- Warning: the token CONS1 is unused.
- File "File.mly", line 14, characters 21-26:
- Warning: the token CONS2 is unused.
- File "File.mly", line 15, characters 27-32:
- Warning: the token CONS3 is unused.
- File "File.mly", line 16, characters 33-38:
- Warning: the token CONS4 is unused.
- File "File.mly", line 17, characters 8-15:
- Warning: the token DEFAULT is unused.
- File "File.mly", line 19, characters 8-14:
- Warning: the token DOLLAR is unused.
- File "File.mly", line 20, characters 8-11:
- Warning: the token DOT is unused.
- File "File.mly", line 21, characters 8-19:
- Warning: the token DOUBLEQUOTE is unused.
- File "File.mly", line 22, characters 20-25:
- Warning: the token ELIST is unused.
- File "File.mly", line 23, characters 8-19:
- Warning: the token EMPTY_TOKEN is unused.
- File "File.mly", line 24, characters 8-11:
- Warning: the token END is unused.
- File "File.mly", line 27, characters 8-13:
- Warning: the token ERROR is unused.
- File "File.mly", line 28, characters 8-19:
- Warning: the token ERROR_TOKEN is unused.
- File "File.mly", line 29, characters 8-15:
- Warning: the token GREATER is unused.
- File "File.mly", line 30, characters 8-12:
- Warning: the token HASH is unused.
- File "File.mly", line 36, characters 8-14:
- Warning: the token LBRACE is unused.
- File "File.mly", line 37, characters 8-14:
- Warning: the token LBRACK is unused.
- File "File.mly", line 39, characters 8-12:
- Warning: the token LESS is unused.
- File "File.mly", line 40, characters 8-16:
- Warning: the token LINEFEED is unused.
- File "File.mly", line 45, characters 8-15:
- Warning: the token PERCENT is unused.
- File "File.mly", line 46, characters 8-13:
- Warning: the token PLING is unused.
- File "File.mly", line 48, characters 8-13:
- Warning: the token QUERY is unused.
- File "File.mly", line 49, characters 8-13:
- Warning: the token QUOTE is unused.
- File "File.mly", line 50, characters 8-14:
- Warning: the token RBRACE is unused.
- File "File.mly", line 51, characters 8-14:
- Warning: the token RBRACK is unused.
- File "File.mly", line 55, characters 21-26:
- Warning: the token SLIST is unused.
- File "File.mly", line 57, characters 8-13:
- Warning: the token TILDE is unused.
- File "File.mly", line 58, characters 20-25:
- Warning: the token TLIST is unused.
- File "File.mly", line 59, characters 69-76:
- Warning: the token TUPLE10 is unused.
- File "File.mly", line 60, characters 21-27:
- Warning: the token TUPLE2 is unused.
- File "File.mly", line 61, characters 27-33:
- Warning: the token TUPLE3 is unused.
- File "File.mly", line 62, characters 33-39:
- Warning: the token TUPLE4 is unused.
- File "File.mly", line 63, characters 39-45:
- Warning: the token TUPLE5 is unused.
- File "File.mly", line 64, characters 45-51:
- Warning: the token TUPLE6 is unused.
- File "File.mly", line 65, characters 51-57:
- Warning: the token TUPLE7 is unused.
- File "File.mly", line 66, characters 57-63:
- Warning: the token TUPLE8 is unused.
- File "File.mly", line 67, characters 63-69:
- Warning: the token TUPLE9 is unused.
- File "File.mly", line 68, characters 8-13:
- Warning: the token UNARY is unused.
- File "File.mly", line 69, characters 8-18:
- Warning: the token UNDERSCORE is unused.
- File "File.mly", line 70, characters 8-12:
- Warning: the token VBAR is unused.
- (cd _build/.sandbox/e4b1ea77f50208d62a2b393360d1daa6/default && /home/opam/.opam/5.4/bin/menhir -la 2 rtl_parser.mly --base rtl_parser --infer-write-query rtl_parser__mock.ml.mock)
- File "rtl_parser.mly", line 2124, characters 0-13:
- Warning: symbol unused_tokens is unreachable from the start symbol.
- (cd _build/.sandbox/2dc63796a944e7daf7a97013dc0633ee/default && /home/opam/.opam/5.4/bin/menhir -la 2 Input.mly --base Input --infer-write-query Input__mock.ml.mock)
- File "Input.mly", line 735, characters 7-13:
- Warning: the token ALWAYS is unused.
- File "Input.mly", line 727, characters 7-13:
- Warning: the token ASSIGN is unused.
- File "Input.mly", line 729, characters 7-16:
- Warning: the token ASSIGNDLY is unused.
- File "Input.mly", line 728, characters 7-17:
- Warning: the token ASSIGNMENT is unused.
- File "Input.mly", line 714, characters 23-28:
- Warning: the token BEGIN is unused.
- File "Input.mly", line 731, characters 7-11:
- Warning: the token CASE is unused.
- File "Input.mly", line 730, characters 25-30:
- Warning: the token CMPOP is unused.
- File "Input.mly", line 713, characters 26-29:
- Warning: the token DIR is unused.
- File "Input.mly", line 703, characters 7-13:
- Warning: the token DQUOTE is unused.
- File "Input.mly", line 722, characters 7-11:
- Warning: the token ELSE is unused.
- File "Input.mly", line 732, characters 7-14:
- Warning: the token ENDCASE is unused.
- File "Input.mly", line 740, characters 7-18:
- Warning: the token ENDFUNCTION is unused.
- File "Input.mly", line 749, characters 7-19:
- Warning: the token ENDINTERFACE is unused.
- File "Input.mly", line 745, characters 7-16:
- Warning: the token ENDMODULE is unused.
- File "Input.mly", line 751, characters 7-17:
- Warning: the token ENDPACKAGE is unused.
- File "Input.mly", line 742, characters 7-14:
- Warning: the token ENDTASK is unused.
- File "Input.mly", line 755, characters 8-14:
- Warning: the token EQUALS is unused.
- File "Input.mly", line 747, characters 7-12:
- Warning: the token FINAL is unused.
- File "Input.mly", line 734, characters 7-10:
- Warning: the token FOR is unused.
- File "Input.mly", line 739, characters 7-15:
- Warning: the token FUNCTION is unused.
- File "Input.mly", line 710, characters 16-21:
- Warning: the token IDENT is unused.
- File "Input.mly", line 721, characters 7-10:
- Warning: the token IFF is unused.
- File "Input.mly", line 746, characters 7-14:
- Warning: the token INITIAL is unused.
- File "Input.mly", line 748, characters 7-16:
- Warning: the token INTERFACE is unused.
- File "Input.mly", line 700, characters 7-14:
- Warning: the token INVALID is unused.
- File "Input.mly", line 717, characters 7-15:
- Warning: the token LCOMMENT is unused.
- File "Input.mly", line 715, characters 7-13:
- Warning: the token LCURLY is unused.
- File "Input.mly", line 817, characters 25-28:
- Warning: the token LOC is unused.
- File "Input.mly", line 723, characters 7-12:
- Warning: the token LOGIC is unused.
- File "Input.mly", line 719, characters 7-13:
- Warning: the token LSHIFT is unused.
- File "Input.mly", line 705, characters 7-12:
- Warning: the token MINUS is unused.
- File "Input.mly", line 752, characters 7-14:
- Warning: the token MODPORT is unused.
- File "Input.mly", line 743, characters 7-13:
- Warning: the token MODULE is unused.
- File "Input.mly", line 737, characters 7-14:
- Warning: the token NEGEDGE is unused.
- File "Input.mly", line 708, characters 7-9:
- Warning: the token NL is unused.
- File "Input.mly", line 711, characters 25-28:
- Warning: the token NUM is unused.
- File "Input.mly", line 750, characters 7-14:
- Warning: the token PACKAGE is unused.
- File "Input.mly", line 744, characters 7-16:
- Warning: the token PARAMETER is unused.
- File "Input.mly", line 704, characters 7-11:
- Warning: the token PLUS is unused.
- File "Input.mly", line 736, characters 7-14:
- Warning: the token POSEDGE is unused.
- File "Input.mly", line 707, characters 7-10:
- Warning: the token POW is unused.
- File "Input.mly", line 718, characters 7-15:
- Warning: the token RCOMMENT is unused.
- File "Input.mly", line 716, characters 7-13:
- Warning: the token RCURLY is unused.
- File "Input.mly", line 725, characters 7-10:
- Warning: the token REG is unused.
- File "Input.mly", line 738, characters 7-13:
- Warning: the token RETURN is unused.
- File "Input.mly", line 720, characters 7-13:
- Warning: the token RSHIFT is unused.
- File "Input.mly", line 702, characters 7-11:
- Warning: the token SEMI is unused.
- File "Input.mly", line 712, characters 31-36:
- Warning: the token SIZED is unused.
- File "Input.mly", line 701, characters 7-9:
- Warning: the token SP is unused.
- File "Input.mly", line 709, characters 20-23:
- Warning: the token SRC is unused.
- File "Input.mly", line 706, characters 7-11:
- Warning: the token STAR is unused.
- File "Input.mly", line 741, characters 7-11:
- Warning: the token TASK is unused.
- File "Input.mly", line 808, characters 75-82:
- Warning: the token TUPLE11 is unused.
- File "Input.mly", line 809, characters 81-88:
- Warning: the token TUPLE12 is unused.
- File "Input.mly", line 810, characters 87-94:
- Warning: the token TUPLE13 is unused.
- File "Input.mly", line 811, characters 93-100:
- Warning: the token TUPLE14 is unused.
- File "Input.mly", line 812, characters 99-106:
- Warning: the token TUPLE15 is unused.
- File "Input.mly", line 813, characters 105-112:
- Warning: the token TUPLE16 is unused.
- File "Input.mly", line 814, characters 111-118:
- Warning: the token TUPLE17 is unused.
- File "Input.mly", line 726, characters 7-14:
- Warning: the token VSTRING is unused.
- File "Input.mly", line 1300, characters 16-22:
- Warning: the token VpiNum is unused.
- File "Input.mly", line 945, characters 7-16:
- Warning: the token Vpiactive is unused.
- File "Input.mly", line 946, characters 7-26:
- Warning: the token Vpiactivetimeformat is unused.
- File "Input.mly", line 948, characters 7-16:
- Warning: the token Vpialways is unused.
- File "Input.mly", line 949, characters 7-17:
- Warning: the token Vpiandprim is unused.
- File "Input.mly", line 953, characters 7-15:
- Warning: the token Vpiarray is unused.
- File "Input.mly", line 954, characters 7-20:
- Warning: the token Vpiassignment is unused.
- File "Input.mly", line 955, characters 7-20:
- Warning: the token Vpiassignstmt is unused.
- File "Input.mly", line 957, characters 7-19:
- Warning: the token Vpiautomatic is unused.
- File "Input.mly", line 958, characters 7-20:
- Warning: the token Vpiautomatics is unused.
- File "Input.mly", line 960, characters 7-15:
- Warning: the token Vpibegin is unused.
- File "Input.mly", line 961, characters 7-21:
- Warning: the token Vpibinaryconst is unused.
- File "Input.mly", line 962, characters 7-13:
- Warning: the token Vpibit is unused.
- File "Input.mly", line 966, characters 7-19:
- Warning: the token Vpibitselect is unused.
- File "Input.mly", line 970, characters 7-20:
- Warning: the token Vpibufif0prim is unused.
- File "Input.mly", line 971, characters 7-20:
- Warning: the token Vpibufif1prim is unused.
- File "Input.mly", line 972, characters 7-17:
- Warning: the token Vpibufprim is unused.
- File "Input.mly", line 973, characters 7-18:
- Warning: the token Vpicallback is unused.
- File "Input.mly", line 974, characters 7-14:
- Warning: the token Vpicase is unused.
- File "Input.mly", line 975, characters 7-18:
- Warning: the token Vpicaseeqop is unused.
- File "Input.mly", line 976, characters 7-19:
- Warning: the token Vpicaseexact is unused.
- File "Input.mly", line 978, characters 7-19:
- Warning: the token Vpicaseneqop is unused.
- File "Input.mly", line 980, characters 7-15:
- Warning: the token Vpicasex is unused.
- File "Input.mly", line 981, characters 7-15:
- Warning: the token Vpicasez is unused.
- File "Input.mly", line 982, characters 7-14:
- Warning: the token Vpicell is unused.
- File "Input.mly", line 983, characters 7-22:
- Warning: the token Vpicellinstance is unused.
- File "Input.mly", line 984, characters 7-24:
- Warning: the token Vpichargestrength is unused.
- File "Input.mly", line 985, characters 7-18:
- Warning: the token Vpicmosprim is unused.
- File "Input.mly", line 986, characters 7-18:
- Warning: the token Vpicombprim is unused.
- File "Input.mly", line 990, characters 7-16:
- Warning: the token Vpiconfig is unused.
- File "Input.mly", line 991, characters 7-20:
- Warning: the token Vpiconnbyname is unused.
- File "Input.mly", line 992, characters 7-18:
- Warning: the token Vpiconstant is unused.
- File "Input.mly", line 996, characters 7-23:
- Warning: the token Vpicontassignbit is unused.
- File "Input.mly", line 997, characters 7-22:
- Warning: the token Vpidatapolarity is unused.
- File "Input.mly", line 998, characters 7-18:
- Warning: the token Vpideassign is unused.
- File "Input.mly", line 999, characters 7-18:
- Warning: the token Vpidecconst is unused.
- File "Input.mly", line 1001, characters 7-22:
- Warning: the token Vpidefattribute is unused.
- File "Input.mly", line 1002, characters 7-22:
- Warning: the token Vpidefdecaytime is unused.
- File "Input.mly", line 1003, characters 7-22:
- Warning: the token Vpidefdelaymode is unused.
- File "Input.mly", line 1007, characters 7-20:
- Warning: the token Vpidefnettype is unused.
- File "Input.mly", line 1008, characters 7-18:
- Warning: the token Vpidefparam is unused.
- File "Input.mly", line 1009, characters 7-15:
- Warning: the token Vpidelay is unused.
- File "Input.mly", line 1010, characters 7-22:
- Warning: the token Vpidelaycontrol is unused.
- File "Input.mly", line 1011, characters 7-21:
- Warning: the token Vpidelaydevice is unused.
- File "Input.mly", line 1012, characters 7-26:
- Warning: the token Vpidelaymodedistrib is unused.
- File "Input.mly", line 1013, characters 7-22:
- Warning: the token Vpidelaymodemtm is unused.
- File "Input.mly", line 1014, characters 7-23:
- Warning: the token Vpidelaymodenone is unused.
- File "Input.mly", line 1015, characters 7-23:
- Warning: the token Vpidelaymodepath is unused.
- File "Input.mly", line 1016, characters 7-23:
- Warning: the token Vpidelaymodeunit is unused.
- File "Input.mly", line 1017, characters 7-23:
- Warning: the token Vpidelaymodezero is unused.
- File "Input.mly", line 1018, characters 7-19:
- Warning: the token Vpidelayterm is unused.
- File "Input.mly", line 1019, characters 7-19:
- Warning: the token Vpidelaytype is unused.
- File "Input.mly", line 1021, characters 7-17:
- Warning: the token Vpidisable is unused.
- File "Input.mly", line 1023, characters 7-16:
- Warning: the token Vpidriver is unused.
- File "Input.mly", line 1024, characters 7-14:
- Warning: the token Vpiedge is unused.
- File "Input.mly", line 1027, characters 7-22:
- Warning: the token Vpieventcontrol is unused.
- File "Input.mly", line 1029, characters 7-19:
- Warning: the token Vpieventstmt is unused.
- File "Input.mly", line 1030, characters 7-18:
- Warning: the token Vpiexpanded is unused.
- File "Input.mly", line 1031, characters 7-22:
- Warning: the token Vpiexplicitname is unused.
- File "Input.mly", line 1032, characters 7-26:
- Warning: the token Vpiexplicitscalared is unused.
- File "Input.mly", line 1033, characters 7-26:
- Warning: the token Vpiexplicitvectored is unused.
- File "Input.mly", line 1035, characters 7-14:
- Warning: the token Vpifile is unused.
- File "Input.mly", line 1036, characters 7-16:
- Warning: the token Vpifinish is unused.
- File "Input.mly", line 1037, characters 7-13:
- Warning: the token Vpifor is unused.
- File "Input.mly", line 1038, characters 7-15:
- Warning: the token Vpiforce is unused.
- File "Input.mly", line 1039, characters 7-17:
- Warning: the token Vpiforever is unused.
- File "Input.mly", line 1042, characters 7-14:
- Warning: the token Vpifork is unused.
- File "Input.mly", line 1043, characters 7-15:
- Warning: the token Vpiframe is unused.
- File "Input.mly", line 1045, characters 7-18:
- Warning: the token Vpifullskew is unused.
- File "Input.mly", line 1046, characters 7-18:
- Warning: the token Vpifunccall is unused.
- File "Input.mly", line 1047, characters 7-18:
- Warning: the token Vpifunction is unused.
- File "Input.mly", line 1048, characters 7-18:
- Warning: the token Vpifunctype is unused.
- File "Input.mly", line 1049, characters 7-14:
- Warning: the token Vpigate is unused.
- File "Input.mly", line 1050, characters 7-19:
- Warning: the token Vpigatearray is unused.
- File "Input.mly", line 1053, characters 7-16:
- Warning: the token Vpigenvar is unused.
- File "Input.mly", line 1056, characters 7-18:
- Warning: the token Vpihexconst is unused.
- File "Input.mly", line 1058, characters 7-15:
- Warning: the token Vpihighz is unused.
- File "Input.mly", line 1059, characters 7-14:
- Warning: the token Vpihold is unused.
- File "Input.mly", line 1060, characters 7-12:
- Warning: the token Vpiif is unused.
- File "Input.mly", line 1061, characters 7-16:
- Warning: the token Vpiifelse is unused.
- File "Input.mly", line 1062, characters 7-22:
- Warning: the token Vpiimplicitdecl is unused.
- File "Input.mly", line 1064, characters 7-27:
- Warning: the token Vpiindexedpartselect is unused.
- File "Input.mly", line 1066, characters 7-17:
- Warning: the token Vpiinitial is unused.
- File "Input.mly", line 1067, characters 7-15:
- Warning: the token Vpiinout is unused.
- File "Input.mly", line 1068, characters 7-15:
- Warning: the token Vpiinput is unused.
- File "Input.mly", line 1069, characters 7-23:
- Warning: the token Vpiinstancearray is unused.
- File "Input.mly", line 1070, characters 7-18:
- Warning: the token Vpiintconst is unused.
- File "Input.mly", line 1071, characters 7-20:
- Warning: the token Vpiintegervar is unused.
- File "Input.mly", line 1072, characters 7-16:
- Warning: the token Vpiinterm is unused.
- File "Input.mly", line 1073, characters 7-22:
- Warning: the token Vpiintermodpath is unused.
- File "Input.mly", line 1074, characters 7-27:
- Warning: the token Vpiintermodpathdelay is unused.
- File "Input.mly", line 1075, characters 7-23:
- Warning: the token Vpiinternalscope is unused.
- File "Input.mly", line 1076, characters 7-17:
- Warning: the token Vpiintfunc is unused.
- File "Input.mly", line 1078, characters 7-18:
- Warning: the token Vpiismemory is unused.
- File "Input.mly", line 1079, characters 7-21:
- Warning: the token Vpiisprotected is unused.
- File "Input.mly", line 1080, characters 7-18:
- Warning: the token Vpiiterator is unused.
- File "Input.mly", line 1081, characters 7-22:
- Warning: the token Vpiiteratortype is unused.
- File "Input.mly", line 1085, characters 7-17:
- Warning: the token Vpilibrary is unused.
- File "Input.mly", line 1086, characters 7-16:
- Warning: the token Vpilineno is unused.
- File "Input.mly", line 1087, characters 7-16:
- Warning: the token Vpilistop is unused.
- File "Input.mly", line 1088, characters 7-14:
- Warning: the token Vpiload is unused.
- File "Input.mly", line 1089, characters 7-21:
- Warning: the token Vpilocaldriver is unused.
- File "Input.mly", line 1090, characters 7-19:
- Warning: the token Vpilocalload is unused.
- File "Input.mly", line 1097, characters 7-16:
- Warning: the token Vpimemory is unused.
- File "Input.mly", line 1098, characters 7-20:
- Warning: the token Vpimemoryword is unused.
- File "Input.mly", line 1099, characters 7-21:
- Warning: the token Vpimintypmaxop is unused.
- File "Input.mly", line 1101, characters 7-18:
- Warning: the token Vpimipdelay is unused.
- File "Input.mly", line 1102, characters 7-17:
- Warning: the token Vpimixedio is unused.
- File "Input.mly", line 1103, characters 7-23:
- Warning: the token Vpimoddatapathin is unused.
- File "Input.mly", line 1105, characters 7-17:
- Warning: the token Vpimodpath is unused.
- File "Input.mly", line 1106, characters 7-22:
- Warning: the token Vpimodpathdelay is unused.
- File "Input.mly", line 1107, characters 7-26:
- Warning: the token Vpimodpathhasifnone is unused.
- File "Input.mly", line 1108, characters 7-19:
- Warning: the token Vpimodpathin is unused.
- File "Input.mly", line 1109, characters 7-20:
- Warning: the token Vpimodpathout is unused.
- File "Input.mly", line 1111, characters 7-21:
- Warning: the token Vpimodulearray is unused.
- File "Input.mly", line 1115, characters 7-20:
- Warning: the token Vpinamedbegin is unused.
- File "Input.mly", line 1116, characters 7-20:
- Warning: the token Vpinamedevent is unused.
- File "Input.mly", line 1117, characters 7-25:
- Warning: the token Vpinamedeventarray is unused.
- File "Input.mly", line 1118, characters 7-19:
- Warning: the token Vpinamedfork is unused.
- File "Input.mly", line 1119, characters 7-18:
- Warning: the token Vpinandprim is unused.
- File "Input.mly", line 1120, characters 7-18:
- Warning: the token Vpinegative is unused.
- File "Input.mly", line 1122, characters 7-20:
- Warning: the token Vpinegindexed is unused.
- File "Input.mly", line 1125, characters 7-18:
- Warning: the token Vpinetarray is unused.
- File "Input.mly", line 1126, characters 7-16:
- Warning: the token Vpinetbit is unused.
- File "Input.mly", line 1129, characters 7-18:
- Warning: the token Vpinmosprim is unused.
- File "Input.mly", line 1130, characters 7-18:
- Warning: the token Vpinochange is unused.
- File "Input.mly", line 1131, characters 7-21:
- Warning: the token Vpinodirection is unused.
- File "Input.mly", line 1132, characters 7-14:
- Warning: the token Vpinone is unused.
- File "Input.mly", line 1133, characters 7-17:
- Warning: the token Vpinorprim is unused.
- File "Input.mly", line 1134, characters 7-20:
- Warning: the token Vpinotif0prim is unused.
- File "Input.mly", line 1135, characters 7-20:
- Warning: the token Vpinotif1prim is unused.
- File "Input.mly", line 1137, characters 7-17:
- Warning: the token Vpinotprim is unused.
- File "Input.mly", line 1139, characters 7-18:
- Warning: the token Vpinullstmt is unused.
- File "Input.mly", line 1140, characters 7-18:
- Warning: the token Vpioctconst is unused.
- File "Input.mly", line 1141, characters 7-16:
- Warning: the token Vpioffset is unused.
- File "Input.mly", line 1143, characters 7-19:
- Warning: the token Vpioperation is unused.
- File "Input.mly", line 1145, characters 7-16:
- Warning: the token Vpiorprim is unused.
- File "Input.mly", line 1146, characters 7-16:
- Warning: the token Vpioutput is unused.
- File "Input.mly", line 1147, characters 7-17:
- Warning: the token Vpioutterm is unused.
- File "Input.mly", line 1151, characters 7-20:
- Warning: the token Vpipartselect is unused.
- File "Input.mly", line 1152, characters 7-18:
- Warning: the token Vpipathfull is unused.
- File "Input.mly", line 1153, characters 7-22:
- Warning: the token Vpipathparallel is unused.
- File "Input.mly", line 1154, characters 7-18:
- Warning: the token Vpipathterm is unused.
- File "Input.mly", line 1155, characters 7-16:
- Warning: the token Vpiperiod is unused.
- File "Input.mly", line 1157, characters 7-18:
- Warning: the token Vpipmosprim is unused.
- File "Input.mly", line 1158, characters 7-18:
- Warning: the token Vpipolarity is unused.
- File "Input.mly", line 1160, characters 7-17:
- Warning: the token Vpiportbit is unused.
- File "Input.mly", line 1161, characters 7-19:
- Warning: the token Vpiportindex is unused.
- File "Input.mly", line 1162, characters 7-18:
- Warning: the token Vpiportinst is unused.
- File "Input.mly", line 1163, characters 7-15:
- Warning: the token Vpiports is unused.
- File "Input.mly", line 1164, characters 7-17:
- Warning: the token Vpiposedge is unused.
- File "Input.mly", line 1166, characters 7-20:
- Warning: the token Vpiposindexed is unused.
- File "Input.mly", line 1167, characters 7-18:
- Warning: the token Vpipositive is unused.
- File "Input.mly", line 1169, characters 7-19:
- Warning: the token Vpiprimitive is unused.
- File "Input.mly", line 1170, characters 7-24:
- Warning: the token Vpiprimitivearray is unused.
- File "Input.mly", line 1171, characters 7-18:
- Warning: the token Vpiprimterm is unused.
- File "Input.mly", line 1172, characters 7-18:
- Warning: the token Vpiprimtype is unused.
- File "Input.mly", line 1174, characters 7-19:
- Warning: the token Vpiprotected is unused.
- File "Input.mly", line 1175, characters 7-15:
- Warning: the token Vpipull0 is unused.
- File "Input.mly", line 1176, characters 7-15:
- Warning: the token Vpipull1 is unused.
- File "Input.mly", line 1177, characters 7-22:
- Warning: the token Vpipulldownprim is unused.
- File "Input.mly", line 1178, characters 7-20:
- Warning: the token Vpipullupprim is unused.
- File "Input.mly", line 1180, characters 7-19:
- Warning: the token Vpircmosprim is unused.
- File "Input.mly", line 1181, characters 7-19:
- Warning: the token Vpirealconst is unused.
- File "Input.mly", line 1182, characters 7-18:
- Warning: the token Vpirealfunc is unused.
- File "Input.mly", line 1183, characters 7-17:
- Warning: the token Vpirealvar is unused.
- File "Input.mly", line 1184, characters 7-18:
- Warning: the token Vpirecovery is unused.
- File "Input.mly", line 1185, characters 7-16:
- Warning: the token Vpirecrem is unused.
- File "Input.mly", line 1187, characters 7-18:
- Warning: the token Vpiregarray is unused.
- File "Input.mly", line 1188, characters 7-16:
- Warning: the token Vpiregbit is unused.
- File "Input.mly", line 1189, characters 7-17:
- Warning: the token Vpirelease is unused.
- File "Input.mly", line 1190, characters 7-17:
- Warning: the token Vpiremoval is unused.
- File "Input.mly", line 1191, characters 7-16:
- Warning: the token Vpirepeat is unused.
- File "Input.mly", line 1192, characters 7-23:
- Warning: the token Vpirepeatcontrol is unused.
- File "Input.mly", line 1193, characters 7-15:
- Warning: the token Vpireset is unused.
- File "Input.mly", line 1194, characters 7-25:
- Warning: the token Vpiresolvednettype is unused.
- File "Input.mly", line 1197, characters 7-19:
- Warning: the token Vpirnmosprim is unused.
- File "Input.mly", line 1198, characters 7-19:
- Warning: the token Vpirpmosprim is unused.
- File "Input.mly", line 1200, characters 7-22:
- Warning: the token Vpirtranif0prim is unused.
- File "Input.mly", line 1201, characters 7-22:
- Warning: the token Vpirtranif1prim is unused.
- File "Input.mly", line 1202, characters 7-19:
- Warning: the token Vpirtranprim is unused.
- File "Input.mly", line 1203, characters 7-23:
- Warning: the token Vpisaverestartid is unused.
- File "Input.mly", line 1204, characters 7-29:
- Warning: the token Vpisaverestartlocation is unused.
- File "Input.mly", line 1205, characters 7-16:
- Warning: the token Vpiscalar is unused.
- File "Input.mly", line 1206, characters 7-20:
- Warning: the token Vpischedevent is unused.
- File "Input.mly", line 1207, characters 7-19:
- Warning: the token Vpischeduled is unused.
- File "Input.mly", line 1208, characters 7-15:
- Warning: the token Vpiscope is unused.
- File "Input.mly", line 1209, characters 7-17:
- Warning: the token Vpiseqprim is unused.
- File "Input.mly", line 1210, characters 7-29:
- Warning: the token Vpisetinteractivescope is unused.
- File "Input.mly", line 1211, characters 7-15:
- Warning: the token Vpisetup is unused.
- File "Input.mly", line 1212, characters 7-19:
- Warning: the token Vpisetuphold is unused.
- File "Input.mly", line 1213, characters 7-16:
- Warning: the token Vpisimnet is unused.
- File "Input.mly", line 1215, characters 7-19:
- Warning: the token Vpisizedfunc is unused.
- File "Input.mly", line 1216, characters 7-25:
- Warning: the token Vpisizedsignedfunc is unused.
- File "Input.mly", line 1217, characters 7-14:
- Warning: the token Vpiskew is unused.
- File "Input.mly", line 1218, characters 7-19:
- Warning: the token Vpispecparam is unused.
- File "Input.mly", line 1220, characters 7-14:
- Warning: the token Vpistop is unused.
- File "Input.mly", line 1221, characters 7-19:
- Warning: the token Vpistrength0 is unused.
- File "Input.mly", line 1222, characters 7-19:
- Warning: the token Vpistrength1 is unused.
- File "Input.mly", line 1223, characters 7-21:
- Warning: the token Vpistringconst is unused.
- File "Input.mly", line 1225, characters 7-17:
- Warning: the token Vpisupply0 is unused.
- File "Input.mly", line 1226, characters 7-17:
- Warning: the token Vpisupply1 is unused.
- File "Input.mly", line 1227, characters 7-16:
- Warning: the token Vpiswitch is unused.
- File "Input.mly", line 1228, characters 7-21:
- Warning: the token Vpiswitcharray is unused.
- File "Input.mly", line 1229, characters 7-21:
- Warning: the token Vpisysfunccall is unused.
- File "Input.mly", line 1230, characters 7-21:
- Warning: the token Vpisystaskcall is unused.
- File "Input.mly", line 1231, characters 7-19:
- Warning: the token Vpisystfcall is unused.
- File "Input.mly", line 1232, characters 7-20:
- Warning: the token Vpitableentry is unused.
- File "Input.mly", line 1234, characters 7-18:
- Warning: the token Vpitaskcall is unused.
- File "Input.mly", line 1236, characters 7-14:
- Warning: the token Vpitchk is unused.
- File "Input.mly", line 1237, characters 7-22:
- Warning: the token Vpitchkdataterm is unused.
- File "Input.mly", line 1238, characters 7-22:
- Warning: the token Vpitchknotifier is unused.
- File "Input.mly", line 1239, characters 7-21:
- Warning: the token Vpitchkrefterm is unused.
- File "Input.mly", line 1240, characters 7-18:
- Warning: the token Vpitchkterm is unused.
- File "Input.mly", line 1241, characters 7-18:
- Warning: the token Vpitchktype is unused.
- File "Input.mly", line 1242, characters 7-19:
- Warning: the token Vpitermindex is unused.
- File "Input.mly", line 1243, characters 7-19:
- Warning: the token Vpitimeconst is unused.
- File "Input.mly", line 1244, characters 7-18:
- Warning: the token Vpitimefunc is unused.
- File "Input.mly", line 1245, characters 7-23:
- Warning: the token Vpitimeprecision is unused.
- File "Input.mly", line 1246, characters 7-19:
- Warning: the token Vpitimequeue is unused.
- File "Input.mly", line 1247, characters 7-18:
- Warning: the token Vpitimeskew is unused.
- File "Input.mly", line 1248, characters 7-18:
- Warning: the token Vpitimeunit is unused.
- File "Input.mly", line 1249, characters 7-17:
- Warning: the token Vpitimevar is unused.
- File "Input.mly", line 1251, characters 7-21:
- Warning: the token Vpitranif0prim is unused.
- File "Input.mly", line 1252, characters 7-21:
- Warning: the token Vpitranif1prim is unused.
- File "Input.mly", line 1253, characters 7-18:
- Warning: the token Vpitranprim is unused.
- File "Input.mly", line 1254, characters 7-13:
- Warning: the token Vpitri is unused.
- File "Input.mly", line 1255, characters 7-14:
- Warning: the token Vpitri0 is unused.
- File "Input.mly", line 1256, characters 7-14:
- Warning: the token Vpitri1 is unused.
- File "Input.mly", line 1257, characters 7-16:
- Warning: the token Vpitriand is unused.
- File "Input.mly", line 1258, characters 7-15:
- Warning: the token Vpitrior is unused.
- File "Input.mly", line 1259, characters 7-16:
- Warning: the token Vpitrireg is unused.
- File "Input.mly", line 1260, characters 7-14:
- Warning: the token Vpitype is unused.
- File "Input.mly", line 1261, characters 7-13:
- Warning: the token Vpiudp is unused.
- File "Input.mly", line 1262, characters 7-18:
- Warning: the token Vpiudparray is unused.
- File "Input.mly", line 1263, characters 7-17:
- Warning: the token Vpiudpdefn is unused.
- File "Input.mly", line 1264, characters 7-19:
- Warning: the token Vpiuintconst is unused.
- File "Input.mly", line 1271, characters 7-21:
- Warning: the token Vpiunconndrive is unused.
- File "Input.mly", line 1272, characters 7-19:
- Warning: the token Vpiundefined is unused.
- File "Input.mly", line 1273, characters 7-17:
- Warning: the token Vpiunknown is unused.
- File "Input.mly", line 1274, characters 7-13:
- Warning: the token Vpiuse is unused.
- File "Input.mly", line 1275, characters 7-18:
- Warning: the token Vpiuserdefn is unused.
- File "Input.mly", line 1276, characters 7-19:
- Warning: the token Vpiusersystf is unused.
- File "Input.mly", line 1277, characters 7-15:
- Warning: the token Vpiuwire is unused.
- File "Input.mly", line 1278, characters 7-15:
- Warning: the token Vpivalid is unused.
- File "Input.mly", line 1280, characters 7-19:
- Warning: the token Vpivarselect is unused.
- File "Input.mly", line 1281, characters 7-16:
- Warning: the token Vpivector is unused.
- File "Input.mly", line 1282, characters 7-14:
- Warning: the token Vpiwait is unused.
- File "Input.mly", line 1283, characters 7-14:
- Warning: the token Vpiwand is unused.
- File "Input.mly", line 1284, characters 7-15:
- Warning: the token Vpiwhile is unused.
- File "Input.mly", line 1285, characters 7-15:
- Warning: the token Vpiwidth is unused.
- File "Input.mly", line 1287, characters 7-14:
- Warning: the token Vpiwire is unused.
- File "Input.mly", line 1288, characters 7-13:
- Warning: the token Vpiwor is unused.
- File "Input.mly", line 1289, characters 7-18:
- Warning: the token Vpixnorprim is unused.
- File "Input.mly", line 1290, characters 7-17:
- Warning: the token Vpixorprim is unused.
- File "Input.mly", line 733, characters 7-12:
- Warning: the token WHILE is unused.
- File "Input.mly", line 724, characters 7-11:
- Warning: the token WIRE is unused.
- File "Input.mly", line 818, characters 22-27:
- Warning: the token Width is unused.
- File "Input.mly", line 1653, characters 0-12:
- Warning: symbol const_decomp is unreachable from the start symbol.
- File "Input.mly", line 1853, characters 0-11:
- Warning: symbol initial_typ is unreachable from the start symbol.
- File "Input.mly", line 1671, characters 0-6:
- Warning: symbol modlst is unreachable from the start symbol.
- File "Input.mly", line 2427, characters 0-11:
- Warning: symbol unreachable is unreachable from the start symbol.
- (cd _build/.sandbox/41bd8cecd8bb91c19382835d9546101c/default && /home/opam/.opam/5.4/bin/menhir -la 2 Formula.mly --base Formula --infer-write-query Formula__mock.ml.mock)
- File "Formula.mly", line 5, characters 8-14:
- Warning: the token ACCEPT is unused.
- File "Formula.mly", line 7, characters 8-10:
- Warning: the token AT is unused.
- File "Formula.mly", line 8, characters 8-17:
- Warning: the token BACKQUOTE is unused.
- File "Formula.mly", line 9, characters 8-17:
- Warning: the token BACKSLASH is unused.
- File "Formula.mly", line 11, characters 8-13:
- Warning: the token COLON is unused.
- File "Formula.mly", line 12, characters 8-13:
- Warning: the token COMMA is unused.
- File "Formula.mly", line 13, characters 15-20:
- Warning: the token CONS1 is unused.
- File "Formula.mly", line 14, characters 21-26:
- Warning: the token CONS2 is unused.
- File "Formula.mly", line 15, characters 27-32:
- Warning: the token CONS3 is unused.
- File "Formula.mly", line 16, characters 33-38:
- Warning: the token CONS4 is unused.
- File "Formula.mly", line 17, characters 8-15:
- Warning: the token DEFAULT is unused.
- File "Formula.mly", line 18, characters 8-11:
- Warning: the token DIV is unused.
- File "Formula.mly", line 19, characters 8-14:
- Warning: the token DOLLAR is unused.
- File "Formula.mly", line 20, characters 8-11:
- Warning: the token DOT is unused.
- File "Formula.mly", line 21, characters 8-19:
- Warning: the token DOUBLEQUOTE is unused.
- File "Formula.mly", line 22, characters 20-25:
- Warning: the token ELIST is unused.
- File "Formula.mly", line 23, characters 8-19:
- Warning: the token EMPTY_TOKEN is unused.
- File "Formula.mly", line 24, characters 8-11:
- Warning: the token END is unused.
- File "Formula.mly", line 26, characters 8-10:
- Warning: the token EQ is unused.
- File "Formula.mly", line 27, characters 8-13:
- Warning: the token ERROR is unused.
- File "Formula.mly", line 28, characters 8-19:
- Warning: the token ERROR_TOKEN is unused.
- File "Formula.mly", line 29, characters 8-15:
- Warning: the token GREATER is unused.
- File "Formula.mly", line 30, characters 8-12:
- Warning: the token HASH is unused.
- File "Formula.mly", line 32, characters 8-17:
- Warning: the token KW_DEFINE is unused.
- File "Formula.mly", line 33, characters 8-23:
- Warning: the token KW_DEFINE_GROUP is unused.
- File "Formula.mly", line 34, characters 8-16:
- Warning: the token KW_FALSE is unused.
- File "Formula.mly", line 35, characters 8-15:
- Warning: the token KW_TRUE is unused.
- File "Formula.mly", line 36, characters 8-14:
- Warning: the token LBRACE is unused.
- File "Formula.mly", line 37, characters 8-14:
- Warning: the token LBRACK is unused.
- File "Formula.mly", line 38, characters 8-14:
- Warning: the token LCURLY is unused.
- File "Formula.mly", line 39, characters 8-12:
- Warning: the token LESS is unused.
- File "Formula.mly", line 40, characters 8-16:
- Warning: the token LINEFEED is unused.
- File "Formula.mly", line 42, characters 8-13:
- Warning: the token MINUS is unused.
- File "Formula.mly", line 45, characters 8-15:
- Warning: the token PERCENT is unused.
- File "Formula.mly", line 48, characters 8-13:
- Warning: the token QUERY is unused.
- File "Formula.mly", line 50, characters 8-14:
- Warning: the token RBRACE is unused.
- File "Formula.mly", line 51, characters 8-14:
- Warning: the token RBRACK is unused.
- File "Formula.mly", line 52, characters 8-14:
- Warning: the token RCURLY is unused.
- File "Formula.mly", line 54, characters 8-12:
- Warning: the token SEMI is unused.
- File "Formula.mly", line 55, characters 21-26:
- Warning: the token SLIST is unused.
- File "Formula.mly", line 56, characters 16-22:
- Warning: the token STRING is unused.
- File "Formula.mly", line 57, characters 8-13:
- Warning: the token TILDE is unused.
- File "Formula.mly", line 58, characters 20-25:
- Warning: the token TLIST is unused.
- File "Formula.mly", line 59, characters 69-76:
- Warning: the token TUPLE10 is unused.
- File "Formula.mly", line 60, characters 21-27:
- Warning: the token TUPLE2 is unused.
- File "Formula.mly", line 61, characters 27-33:
- Warning: the token TUPLE3 is unused.
- File "Formula.mly", line 62, characters 33-39:
- Warning: the token TUPLE4 is unused.
- File "Formula.mly", line 63, characters 39-45:
- Warning: the token TUPLE5 is unused.
- File "Formula.mly", line 64, characters 45-51:
- Warning: the token TUPLE6 is unused.
- File "Formula.mly", line 65, characters 51-57:
- Warning: the token TUPLE7 is unused.
- File "Formula.mly", line 66, characters 57-63:
- Warning: the token TUPLE8 is unused.
- File "Formula.mly", line 67, characters 63-69:
- Warning: the token TUPLE9 is unused.
- File "Formula.mly", line 68, characters 8-13:
- Warning: the token UNARY is unused.
- File "Formula.mly", line 69, characters 8-18:
- Warning: the token UNDERSCORE is unused.
- (cd _build/.sandbox/b887e7952a3e15be7ab22eb05bd17706/default && /home/opam/.opam/5.4/bin/menhir -la 2 Source_text_verible.mly --base Source_text_verible --infer-write-query Source_text_verible__mock.ml.mock)
- File "Source_text_verible.mly", line 9, characters 8-14:
- Warning: the token ACCEPT is unused.
- File "Source_text_verible.mly", line 16, characters 8-16:
- Warning: the token Absdelay is unused.
- File "Source_text_verible.mly", line 18, characters 8-15:
- Warning: the token Ac_stim is unused.
- File "Source_text_verible.mly", line 22, characters 8-18:
- Warning: the token Aliasparam is unused.
- File "Source_text_verible.mly", line 28, characters 8-16:
- Warning: the token Analysis is unused.
- File "Source_text_verible.mly", line 34, characters 8-17:
- Warning: the token BACKQUOTE is unused.
- File "Source_text_verible.mly", line 35, characters 8-27:
- Warning: the token BACKQUOTE_BACKQUOTE is unused.
- File "Source_text_verible.mly", line 69, characters 8-17:
- Warning: the token BACKSLASH is unused.
- File "Source_text_verible.mly", line 89, characters 15-20:
- Warning: the token CONS1 is unused.
- File "Source_text_verible.mly", line 90, characters 21-26:
- Warning: the token CONS2 is unused.
- File "Source_text_verible.mly", line 91, characters 27-32:
- Warning: the token CONS3 is unused.
- File "Source_text_verible.mly", line 92, characters 33-38:
- Warning: the token CONS4 is unused.
- File "Source_text_verible.mly", line 93, characters 39-44:
- Warning: the token CONS5 is unused.
- File "Source_text_verible.mly", line 94, characters 45-50:
- Warning: the token CONS6 is unused.
- File "Source_text_verible.mly", line 95, characters 51-56:
- Warning: the token CONS7 is unused.
- File "Source_text_verible.mly", line 96, characters 57-62:
- Warning: the token CONS8 is unused.
- File "Source_text_verible.mly", line 97, characters 63-68:
- Warning: the token CONS9 is unused.
- File "Source_text_verible.mly", line 103, characters 8-15:
- Warning: the token Checker is unused.
- File "Source_text_verible.mly", line 108, characters 8-15:
- Warning: the token Connect is unused.
- File "Source_text_verible.mly", line 109, characters 8-21:
- Warning: the token Connectmodule is unused.
- File "Source_text_verible.mly", line 110, characters 8-20:
- Warning: the token Connectrules is unused.
- File "Source_text_verible.mly", line 120, characters 8-15:
- Warning: the token DEFAULT is unused.
- File "Source_text_verible.mly", line 139, characters 8-19:
- Warning: the token DOUBLEQUOTE is unused.
- File "Source_text_verible.mly", line 151, characters 8-21:
- Warning: the token Driver_update is unused.
- File "Source_text_verible.mly", line 152, characters 20-25:
- Warning: the token ELIST is unused.
- File "Source_text_verible.mly", line 153, characters 8-19:
- Warning: the token EMPTY_TOKEN is unused.
- File "Source_text_verible.mly", line 154, characters 8-17:
- Warning: the token EOF_TOKEN is unused.
- File "Source_text_verible.mly", line 166, characters 8-18:
- Warning: the token Endchecker is unused.
- File "Source_text_verible.mly", line 170, characters 8-23:
- Warning: the token Endconnectrules is unused.
- File "Source_text_verible.mly", line 179, characters 8-19:
- Warning: the token Endparamset is unused.
- File "Source_text_verible.mly", line 188, characters 8-13:
- Warning: the token Error is unused.
- File "Source_text_verible.mly", line 205, characters 8-21:
- Warning: the token Flicker_noise is unused.
- File "Source_text_verible.mly", line 212, characters 8-16:
- Warning: the token Forkjoin is unused.
- File "Source_text_verible.mly", line 229, characters 8-17:
- Warning: the token HYPHEN_GT is unused.
- File "Source_text_verible.mly", line 257, characters 8-20:
- Warning: the token Interconnect is unused.
- File "Source_text_verible.mly", line 271, characters 8-16:
- Warning: the token LINEFEED is unused.
- File "Source_text_verible.mly", line 274, characters 8-41:
- Warning: the token LPAREN_STAR_attribute_STAR_RPAREN is unused.
- File "Source_text_verible.mly", line 280, characters 8-56:
- Warning: the token LT_LT_BACKSLASH_BACKSLASH_line_HYPHEN_cont_GT_GT is unused.
- File "Source_text_verible.mly", line 281, characters 8-41:
- Warning: the token LT_LT_BACKSLASH_BACKSLASH_n_GT_GT is unused.
- File "Source_text_verible.mly", line 284, characters 8-25:
- Warning: the token LT_LT_space_GT_GT is unused.
- File "Source_text_verible.mly", line 286, characters 8-18:
- Warning: the token Laplace_nd is unused.
- File "Source_text_verible.mly", line 287, characters 8-18:
- Warning: the token Laplace_np is unused.
- File "Source_text_verible.mly", line 288, characters 8-18:
- Warning: the token Laplace_zd is unused.
- File "Source_text_verible.mly", line 289, characters 8-18:
- Warning: the token Laplace_zp is unused.
- File "Source_text_verible.mly", line 291, characters 8-21:
- Warning: the token Last_crossing is unused.
- File "Source_text_verible.mly", line 292, characters 8-25:
- Warning: the token Less_than_TK_else is unused.
- File "Source_text_verible.mly", line 296, characters 8-14:
- Warning: the token Limexp is unused.
- File "Source_text_verible.mly", line 319, characters 8-22:
- Warning: the token Net_resolution is unused.
- File "Source_text_verible.mly", line 324, characters 8-19:
- Warning: the token Noise_table is unused.
- File "Source_text_verible.mly", line 348, characters 8-16:
- Warning: the token Paramset is unused.
- File "Source_text_verible.mly", line 352, characters 8-11:
- Warning: the token Pow is unused.
- File "Source_text_verible.mly", line 385, characters 8-17:
- Warning: the token Resolveto is unused.
- File "Source_text_verible.mly", line 398, characters 8-81:
- Warning: the token SLASH_AMPERSAND_lowast_SEMICOLON_comment_AMPERSAND_lowast_SEMICOLON_SLASH is unused.
- File "Source_text_verible.mly", line 400, characters 8-39:
- Warning: the token SLASH_SLASH_end_of_line_comment is unused.
- File "Source_text_verible.mly", line 401, characters 21-26:
- Warning: the token SLIST is unused.
- File "Source_text_verible.mly", line 407, characters 16-22:
- Warning: the token STRING is unused.
- File "Source_text_verible.mly", line 414, characters 8-16:
- Warning: the token Scalared is unused.
- File "Source_text_verible.mly", line 455, characters 8-16:
- Warning: the token TK_OTHER is unused.
- File "Source_text_verible.mly", line 466, characters 20-25:
- Warning: the token TLIST is unused.
- File "Source_text_verible.mly", line 467, characters 69-76:
- Warning: the token TUPLE10 is unused.
- File "Source_text_verible.mly", line 468, characters 75-82:
- Warning: the token TUPLE11 is unused.
- File "Source_text_verible.mly", line 469, characters 81-88:
- Warning: the token TUPLE12 is unused.
- File "Source_text_verible.mly", line 470, characters 87-94:
- Warning: the token TUPLE13 is unused.
- File "Source_text_verible.mly", line 471, characters 93-100:
- Warning: the token TUPLE14 is unused.
- File "Source_text_verible.mly", line 472, characters 99-106:
- Warning: the token TUPLE15 is unused.
- File "Source_text_verible.mly", line 473, characters 21-27:
- Warning: the token TUPLE2 is unused.
- File "Source_text_verible.mly", line 474, characters 27-33:
- Warning: the token TUPLE3 is unused.
- File "Source_text_verible.mly", line 475, characters 33-39:
- Warning: the token TUPLE4 is unused.
- File "Source_text_verible.mly", line 476, characters 39-45:
- Warning: the token TUPLE5 is unused.
- File "Source_text_verible.mly", line 477, characters 45-51:
- Warning: the token TUPLE6 is unused.
- File "Source_text_verible.mly", line 478, characters 51-57:
- Warning: the token TUPLE7 is unused.
- File "Source_text_verible.mly", line 479, characters 57-63:
- Warning: the token TUPLE8 is unused.
- File "Source_text_verible.mly", line 480, characters 63-69:
- Warning: the token TUPLE9 is unused.
- File "Source_text_verible.mly", line 494, characters 8-18:
- Warning: the token Transition is unused.
- File "Source_text_verible.mly", line 522, characters 8-16:
- Warning: the token Vectored is unused.
- File "Source_text_verible.mly", line 526, characters 8-18:
- Warning: the token Wait_order is unused.
- File "Source_text_verible.mly", line 532, characters 8-19:
- Warning: the token White_noise is unused.
- File "Source_text_verible.mly", line 543, characters 8-13:
- Warning: the token Zi_nd is unused.
- File "Source_text_verible.mly", line 544, characters 8-13:
- Warning: the token Zi_np is unused.
- File "Source_text_verible.mly", line 545, characters 8-13:
- Warning: the token Zi_zd is unused.
- File "Source_text_verible.mly", line 546, characters 8-13:
- Warning: the token Zi_zp is unused.
- File "Source_text_verible.mly", line 188, characters 8-13:
- Warning: please do not name a terminal symbol Error.
- (cd _build/.sandbox/217e6a34fad35fb1d80146d854bcc604/default && /home/opam/.opam/5.4/bin/menhir -la 2 Formula.mly --base Formula --infer-read-reply Formula__mock.mli.inferred)
- Built an LR(0) automaton with 26 states.
- The construction mode is pager.
- Built an LR(1) automaton with 26 states.
- Warning: one state has shift/reduce conflicts.
- Warning: one shift/reduce conflict was arbitrarily resolved.
- (cd _build/.sandbox/949e9638399ed4b695fc109c23de221b/default && /home/opam/.opam/5.4/bin/menhir -la 2 File.mly --base File --infer-read-reply File__mock.mli.inferred)
- Built an LR(0) automaton with 81 states.
- The construction mode is pager.
- Built an LR(1) automaton with 81 states.
- Warning: 7 states have shift/reduce conflicts.
- Warning: 25 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/.sandbox/259df560ed2f12825066d2d8f9f8371b/default && /home/opam/.opam/5.4/bin/menhir -la 2 Rtlil_input.mly --base Rtlil_input --infer-read-reply Rtlil_input__mock.mli.inferred)
- Built an LR(0) automaton with 169 states.
- The construction mode is pager.
- Built an LR(1) automaton with 169 states.
- (cd _build/.sandbox/9f6578393fd7dced91f48f121d430ac5/default && /home/opam/.opam/5.4/bin/menhir -la 2 rtl_parser.mly --base rtl_parser --infer-read-reply rtl_parser__mock.mli.inferred)
- Built an LR(0) automaton with 1318 states.
- The construction mode is pager.
- Built an LR(1) automaton with 1330 states.
- 1067 shift/reduce conflicts were silently solved.
- Warning: 3 states have shift/reduce conflicts.
- Warning: 3 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/.sandbox/21d48c6446957fd67d69f5ae5738a3d7/default && /home/opam/.opam/5.4/bin/menhir -la 2 Input.mly --base Input --infer-read-reply Input__mock.mli.inferred)
- Built an LR(0) automaton with 2253 states.
- The construction mode is pager.
- Built an LR(1) automaton with 2253 states.
- Warning: one state has shift/reduce conflicts.
- Warning: 29 states have reduce/reduce conflicts.
- Warning: one shift/reduce conflict was arbitrarily resolved.
- Warning: 1380 reduce/reduce conflicts were arbitrarily resolved.
- File "Input.mly", line 2337, characters 15-15:
- Warning: production assignment_def -> is never reduced.
- File "Input.mly", line 2366, characters 15-15:
- Warning: production class_typespec -> is never reduced.
- File "Input.mly", line 2328, characters 13-13:
- Warning: production constant_def -> is never reduced.
- File "Input.mly", line 2334, characters 18-18:
- Warning: production event_control_def -> is never reduced.
- File "Input.mly", line 1824, characters 4-28:
- Warning: production gen_case_opt -> Vpicondition COLON oexpr is never reduced.
- File "Input.mly", line 2340, characters 17-17:
- Warning: production int_typespec_def -> is never reduced.
- File "Input.mly", line 2343, characters 21-21:
- Warning: production integer_typespec_def -> is never reduced.
- File "Input.mly", line 2331, characters 14-14:
- Warning: production operation_def -> is never reduced.
- File "Input.mly", line 2346, characters 10-10:
- Warning: production range_def -> is never reduced.
- File "Input.mly", line 1701, characters 4-43:
- Warning: production weak_opt -> Logic_typespec COLON logic_typespec_def is never reduced.
- Warning: in total, 10 productions are never reduced.
- (cd _build/.sandbox/5df6279f0b69d146f7822bb55151ab43/default && /home/opam/.opam/5.4/bin/menhir -la 2 Source_text_verible.mly --base Source_text_verible --infer-read-reply Source_text_verible__mock.mli.inferred)
- Built an LR(0) automaton with 3819 states.
- The construction mode is pager.
- Built an LR(1) automaton with 3819 states.
- Warning: 6 states have shift/reduce conflicts.
- Warning: 3 states have reduce/reduce conflicts.
- Warning: 6 shift/reduce conflicts were arbitrarily resolved.
- Warning: 157 reduce/reduce conflicts were arbitrarily resolved.
- File "Source_text_verible.mly", line 2898, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2899, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2901, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2904, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2905, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2906, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2907, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2908, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2909, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2910, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2911, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2912, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2913, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2914, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2915, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2916, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2917, characters 3-7:
- Warning: production udp_input_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2923, characters 3-7:
- Warning: production udp_output_sym -> CHAR is never reduced.
- File "Source_text_verible.mly", line 2924, characters 3-7:
- Warning: production udp_output_sym -> CHAR is never reduced.
- Warning: in total, 19 productions are never reduced.
- (cd _build/default && ./myluaclient.exe verify.lua test/hardcaml/multiplier_test.sv)
- HelloUHDM/Verilator
- verible_pat_cnv
- dump' multiplier_test
- f "multiplier_test";; /* multiplier_test_check.v */
- 134
- itm2
- multiplier_test_hardcaml.v
- b
- a
- mul
- itm4
- dump' multiplier_test
- f "multiplier_test";; /* multiplier_test_map.v */
- multiplier_test
- multiplier_test
- STA_multiplier_test
- Status = 127
- nil
-
- 23
- itm5
- multiplier_test_hardcaml.v
- b
- a
- mul
- \multiplier_test
- Raised at Stdlib__Hashtbl.find in file "hashtbl.ml", line 542, characters 13-28
- Called from Dune__exe__Myluaclient.ldump in file "myluaclient.ml", line 139, characters 8-30
- Called from Dune__exe__Myluaclient.MakeLib.M.init.wrap2 in file "myluaclient.ml", line 237, characters 22-27
- Not_found
- toplevel> sh: 1: sta: not found
- /bin/sh: 1: yosys: not found
-> compiled hardcaml-lua.0.0.1
-> removed hardcaml-lua.0.0.1
-> installed hardcaml-lua.0.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-03 08:34.36 ---> saved as "e08dd97e2330a4a2f506c6b3fa55768aaa14d520eb8e58e2e60292ec32fe9a39"
Job succeeded
2026-03-03 08:34.42: Job succeeded