Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-21 14:04.36 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-02-21 14:04.36 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 4022a684b64be8161a05cf897f492f8680792469"))
2025-02-21 14:04.36 ---> using "ced9ab1d6bac3c5f95cfdac2696c8d9202989b3f52ba62400bb20a10ac63d439" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-02-21 14:04.36 ---> using "69f716af23f9139c4566fb0532f54e56ee4f6773c11e689dc47229d6a744c7e1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-02-21 14:04.36 ---> using "8cb80bdf8c98b441ca1a62ad13717befd2e70e905b796cad3ff69df4d26bf351" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Fetched 654 kB in 3s (260 kB/s)
- Reading package lists...
-
2025-02-21 14:04.36 ---> using "aab064613a33ea1c8e4184107fb782b7e34e02d2710ba539b18cbd20a9d40c72" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-21 14:04.36 ---> using "ab68111ecaec8e96a659d3801d58f9f48b56993ae57778afc853e701c3286214" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
1.2%
## 3.1%
######### 12.7%
################## 26.1%
################################################################## 92.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-21 14:04.36 ---> using "91706ab83e18623d5f5c55809c19ede302298d1fa58d418458556ddcfa9179ed" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-02-21 14:04.36 ---> using "23d3c9485a3a95dd6f64bf73b0bd06b36016919a287108bba74001e847c99f7d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source alba.0.4.4 && cd alba.0.4.4 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default ))\
\n\
\n(repository\
\n (name default)\
\n (url \"git+https://github.com/ocaml/opam-repository.git\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Successfully extracted to /home/opam/alba.0.4.4
[WARNING] Failed checks on alba package definition from source at file:///home/opam/alba.0.4.4:
warning 62: License doesn't adhere to the SPDX standard, see https://spdx.org/licenses/ : "GPLv2"
Solution for dune.lock:
- base.v0.17.1
- base-unix.base
- cmdliner.1.3.0
- csexp.1.5.2
- dune-configurator.3.17.2
- gen.1.1
- jane-street-headers.v0.17.0
- js_of_ocaml.6.0.1
- js_of_ocaml-compiler.6.0.1
- js_of_ocaml-ppx.6.0.1
- jst-config.v0.17.0
- linenoise.1.5.1
- menhir.20240715
- menhirCST.20240715
- menhirLib.20240715
- menhirSdk.20240715
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocaml_intrinsics_kernel.v0.17.1
- ppx_assert.v0.17.0
- ppx_base.v0.17.0
- ppx_cold.v0.17.0
- ppx_compare.v0.17.0
- ppx_derivers.1.2.1
- ppx_enumerate.v0.17.0
- ppx_globalize.v0.17.0
- ppx_hash.v0.17.0
- ppx_here.v0.17.0
- ppx_inline_test.v0.17.0
- ppx_optcomp.v0.17.0
- ppx_sexp_conv.v0.17.0
- ppxlib.0.35.0
- ppxlib_jane.v0.17.2
- sedlex.3.3
- seq.base
- sexplib0.v0.17.0
- stdio.v0.17.0
- stdlib-shims.0.3.0
- time_now.v0.17.0
- yojson.2.2.2
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building ocaml-config.3
Building ocaml.5.3.0
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading jane-street-headers.v0.17.0
Building jane-street-headers.v0.17.0
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ocaml_intrinsics_kernel.v0.17.1
Building ocaml_intrinsics_kernel.v0.17.1
Downloading sexplib0.v0.17.0
Building sexplib0.v0.17.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ocaml-compiler-libs.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading dune-configurator.3.17.2
Building dune-configurator.3.17.2
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading base.v0.17.1
Building base.v0.17.1
Downloading stdio.v0.17.0
Building stdio.v0.17.0
Downloading ppx_cold.v0.17.0
Downloading ppx_here.v0.17.0
Downloading ppxlib_jane.v0.17.2
Downloading ppx_optcomp.v0.17.0
Building ppxlib_jane.v0.17.2
Building ppx_cold.v0.17.0
Building ppx_here.v0.17.0
Building ppx_optcomp.v0.17.0
Downloading ppx_globalize.v0.17.0
Downloading ppx_sexp_conv.v0.17.0
Downloading ppx_compare.v0.17.0
Downloading ppx_enumerate.v0.17.0
Building ppx_globalize.v0.17.0
Building ppx_compare.v0.17.0
Building ppx_sexp_conv.v0.17.0
Building ppx_enumerate.v0.17.0
Downloading ppx_hash.v0.17.0
Downloading ppx_assert.v0.17.0
Building ppx_hash.v0.17.0
Building ppx_assert.v0.17.0
Downloading ppx_base.v0.17.0
Building ppx_base.v0.17.0
Downloading jst-config.v0.17.0
Building jst-config.v0.17.0
Downloading time_now.v0.17.0
Building time_now.v0.17.0
Downloading ppx_inline_test.v0.17.0
Building ppx_inline_test.v0.17.0
Downloading linenoise.1.5.1
Building linenoise.1.5.1
Building seq.base
Downloading cmdliner.1.3.0
Building cmdliner.1.3.0
Downloading menhirLib.20240715
Downloading menhirSdk.20240715
Downloading menhirCST.20240715
Building menhirLib.20240715
Building menhirSdk.20240715
Downloading gen.1.1
Building gen.1.1
Building menhirCST.20240715
Downloading yojson.2.2.2
Building yojson.2.2.2
Downloading menhir.20240715
Building menhir.20240715
Downloading sedlex.3.3
Building sedlex.3.3
Downloading js_of_ocaml-compiler.6.0.1
Building js_of_ocaml-compiler.6.0.1
Downloading js_of_ocaml.6.0.1
Building js_of_ocaml.6.0.1
Downloading js_of_ocaml-ppx.6.0.1
Building js_of_ocaml-ppx.6.0.1
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/container.cmo -c -impl ocaml/alba1/container.ml)
File "ocaml/alba1/container.ml", lines 13-16, characters 4-57:
13 | ....(** The maximal index where [el] can be inserted into the array [arr]
14 | without disturbing the order.
15 |
16 | The algorithm assumes that the array is sorted *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/container.ml", line 756, characters 12-16:
756 | let rec plus i =
^^^^
Warning 39 [unused-rec-flag]: unused rec flag.
File "ocaml/alba1/container.ml", line 387, characters 6-13:
387 | let of_char (c:char): string =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value of_char.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -bin-annot-occurrences -I ocaml/fmlib/js/.fmlib_js.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/compiler-libs -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/js_of_ocaml-compiler/target/lib/js_of_ocaml-compiler/runtime -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx/as-lib -I ../_private/default/.pkg/js_of_ocaml/target/lib/js_of_ocaml -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/common -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/shadow -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_derivers/target/lib/ppx_derivers -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/ast -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/astlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/stdppx -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/traverse_builtins -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -open Fmlib_js -o ocaml/fmlib/js/.fmlib_js.objs/byte/fmlib_js__Browser.cmo -c -impl ocaml/fmlib/js/browser.pp.ml)
File "ocaml/fmlib/js/browser.ml", line 18, characters 8-22:
18 | raise_js_error
^^^^^^^^^^^^^^
Error (alert deprecated): Js_of_ocaml.Js.raise_js_error
[since 4.0] Use [Js_error.raise_] instead.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -bin-annot-occurrences -I ocaml/fmlib/node/.fmlib_node.objs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/compiler-libs -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/js_of_ocaml-compiler/target/lib/js_of_ocaml-compiler/runtime -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx/as-lib -I ../_private/default/.pkg/js_of_ocaml/target/lib/js_of_ocaml -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/common -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/shadow -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_derivers/target/lib/ppx_derivers -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/ast -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/astlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/stdppx -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/traverse_builtins -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -intf-suffix .ml -no-alias-deps -opaque -open Fmlib_node -o ocaml/fmlib/node/.fmlib_node.objs/byte/fmlib_node__File_system.cmo -c -impl ocaml/fmlib/node/file_system.pp.ml)
File "ocaml/fmlib/node/file_system.ml", line 130, characters 4-9:
130 | | Error _ ->
^^^^^
Error (alert deprecated): Error
[since 4.0] Use [Js_error.Exn] instead.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -I ocaml/fmlib/node/.fmlib_node.objs/byte -I ocaml/fmlib/node/.fmlib_node.objs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/compiler-libs -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/js_of_ocaml-compiler/target/lib/js_of_ocaml-compiler/runtime -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx -I ../_private/default/.pkg/js_of_ocaml-ppx/target/lib/js_of_ocaml-ppx/as-lib -I ../_private/default/.pkg/js_of_ocaml/target/lib/js_of_ocaml -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/common -I ../_private/default/.pkg/ocaml-compiler-libs/target/lib/ocaml-compiler-libs/shadow -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_derivers/target/lib/ppx_derivers -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/ast -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/astlib -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/print_diff -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/stdppx -I ../_private/default/.pkg/ppxlib/target/lib/ppxlib/traverse_builtins -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/stdlib-shims/target/lib/stdlib-shims -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -open Fmlib_node -o ocaml/fmlib/node/.fmlib_node.objs/native/fmlib_node__File_system.cmx -c -impl ocaml/fmlib/node/file_system.pp.ml)
File "ocaml/fmlib/node/file_system.ml", line 130, characters 4-9:
130 | | Error _ ->
^^^^^
Error (alert deprecated): Error
[since 4.0] Use [Js_error.Exn] instead.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/support.cmo -c -impl ocaml/alba1/support.ml)
File "ocaml/alba1/support.ml", line 157, characters 8-22:
157 | let rec string_of_list (l: 'a list) (sfun: 'a -> string) (sep: string) =
^^^^^^^^^^^^^^
Warning 39 [unused-rec-flag]: unused rec flag.
File "ocaml/alba1/support.ml", line 340, characters 11-12:
340 | | Freeop i | RFreeop i -> true
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/support.ml", line 347, characters 11-12:
347 | | Freeop i | RFreeop i -> true
^
Warning 27 [unused-var-strict]: unused variable i.
(cd _build/.sandbox/66cc893a858e114431c510d5b47c4e66/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -short-paths -i -impl ocaml/alba1/parser__mock.ml.mock) > _build/.sandbox/66cc893a858e114431c510d5b47c4e66/default/ocaml/alba1/parser__mock.mli.inferred
File "ocaml/alba1/parser.mly", line 9, characters 0-11:
Warning 33 [unused-open]: unused open Stdlib.Printf.
File "ocaml/alba1/parser.mly", line 10, characters 0-14:
Warning 33 [unused-open]: unused open Container.
File "ocaml/alba1/parser.mly", line 81, characters 9-12:
Warning 27 [unused-var-strict]: unused variable lst.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/platform.cmx -c -impl ocaml/alba1/platform.ml)
File "ocaml/alba1/platform.ml", line 61, characters 4-23:
61 | let directory_separator (): char =
^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value directory_separator.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/topological_sort.cmx -c -impl ocaml/alba1/topological_sort.ml)
File "ocaml/alba1/topological_sort.ml", line 8, characters 0-14:
8 | open Container
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Container.
File "ocaml/alba1/topological_sort.ml", line 90, characters 8-17:
90 | let top_stack (d:t): node * node list =
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value top_stack.
File "ocaml/alba1/topological_sort.ml", line 95, characters 8-11:
95 | let pop (d:t): unit =
^^^
Warning 32 [unused-value-declaration]: unused value pop.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/tvars.cmi -c -intf ocaml/alba1/tvars.mli)
File "ocaml/alba1/tvars.mli", line 32, characters 0-36:
32 | val fgconcepts: t -> type_term array
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value fgconcepts.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/command_line.cmx -c -impl ocaml/alba1/command_line.ml)
File "ocaml/alba1/command_line.ml", line 112, characters 2-31:
112 | | Subcommands of command list
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 37 [unused-constructor]: constructor Subcommands is never used to build values.
(However, this constructor appears in patterns.)
File "ocaml/alba1/command_line.ml", line 146, characters 4-19:
146 | let command_options (cmd:command): alba_option list =
^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value command_options.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/feature.cmx -c -impl ocaml/alba1/feature.ml)
File "ocaml/alba1/feature.ml", line 2, characters 0-14:
2 | open Container
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Container.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/signature.cmo -c -impl ocaml/alba1/signature.ml)
File "ocaml/alba1/signature.ml", lines 213-214, characters 4-7:
213 | ....(** Shift all types up by [n] starting from [start].
214 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 219-220, characters 4-7:
219 | ....(** Shift all types up by [n].
220 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 225-229, characters 4-7:
225 | ....(** Shift all types up by [n1] starting from type [start] and then
226 | shift all types up by [n2] i.e. the operation creates a hole
227 | of [n1] starting from [start+n2] and a hole of [n2] starting from
228 | 0.
229 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 241-243, characters 4-7:
241 | ....(** Convert the constant signature [s] into a function signature with
242 | [nargs] arguments. The [nargs] argument types are fresh type variables.
243 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", line 67, characters 20-25:
67 | | Some (tp,proc,ghost) -> Some (tp,proc,true)
^^^^^
Warning 27 [unused-var-strict]: unused variable ghost.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/support.cmx -c -impl ocaml/alba1/support.ml)
File "ocaml/alba1/support.ml", line 157, characters 8-22:
157 | let rec string_of_list (l: 'a list) (sfun: 'a -> string) (sep: string) =
^^^^^^^^^^^^^^
Warning 39 [unused-rec-flag]: unused rec flag.
File "ocaml/alba1/support.ml", line 340, characters 11-12:
340 | | Freeop i | RFreeop i -> true
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/support.ml", line 347, characters 11-12:
347 | | Freeop i | RFreeop i -> true
^
Warning 27 [unused-var-strict]: unused variable i.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/container.cmx -c -impl ocaml/alba1/container.ml)
File "ocaml/alba1/container.ml", lines 13-16, characters 4-57:
13 | ....(** The maximal index where [el] can be inserted into the array [arr]
14 | without disturbing the order.
15 |
16 | The algorithm assumes that the array is sorted *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/container.ml", line 756, characters 12-16:
756 | let rec plus i =
^^^^
Warning 39 [unused-rec-flag]: unused rec flag.
File "ocaml/alba1/container.ml", line 387, characters 6-13:
387 | let of_char (c:char): string =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value of_char.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/tvars.cmx -c -impl ocaml/alba1/tvars.ml)
File "ocaml/alba1/tvars.ml", line 197, characters 4-17:
197 | let dummy_fgnames (n:int): int array =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value dummy_fgnames.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/proof.cmo -c -impl ocaml/alba1/proof.ml)
File "ocaml/alba1/proof.ml", line 39, characters 13-16:
39 | | Exp (i,ags,args,e) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 39, characters 17-21:
39 | | Exp (i,ags,args,e) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 45, characters 20-22:
45 | | Apply (f,args,pr) ->
^^
Warning 27 [unused-var-strict]: unused variable pr.
File "ocaml/alba1/proof.ml", line 50, characters 15-19:
50 | | Lam (_,_,pres,e,rt) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/proof.ml", line 54, characters 12-13:
54 | | QExp (n,_,_,e,is_all) ->
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/proof.ml", line 61, characters 19-23:
61 | | Simpl (e,idx,args,ags) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 61, characters 24-27:
61 | | Simpl (e,idx,args,ags) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 67, characters 15-19:
67 | | As (cond,insp,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/proof.ml", line 67, characters 20-23:
67 | | As (cond,insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 67, characters 24-27:
67 | | As (cond,insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 70, characters 15-16:
70 | | Inspect (t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 70, characters 17-22:
70 | | Inspect (t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable inspe.
File "ocaml/alba1/proof.ml", line 70, characters 29-33:
70 | | Inspect (t,inspe,icase,rese) ->
^^^^
Warning 27 [unused-var-strict]: unused variable rese.
File "ocaml/alba1/proof.ml", line 149, characters 22-26:
149 | | Specialize (i,args,ags) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 149, characters 27-30:
149 | | Specialize (i,args,ags) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 158, characters 21-22:
158 | | Witness (i,_,t,args)-> print_prefix (); printf "Witness %d\n" i
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 158, characters 23-27:
158 | | Witness (i,_,t,args)-> print_prefix (); printf "Witness %d\n" i
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 164, characters 19-23:
164 | | Inherit (i,bcls,cls) -> print_prefix (); printf "Inherit %d\n" i
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 164, characters 24-27:
164 | | Inherit (i,bcls,cls) -> print_prefix (); printf "Inherit %d\n" i
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 180, characters 18-19:
180 | Eval.Term t | Eval.AsExp t -> e
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 243, characters 22-27:
243 | let rec used_below (start:int) (k:int) (below:int) (pt_arr:t array) (set:IntSet.t)
^^^^^
Warning 27 [unused-var-strict]: unused variable start.
File "ocaml/alba1/proof.ml", line 256, characters 18-19:
256 | Eval.Term t | Eval.AsExp t -> set
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 257, characters 18-19:
257 | | Eval.Exp (i,_,args,e) -> used_eval e (used_args set args)
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 258, characters 20-21:
258 | | Eval.VApply(i,args,_) -> used_args set args
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 263, characters 24-28:
263 | | Eval.Simpl (e,i,args,_)-> used_eval e (add_idx i set)
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 264, characters 17-21:
264 | | Eval.If (cond,idx,args)-> used_args (add_idx idx set) args
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 265, characters 17-21:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 265, characters 28-31:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 265, characters 32-35:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 267, characters 22-23:
267 | | Eval.Inspect (t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 267, characters 30-35:
267 | | Eval.Inspect (t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable icase.
File "ocaml/alba1/proof.ml", line 285, characters 24-25:
285 | | Eval_bwd (t,e) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 289, characters 23-24:
289 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 289, characters 25-29:
289 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 289, characters 30-33:
289 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 312, characters 20-21:
312 | Eval.Term t | Eval.AsExp t -> set
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 313, characters 20-21:
313 | | Eval.Exp (i,_,args,e) -> usd_eval e (usd_args set args)
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 314, characters 23-24:
314 | | Eval.VApply (i,args,_) -> usd_args set args
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 321, characters 26-30:
321 | | Eval.Simpl (e,i,args,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 324, characters 19-23:
324 | | Eval.If (cond,idx,args) -> usd_args (usd idx pt_arr set) args
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 325, characters 19-23:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 325, characters 30-33:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 325, characters 34-37:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 327, characters 23-24:
327 | | Eval.Inspect(t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 327, characters 31-36:
327 | | Eval.Inspect(t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable icase.
File "ocaml/alba1/proof.ml", line 350, characters 20-21:
350 | | Eval_bwd (t,e) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 358, characters 19-20:
358 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 358, characters 21-25:
358 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 358, characters 26-29:
358 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 438, characters 19-20:
438 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 438, characters 21-25:
438 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 438, characters 26-29:
438 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 544, characters 32-33:
544 | | Subproof ((nms,_),_,i,pt_arr,_) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 547, characters 21-22:
547 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 547, characters 23-27:
547 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 547, characters 28-31:
547 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 700, characters 21-22:
700 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 700, characters 23-27:
700 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 700, characters 28-31:
700 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 709, characters 7-12:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/proof.ml", line 709, characters 19-22:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof.ml", line 709, characters 35-40:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^
Warning 27 [unused-var-strict]: unused variable start.
File "ocaml/alba1/proof.ml", line 709, characters 47-48:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 709, characters 56-62:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^^
Warning 27 [unused-var-strict]: unused variable pt_arr.
File "ocaml/alba1/proof.ml", line 756, characters 17-21:
756 | | Inherit (i,bcls,cls) -> "inh " ^ (string_of_int i)
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 756, characters 22-25:
756 | | Inherit (i,bcls,cls) -> "inh " ^ (string_of_int i)
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 759, characters 17-20:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof.ml", line 759, characters 21-22:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 759, characters 23-27:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 761, characters 16-21:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/proof.ml", line 761, characters 22-27:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^
Warning 27 [unused-var-strict]: unused variable names.
File "ocaml/alba1/proof.ml", line 761, characters 28-31:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^
Warning 27 [unused-var-strict]: unused variable res.
File "ocaml/alba1/proof.ml", line 761, characters 32-38:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^^
Warning 27 [unused-var-strict]: unused variable pt_arr.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/term_algo.cmx -c -impl ocaml/alba1/term_algo.ml)
File "ocaml/alba1/term_algo.ml", line 4, characters 4-19:
4 | let extract_pattern (n:int) (t:term): (int*int*int*term) list =
^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value extract_pattern.
File "ocaml/alba1/term_algo.ml", line 4, characters 21-22:
4 | let extract_pattern (n:int) (t:term): (int*int*int*term) list =
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/term_algo.ml", line 4, characters 29-30:
4 | let extract_pattern (n:int) (t:term): (int*int*int*term) list =
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/term_algo.ml", line 101, characters 18-20:
101 | | Application(f1,args1,_), Application(f2,args2,_)
^^
Warning 27 [unused-var-strict]: unused variable f1.
File "ocaml/alba1/term_algo.ml", line 101, characters 43-45:
101 | | Application(f1,args1,_), Application(f2,args2,_)
^^
Warning 27 [unused-var-strict]: unused variable f2.
File "ocaml/alba1/term_algo.ml", line 104, characters 10-14:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable tps1.
File "ocaml/alba1/term_algo.ml", line 104, characters 15-19:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable fgs1.
File "ocaml/alba1/term_algo.ml", line 104, characters 20-23:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^
Warning 27 [unused-var-strict]: unused variable ps1.
File "ocaml/alba1/term_algo.ml", line 104, characters 24-27:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^
Warning 27 [unused-var-strict]: unused variable t01.
File "ocaml/alba1/term_algo.ml", line 104, characters 38-42:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable tps2.
File "ocaml/alba1/term_algo.ml", line 104, characters 43-47:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable fgs2.
File "ocaml/alba1/term_algo.ml", line 104, characters 48-51:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^
Warning 27 [unused-var-strict]: unused variable ps2.
File "ocaml/alba1/term_algo.ml", line 104, characters 52-55:
104 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^
Warning 27 [unused-var-strict]: unused variable t02.
File "ocaml/alba1/term_algo.ml", line 107, characters 18-21:
107 | | QExp(tps1,_,t01,all1), QExp(tps2,_,t02,all2)
^^^
Warning 27 [unused-var-strict]: unused variable t01.
File "ocaml/alba1/term_algo.ml", line 107, characters 41-44:
107 | | QExp(tps1,_,t01,all1), QExp(tps2,_,t02,all2)
^^^
Warning 27 [unused-var-strict]: unused variable t02.
File "ocaml/alba1/term_algo.ml", line 110, characters 12-17:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable cond1.
File "ocaml/alba1/term_algo.ml", line 110, characters 18-20:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^
Warning 27 [unused-var-strict]: unused variable a1.
File "ocaml/alba1/term_algo.ml", line 110, characters 21-23:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^
Warning 27 [unused-var-strict]: unused variable b1.
File "ocaml/alba1/term_algo.ml", line 110, characters 32-37:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable cond2.
File "ocaml/alba1/term_algo.ml", line 110, characters 38-40:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^
Warning 27 [unused-var-strict]: unused variable a2.
File "ocaml/alba1/term_algo.ml", line 110, characters 41-43:
110 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^
Warning 27 [unused-var-strict]: unused variable b2.
File "ocaml/alba1/term_algo.ml", line 112, characters 12-17:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable insp1.
File "ocaml/alba1/term_algo.ml", line 112, characters 18-22:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable tps1.
File "ocaml/alba1/term_algo.ml", line 112, characters 23-27:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pat1.
File "ocaml/alba1/term_algo.ml", line 112, characters 36-41:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable insp2.
File "ocaml/alba1/term_algo.ml", line 112, characters 42-46:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable tps2.
File "ocaml/alba1/term_algo.ml", line 112, characters 47-51:
112 | | Asexp(insp1,tps1,pat1), Asexp(insp2,tps2,pat2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pat2.
File "ocaml/alba1/term_algo.ml", line 114, characters 14-19:
114 | | Inspect(insp1,cases1), Inspect(insp2,cases2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable insp1.
File "ocaml/alba1/term_algo.ml", line 114, characters 20-26:
114 | | Inspect(insp1,cases1), Inspect(insp2,cases2) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable cases1.
File "ocaml/alba1/term_algo.ml", line 114, characters 37-42:
114 | | Inspect(insp1,cases1), Inspect(insp2,cases2) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable insp2.
File "ocaml/alba1/term_algo.ml", line 114, characters 43-49:
114 | | Inspect(insp1,cases1), Inspect(insp2,cases2) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable cases2.
File "ocaml/alba1/term_algo.ml", line 229, characters 15-19:
229 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable fgs1.
File "ocaml/alba1/term_algo.ml", line 229, characters 43-47:
229 | | Lam(tps1,fgs1,ps1,t01,rt1), Lam(tps2,fgs2,ps2,t02,rt2)
^^^^
Warning 27 [unused-var-strict]: unused variable fgs2.
File "ocaml/alba1/term_algo.ml", line 246, characters 16-20:
246 | | QExp(tps1,fgs1,t01,is_all1),
^^^^
Warning 27 [unused-var-strict]: unused variable fgs1.
File "ocaml/alba1/term_algo.ml", line 247, characters 16-20:
247 | QExp(tps2,fgs2,t02,is_all2)
^^^^
Warning 27 [unused-var-strict]: unused variable fgs2.
File "ocaml/alba1/term_algo.ml", line 260, characters 38-40:
260 | | Ifexp(cond1,a1,b1), Ifexp(cond2,a2,b2) ->
^^
Warning 27 [unused-var-strict]: unused variable a2.
File "ocaml/alba1/term_algo.ml", line 374, characters 37-41:
374 | let nextpos,nextvar,poslst,args =
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/term_algo.ml", line 377, characters 13-17:
377 | | Asexp (insp,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/term_algo.ml", line 377, characters 18-21:
377 | | Asexp (insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/term_algo.ml", line 377, characters 22-25:
377 | | Asexp (insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/term_algo.ml", line 379, characters 15-19:
379 | | Inspect (insp,cases) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/term_algo.ml", line 379, characters 20-25:
379 | | Inspect (insp,cases) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable cases.
File "ocaml/alba1/term_algo.ml", line 388, characters 14-17:
388 | | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/term_algo.ml", line 388, characters 18-20:
388 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term_algo.ml", line 388, characters 21-23:
388 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable rs.
File "ocaml/alba1/term_algo.ml", line 391, characters 6-13:
391 | let nextpos, nextvar, poslst, tlam = mklambda 0 0 poslst t1 0 in
^^^^^^^
Warning 27 [unused-var-strict]: unused variable nextpos.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/feature_table.cmi -c -intf ocaml/alba1/feature_table.mli)
File "ocaml/alba1/feature_table.mli", line 26, characters 0-33:
26 | val is_deferred: int -> t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_deferred.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/signature.cmx -c -impl ocaml/alba1/signature.ml)
File "ocaml/alba1/signature.ml", lines 213-214, characters 4-7:
213 | ....(** Shift all types up by [n] starting from [start].
214 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 219-220, characters 4-7:
219 | ....(** Shift all types up by [n].
220 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 225-229, characters 4-7:
225 | ....(** Shift all types up by [n1] starting from type [start] and then
226 | shift all types up by [n2] i.e. the operation creates a hole
227 | of [n1] starting from [start+n2] and a hole of [n2] starting from
228 | 0.
229 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", lines 241-243, characters 4-7:
241 | ....(** Convert the constant signature [s] into a function signature with
242 | [nargs] arguments. The [nargs] argument types are fresh type variables.
243 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/signature.ml", line 67, characters 20-25:
67 | | Some (tp,proc,ghost) -> Some (tp,proc,true)
^^^^^
Warning 27 [unused-var-strict]: unused variable ghost.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/term_table.cmx -c -impl ocaml/alba1/term_table.ml)
File "ocaml/alba1/term_table.ml", lines 84-85, characters 2-57:
84 | ..(** All the terms as a list [obj,nb,nargs,nbenv,term] of the table [tab] in the
85 | reverse order in which they have been inserted. *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term_table.ml", lines 90-91, characters 2-49:
90 | ..(** All the terms as a list [idx,nargs,nbenv,term] of the table [tab] in the
91 | order in which they have been inserted. *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term_table.ml", lines 550-562, characters 2-5:
550 | ..(** Unify the terms in the table [table] with term [t] which has [nb0]
551 | universally quantied variables below [nargs] arguments and comes from an
552 | environment with [nbenv] variables.
553 |
554 | The result is a list of tuples (idx,sub) where applying the substitution
...
559 | applying the substitutions to [t] [t] has to be transformed
560 | into the environment of the term at [idx] (e.g. in the term [t]
561 | space has to be made for the variables of the term at [idx]).
562 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term_table.ml", lines 604-607, characters 2-5:
604 | ..(** Associate the term [t] which has [nargs] arguments and comes from an
605 | environment with [nbenv] variables with the index [idx]
606 | within the node [tab].
607 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term_table.ml", lines 748-751, characters 2-5:
748 | ..(** Associate the term [t] which has [nargs] arguments and comes from an
749 | environment with [nbenv] variables with the index [idx]
750 | within the node [tab].
751 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term_table.ml", line 7, characters 0-12:
7 | open Support
^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Support.
File "ocaml/alba1/term_table.ml", line 74, characters 0-28:
74 | exception Term_found of term
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 38 [unused-extension]: unused exception Term_found
File "ocaml/alba1/term_table.ml", line 83, characters 4-10:
83 | let terms0 (tab:t): (int*int*int*int*term) list =
^^^^^^
Warning 32 [unused-value-declaration]: unused value terms0.
File "ocaml/alba1/term_table.ml", line 114, characters 17-22:
114 | | (idx1,avar,nargs)::tail1, (idx2,sub)::tail2 ->
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/term_table.ml", line 133, characters 23-28:
133 | (fun (idx,avar,nargs) -> idx,Term_sub.singleton avar t)
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/term_table.ml", line 367, characters 12-15:
367 | | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/term_table.ml", line 367, characters 16-18:
367 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term_table.ml", line 442, characters 18-22:
442 | (fun (idx,avar,nargs) -> idx,Term_sub.empty)
^^^^
Warning 27 [unused-var-strict]: unused variable avar.
File "ocaml/alba1/term_table.ml", line 442, characters 23-28:
442 | (fun (idx,avar,nargs) -> idx,Term_sub.empty)
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/term_table.ml", line 592, characters 4-7:
592 | let has (idx:int) (table:t): bool =
^^^
Warning 32 [unused-value-declaration]: unused value has.
File "ocaml/alba1/term_table.ml", line 802, characters 4-14:
802 | let merge_tabs (t1:t) (t2:t) (sfun:int->int): t =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value merge_tabs.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/context.cmi -c -intf ocaml/alba1/context.mli)
File "ocaml/alba1/context.mli", lines 55-56, characters 4-30:
55 | ....(** The number of cumulated type variables in this context and all
56 | preceeding contexts *)
Warning 50 [unexpected-docstring]: ambiguous documentation comment
File "ocaml/alba1/context.mli", line 13, characters 0-14:
13 | open Container
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Container.
File "ocaml/alba1/context.mli", line 46, characters 0-25:
46 | val arity: t -> int
^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value arity.
File "ocaml/alba1/context.mli", line 119, characters 0-29:
119 | val fgnames: t -> int array
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value fgnames.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/module.cmx -c -impl ocaml/alba1/module.ml)
File "ocaml/alba1/module.ml", line 31, characters 16-18:
31 | let info_abort (fn:string) (info:Support.info) (str:string) =
^^
Warning 27 [unused-var-strict]: unused variable fn.
File "ocaml/alba1/module.ml", line 82, characters 8-15:
82 | let package (s:t): library_name =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value package.
File "ocaml/alba1/module.ml", line 107, characters 10-21:
107 | let open Format in
^^^^^^^^^^^
Warning 33 [unused-open]: unused open Stdlib.Format.
File "ocaml/alba1/module.ml", line 173, characters 10-17:
173 | let use_blk, ast = parse (path s) Parser.file in
^^^^^^^
Warning 27 [unused-var-strict]: unused variable use_blk.
File "ocaml/alba1/module.ml", line 213, characters 19-23:
213 | | Both (imp, ifce) ->
^^^^
Warning 27 [unused-var-strict]: unused variable ifce.
File "ocaml/alba1/module.ml", line 382, characters 27-30:
382 | with Sys_error str ->
^^^
Warning 27 [unused-var-strict]: unused variable str.
File "ocaml/alba1/module.ml", line 394, characters 43-44:
394 | let find (p:library_name) (info:info) (s:Src.t) (ps:t): string =
^
Warning 27 [unused-var-strict]: unused variable s.
File "ocaml/alba1/module.ml", line 506, characters 8-11:
506 | let map (g:graph): M.t Module_map.t = g.map
^^^
Warning 32 [unused-value-declaration]: unused value map.
File "ocaml/alba1/module.ml", line 717, characters 4-28:
717 | let is_alba_source_file_name (str:string): bool =
^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_alba_source_file_name.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/proof_table.cmi -c -intf ocaml/alba1/proof_table.mli)
File "ocaml/alba1/proof_table.mli", line 10, characters 0-14:
10 | open Container
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Container.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/proof.cmx -c -impl ocaml/alba1/proof.ml)
File "ocaml/alba1/proof.ml", line 39, characters 13-16:
39 | | Exp (i,ags,args,e) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 39, characters 17-21:
39 | | Exp (i,ags,args,e) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 45, characters 20-22:
45 | | Apply (f,args,pr) ->
^^
Warning 27 [unused-var-strict]: unused variable pr.
File "ocaml/alba1/proof.ml", line 50, characters 15-19:
50 | | Lam (_,_,pres,e,rt) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/proof.ml", line 54, characters 12-13:
54 | | QExp (n,_,_,e,is_all) ->
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/proof.ml", line 61, characters 19-23:
61 | | Simpl (e,idx,args,ags) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 61, characters 24-27:
61 | | Simpl (e,idx,args,ags) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 67, characters 15-19:
67 | | As (cond,insp,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/proof.ml", line 67, characters 20-23:
67 | | As (cond,insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 67, characters 24-27:
67 | | As (cond,insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 70, characters 15-16:
70 | | Inspect (t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 70, characters 17-22:
70 | | Inspect (t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable inspe.
File "ocaml/alba1/proof.ml", line 70, characters 29-33:
70 | | Inspect (t,inspe,icase,rese) ->
^^^^
Warning 27 [unused-var-strict]: unused variable rese.
File "ocaml/alba1/proof.ml", line 149, characters 22-26:
149 | | Specialize (i,args,ags) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 149, characters 27-30:
149 | | Specialize (i,args,ags) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/proof.ml", line 158, characters 21-22:
158 | | Witness (i,_,t,args)-> print_prefix (); printf "Witness %d\n" i
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 158, characters 23-27:
158 | | Witness (i,_,t,args)-> print_prefix (); printf "Witness %d\n" i
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 164, characters 19-23:
164 | | Inherit (i,bcls,cls) -> print_prefix (); printf "Inherit %d\n" i
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 164, characters 24-27:
164 | | Inherit (i,bcls,cls) -> print_prefix (); printf "Inherit %d\n" i
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 180, characters 18-19:
180 | Eval.Term t | Eval.AsExp t -> e
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 243, characters 22-27:
243 | let rec used_below (start:int) (k:int) (below:int) (pt_arr:t array) (set:IntSet.t)
^^^^^
Warning 27 [unused-var-strict]: unused variable start.
File "ocaml/alba1/proof.ml", line 256, characters 18-19:
256 | Eval.Term t | Eval.AsExp t -> set
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 257, characters 18-19:
257 | | Eval.Exp (i,_,args,e) -> used_eval e (used_args set args)
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 258, characters 20-21:
258 | | Eval.VApply(i,args,_) -> used_args set args
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 263, characters 24-28:
263 | | Eval.Simpl (e,i,args,_)-> used_eval e (add_idx i set)
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 264, characters 17-21:
264 | | Eval.If (cond,idx,args)-> used_args (add_idx idx set) args
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 265, characters 17-21:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 265, characters 28-31:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 265, characters 32-35:
265 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 267, characters 22-23:
267 | | Eval.Inspect (t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 267, characters 30-35:
267 | | Eval.Inspect (t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable icase.
File "ocaml/alba1/proof.ml", line 285, characters 24-25:
285 | | Eval_bwd (t,e) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 289, characters 23-24:
289 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 289, characters 25-29:
289 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 289, characters 30-33:
289 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 312, characters 20-21:
312 | Eval.Term t | Eval.AsExp t -> set
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 313, characters 20-21:
313 | | Eval.Exp (i,_,args,e) -> usd_eval e (usd_args set args)
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 314, characters 23-24:
314 | | Eval.VApply (i,args,_) -> usd_args set args
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 321, characters 26-30:
321 | | Eval.Simpl (e,i,args,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 324, characters 19-23:
324 | | Eval.If (cond,idx,args) -> usd_args (usd idx pt_arr set) args
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 325, characters 19-23:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/proof.ml", line 325, characters 30-33:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/proof.ml", line 325, characters 34-37:
325 | | Eval.As (cond,inspe,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/proof.ml", line 327, characters 23-24:
327 | | Eval.Inspect(t,inspe,icase,rese) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 327, characters 31-36:
327 | | Eval.Inspect(t,inspe,icase,rese) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable icase.
File "ocaml/alba1/proof.ml", line 350, characters 20-21:
350 | | Eval_bwd (t,e) ->
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 358, characters 19-20:
358 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 358, characters 21-25:
358 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 358, characters 26-29:
358 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 438, characters 19-20:
438 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 438, characters 21-25:
438 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 438, characters 26-29:
438 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 544, characters 32-33:
544 | | Subproof ((nms,_),_,i,pt_arr,_) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 547, characters 21-22:
547 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 547, characters 23-27:
547 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 547, characters 28-31:
547 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 700, characters 21-22:
700 | | Inherit (i,bcls,cls) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/proof.ml", line 700, characters 23-27:
700 | | Inherit (i,bcls,cls) ->
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 700, characters 28-31:
700 | | Inherit (i,bcls,cls) ->
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 709, characters 7-12:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/proof.ml", line 709, characters 19-22:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof.ml", line 709, characters 35-40:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^
Warning 27 [unused-var-strict]: unused variable start.
File "ocaml/alba1/proof.ml", line 709, characters 47-48:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 709, characters 56-62:
709 | (nargs:int) (nms:int array) (start:int) (t:term) (pt_arr: t array)
^^^^^^
Warning 27 [unused-var-strict]: unused variable pt_arr.
File "ocaml/alba1/proof.ml", line 756, characters 17-21:
756 | | Inherit (i,bcls,cls) -> "inh " ^ (string_of_int i)
^^^^
Warning 27 [unused-var-strict]: unused variable bcls.
File "ocaml/alba1/proof.ml", line 756, characters 22-25:
756 | | Inherit (i,bcls,cls) -> "inh " ^ (string_of_int i)
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/proof.ml", line 759, characters 17-20:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof.ml", line 759, characters 21-22:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof.ml", line 759, characters 23-27:
759 | | Witness (i,nms,t,args) -> "wit " ^ (string_of_int i)
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof.ml", line 761, characters 16-21:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/proof.ml", line 761, characters 22-27:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^
Warning 27 [unused-var-strict]: unused variable names.
File "ocaml/alba1/proof.ml", line 761, characters 28-31:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^
Warning 27 [unused-var-strict]: unused variable res.
File "ocaml/alba1/proof.ml", line 761, characters 32-38:
761 | | Subproof (nargs,names,res,pt_arr,_) -> "sub"
^^^^^^
Warning 27 [unused-var-strict]: unused variable pt_arr.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/inherit.cmi -c -intf ocaml/alba1/inherit.mli)
File "ocaml/alba1/inherit.mli", line 8, characters 0-9:
8 | open Term
^^^^^^^^^
Warning 33 [unused-open]: unused open Term.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/pattern.cmx -c -impl ocaml/alba1/pattern.ml)
File "ocaml/alba1/pattern.ml", line 32, characters 4-14:
32 | let recognizer (t:term) (co:int) (ags:agens) (c:Context.t): term =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value recognizer.
File "ocaml/alba1/pattern.ml", line 56, characters 4-11:
56 | let project (t:term) (co:int) (n:int) (ags:agens) (c:Context.t): arguments =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value project.
File "ocaml/alba1/pattern.ml", line 152, characters 21-25:
152 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^
Warning 27 [unused-var-strict]: unused variable ags1.
File "ocaml/alba1/pattern.ml", line 160, characters 12-14:
160 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^
Warning 27 [unused-var-strict]: unused variable i1.
File "ocaml/alba1/pattern.ml", line 160, characters 15-20:
160 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^^
Warning 27 [unused-var-strict]: unused variable args1.
File "ocaml/alba1/pattern.ml", line 160, characters 21-25:
160 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^
Warning 27 [unused-var-strict]: unused variable ags1.
File "ocaml/alba1/pattern.ml", line 160, characters 39-44:
160 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^^
Warning 27 [unused-var-strict]: unused variable args2.
File "ocaml/alba1/pattern.ml", line 160, characters 45-49:
160 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^
Warning 27 [unused-var-strict]: unused variable ags2.
File "ocaml/alba1/pattern.ml", line 163, characters 12-14:
163 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^
Warning 27 [unused-var-strict]: unused variable i1.
File "ocaml/alba1/pattern.ml", line 163, characters 15-20:
163 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^^
Warning 27 [unused-var-strict]: unused variable args1.
File "ocaml/alba1/pattern.ml", line 163, characters 21-25:
163 | | VAppl(i1,args1,ags1,_), VAppl(i2,args2,ags2,_)
^^^^
Warning 27 [unused-var-strict]: unused variable ags1.
File "ocaml/alba1/pattern.ml", line 192, characters 18-21:
192 | let tps,pat,res = cases.(i) in
^^^
Warning 27 [unused-var-strict]: unused variable res.
File "ocaml/alba1/pattern.ml", line 233, characters 7-10:
233 | let (nms,tps),fgs,pat = Term.remove_unused tps 0 empty_formals pat in
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/pattern.ml", line 233, characters 16-19:
233 | let (nms,tps),fgs,pat = Term.remove_unused tps 0 empty_formals pat in
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/term.cmx -c -impl ocaml/alba1/term.ml)
File "ocaml/alba1/term.ml", lines 295-298, characters 4-7:
295 | ....(** Fold the free variables with their level (from the top) in the order
296 | in which they appear in the term [t] with the function [f] and
297 | accumulate the results in [a].
298 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 347-349, characters 4-7:
347 | ....(** Fold the free variables in the order in which they appear in the
348 | term [t] with the function [f] and accumulate the results in [a].
349 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 356-359, characters 4-7:
356 | ....(** Fold the arguments in the order in which they appear in the term
357 | [t] with [nargs] arguments with the function [f] and accumulate
358 | the results in [a].
359 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 367-369, characters 4-7:
367 | ....(** The least free variable of the term [t] or [-1] if the term does not
368 | have free variables.
369 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 378-380, characters 4-7:
378 | ....(** The greatest (plus 1) argument variable of the term [t] with
379 | [nargs] arguments or [0] if there is no argument variable
380 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 389-391, characters 4-7:
389 | ....(** The set of bound variables strictly below [n] and above [n]
390 | in the term [t].
391 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", lines 1227-1240, characters 4-7:
1227 | ....(** Extract the implication chain of the term [t], i.e. if
1228 | [t] has the form
1229 |
1230 | a => b => ... => e => z
1231 |
...
1237 | a) The premises are returned in reverse order.
1238 | b) If [t] is not an implication, then the list of premises is
1239 | empty and [t] is returned as the consequence
1240 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/term.ml", line 135, characters 15-20:
135 | let strlam nargs names pres t pred =
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/term.ml", line 135, characters 21-26:
135 | let strlam nargs names pres t pred =
^^^^^
Warning 27 [unused-var-strict]: unused variable names.
File "ocaml/alba1/term.ml", line 190, characters 16-19:
190 | | Indset (n,nms,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/term.ml", line 239, characters 15-16:
239 | | VAppl (i,args,_,_) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term.ml", line 243, characters 19-23:
243 | | Lam (tps,_,pres,t,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/term.ml", line 271, characters 13-14:
271 | | VAppl (i,args,_,_) -> 1 + nodesarr args
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term.ml", line 274, characters 15-19:
274 | | Lam (_,_,pres,t,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/term.ml", line 328, characters 17-20:
328 | | Asexp (t,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/term.ml", line 328, characters 21-24:
328 | | Asexp (t,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/term.ml", line 333, characters 22-25:
333 | (fun a (fs,pat,res) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/term.ml", line 339, characters 18-21:
339 | | Indset (n,nms,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/term.ml", line 350, characters 15-20:
350 | let f0 a i level = f a i in
^^^^^
Warning 27 [unused-var-strict]: unused variable level.
File "ocaml/alba1/term.ml", line 479, characters 39-41:
479 | | Ifexp (c1, a1, b1), Ifexp (c2, a2, b2) ->
^^
Warning 27 [unused-var-strict]: unused variable a2.
File "ocaml/alba1/term.ml", line 494, characters 29-33:
494 | let fs1,pat1,res1 = cases1.(i)
^^^^
Warning 27 [unused-var-strict]: unused variable res1.
File "ocaml/alba1/term.ml", line 495, characters 24-28:
495 | and fs2,pat2,res2 = cases2.(i) in
^^^^
Warning 27 [unused-var-strict]: unused variable pat2.
File "ocaml/alba1/term.ml", line 503, characters 16-20:
503 | | Indset (nme1,tp1,rs1), Indset (nme2,tp2,rs2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable nme1.
File "ocaml/alba1/term.ml", line 503, characters 39-43:
503 | | Indset (nme1,tp1,rs1), Indset (nme2,tp2,rs2) ->
^^^^
Warning 27 [unused-var-strict]: unused variable nme2.
File "ocaml/alba1/term.ml", line 743, characters 6-19:
743 | let partial_subst
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value partial_subst.
File "ocaml/alba1/term.ml", line 821, characters 6-26:
821 | let swap_variable_blocks (n1:int) (m1:int) (n2:int) (m2:int) (t:term): term =
^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value swap_variable_blocks.
File "ocaml/alba1/term.ml", line 1325, characters 10-18:
1325 | let nescapes,pure_str =
^^^^^^^^
Warning 27 [unused-var-strict]: unused variable nescapes.
File "ocaml/alba1/term.ml", line 1348, characters 6-17:
1348 | let adapt_names (nms:int array) (names:int array): int array =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value adapt_names.
File "ocaml/alba1/term.ml", line 1442, characters 15-16:
1442 | | Variable i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term.ml", line 1526, characters 13-14:
1526 | Indset(n,nms,rs) ->
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/term.ml", line 1526, characters 15-18:
1526 | Indset(n,nms,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/term.ml", line 1563, characters 14-17:
1563 | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/term.ml", line 1563, characters 18-20:
1563 | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term.ml", line 1602, characters 14-17:
1602 | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/term.ml", line 1602, characters 18-20:
1602 | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term.ml", line 1653, characters 8-18:
1653 | let equivalent (f1:t) (f2:t): bool =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value equivalent.
File "ocaml/alba1/term.ml", line 1801, characters 11-12:
1801 | (fun i t ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term.ml", line 1803, characters 19-20:
1803 | Variable i -> true
^
Warning 27 [unused-var-strict]: unused variable i.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/induction.cmx -c -impl ocaml/alba1/induction.ml)
File "ocaml/alba1/induction.ml", line 66, characters 6-9:
66 | let tvs,s = Feature_table.signature0 (co-nvars) ft in
^^^
Warning 27 [unused-var-strict]: unused variable tvs.
File "ocaml/alba1/induction.ml", line 208, characters 16-20:
208 | (fun i (_,co_i,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable co_i.
File "ocaml/alba1/induction.ml", line 210, characters 20-24:
210 | (fun j (_,co_j,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable co_j.
File "ocaml/alba1/induction.ml", line 241, characters 8-15:
241 | let law_idx, carr, cset = Class_table.primary_induction_law cls ct in
^^^^^^^
Warning 27 [unused-var-strict]: unused variable law_idx.
File "ocaml/alba1/induction.ml", line 241, characters 23-27:
241 | let law_idx, carr, cset = Class_table.primary_induction_law cls ct in
^^^^
Warning 27 [unused-var-strict]: unused variable cset.
File "ocaml/alba1/induction.ml", line 291, characters 17-21:
291 | | [QExp(tps1,fgs1,
^^^^
Warning 27 [unused-var-strict]: unused variable fgs1.
File "ocaml/alba1/induction.ml", line 293, characters 30-34:
293 | [|QExp(tps2,fgs2,
^^^^
Warning 27 [unused-var-strict]: unused variable fgs2.
File "ocaml/alba1/induction.ml", line 372, characters 15-19:
372 | (fun (reco,co,pres) ->
^^^^
Warning 27 [unused-var-strict]: unused variable reco.
File "ocaml/alba1/induction.ml", line 381, characters 26-28:
381 | (fun (reco,co,_) ->
^^
Warning 27 [unused-var-strict]: unused variable co.
File "ocaml/alba1/induction.ml", line 390, characters 23-27:
390 | let reco,co,pres = carr.(const_idx) in
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/induction.ml", line 427, characters 12-14:
427 | | VAppl(eq, [|Variable n;VAppl (co,args,ags,oo)|],_,_)
^^
Warning 27 [unused-var-strict]: unused variable eq.
File "ocaml/alba1/induction.ml", line 433, characters 12-14:
433 | | VAppl(eq, [|VAppl (co,args,_,_);Variable n|],ags,oo)
^^
Warning 27 [unused-var-strict]: unused variable eq.
File "ocaml/alba1/induction.ml", line 519, characters 53-57:
519 | | VAppl(eq,[|VAppl(proj,[|VAppl(co,cargs,ags,oo)|],pags,_);Variable i|],_,_)
^^^^
Warning 27 [unused-var-strict]: unused variable pags.
File "ocaml/alba1/induction.ml", line 551, characters 13-17:
551 | let cond,co,cls = recognizer_condition_constructor t02 c2 in
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/alba_generic.cmx -c -impl ocaml/alba1/alba_generic.ml)
File "ocaml/alba1/alba_generic.ml", line 8, characters 0-14:
8 | open Container
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Container.
File "ocaml/alba1/alba_generic.ml", line 64, characters 17-20:
64 | with Sys_error str ->
^^^
Warning 27 [unused-var-strict]: unused variable str.
File "ocaml/alba1/alba_generic.ml", line 130, characters 36-40:
130 | let add_used_module (m:Module.M.t) (mset:Module.MSet.t) (pc:PC.t): unit =
^^^^
Warning 27 [unused-var-strict]: unused variable mset.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/rule_data.cmx -c -impl ocaml/alba1/rule_data.ml)
File "ocaml/alba1/rule_data.ml", line 8, characters 0-14:
8 | open Signature
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Signature.
File "ocaml/alba1/rule_data.ml", line 95, characters 6-9:
95 | let gp1,gp1_tp,_ = List.hd rd.premises in
^^^
Warning 27 [unused-var-strict]: unused variable gp1.
File "ocaml/alba1/rule_data.ml", line 203, characters 11-12:
203 | (fun p -> true)
^
Warning 27 [unused-var-strict]: unused variable p.
File "ocaml/alba1/rule_data.ml", line 266, characters 4-24:
266 | let is_backward_extended (rd:t): bool =
^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_backward_extended.
File "ocaml/alba1/rule_data.ml", line 610, characters 20-26:
610 | (fun lst (gp1,gp1_tp,p) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable gp1_tp.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -bin-annot -bin-annot-occurrences -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/byte/prover.cmo -c -impl ocaml/alba1/prover.ml)
File "ocaml/alba1/prover.ml", line 8, characters 0-12:
8 | open Support
^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Support.
File "ocaml/alba1/prover.ml", line 105, characters 8-10:
105 | | hd :: tl ->
^^
Warning 27 [unused-var-strict]: unused variable hd.
File "ocaml/alba1/prover.ml", line 311, characters 22-26:
311 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 389, characters 24-28:
389 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 739, characters 15-19:
739 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable ialt.
File "ocaml/alba1/prover.ml", line 739, characters 20-24:
739 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 795, characters 24-27:
795 | (fun (j,pos) ->
^^^
Warning 27 [unused-var-strict]: unused variable pos.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/class_table.cmx -c -impl ocaml/alba1/class_table.ml)
File "ocaml/alba1/class_table.ml", lines 445-447, characters 2-5:
445 | ..(** Convert the type term [t] in an environment with [nb] type variables
446 | and the formal generics [fgnames] to a string.
447 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/class_table.ml", line 1014, characters 2-57:
1014 | (** Does the class [cls] have [anc] as an ancestor ? *)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/class_table.ml", lines 1370-1371, characters 2-48:
1370 | ..(** Add the formal generic with [name] based on the class [cidx] to the
1371 | formal generics of the class table [ct] *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/class_table.ml", lines 1674-1676, characters 2-18:
1674 | ..(** The result type which corresponds to the return type [rt] in an
1675 | environment with the formal generics [fgnames,concepts] and [ntvs] type
1676 | variables *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/class_table.ml", line 69, characters 4-19:
69 | let current_package (ct:t): library_name =
^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value current_package.
File "ocaml/alba1/class_table.ml", line 364, characters 4-7:
364 | let any (ntvs:int) = Variable (Constants.any_class+ntvs)
^^^
Warning 32 [unused-value-declaration]: unused value any.
File "ocaml/alba1/class_table.ml", line 365, characters 4-8:
365 | let func nb dom ran =
^^^^
Warning 32 [unused-value-declaration]: unused value func.
File "ocaml/alba1/class_table.ml", line 823, characters 5-8:
823 | | (law,rel) :: _ ->
^^^
Warning 27 [unused-var-strict]: unused variable law.
File "ocaml/alba1/class_table.ml", line 935, characters 62-64:
935 | let dominant_formal_generic (tvs:Tvars.t) (owner:int option) (ct:t): int option =
^^
Warning 27 [unused-var-strict]: unused variable ct.
File "ocaml/alba1/class_table.ml", line 1059, characters 32-35:
1059 | | Application (Variable i1, ags, _) when i1 < nall1 ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/class_table.ml", line 1062, characters 32-35:
1062 | | Application (Variable i1, ags, _) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/class_table.ml", line 1334, characters 36-44:
1334 | let inherit_ancestor anc anc_args is_ghost anc_bdesc cls_bdesc =
^^^^^^^^
Warning 27 [unused-var-strict]: unused variable is_ghost.
File "ocaml/alba1/class_table.ml", line 1727, characters 4-29:
1727 | let tvars_with_class_variable
^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value tvars_with_class_variable.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/typer.cmx -c -impl ocaml/alba1/typer.ml)
File "ocaml/alba1/typer.ml", line 10, characters 0-14:
10 | open Signature
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Signature.
File "ocaml/alba1/typer.ml", line 75, characters 21-28:
75 | | ELam (pres,et0,is_pred) ->
^^^^^^^
Warning 27 [unused-var-strict]: unused variable is_pred.
File "ocaml/alba1/typer.ml", line 175, characters 19-22:
175 | Identifier nme -> f,nanon,lst
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/typer.ml", line 222, characters 11-16:
222 | let e, nanon, lst = vars e 0 [] in
^^^^^
Warning 27 [unused-var-strict]: unused variable nanon.
File "ocaml/alba1/typer.ml", line 274, characters 13-14:
274 | | Expset e ->
^
Warning 27 [unused-var-strict]: unused variable e.
File "ocaml/alba1/typer.ml", line 311, characters 16-18:
311 | | Expcolon (e1,e2) ->
^^
Warning 27 [unused-var-strict]: unused variable e1.
File "ocaml/alba1/typer.ml", line 311, characters 19-21:
311 | | Expcolon (e1,e2) ->
^^
Warning 27 [unused-var-strict]: unused variable e2.
File "ocaml/alba1/typer.ml", line 393, characters 7-11:
393 | (info:info)
^^^^
Warning 27 [unused-var-strict]: unused variable info.
File "ocaml/alba1/typer.ml", line 567, characters 4-14:
567 | let first_pass
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value first_pass.
File "ocaml/alba1/typer.ml", line 640, characters 34-35:
640 | let trace_head_terms (level:int) (c:Context.t) (tbs:TB.t list): unit =
^
Warning 27 [unused-var-strict]: unused variable c.
File "ocaml/alba1/typer.ml", line 1018, characters 4-18:
1018 | let get_difference (t1:term) (t2:term) (c:Context.t): string * string =
^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value get_difference.
File "ocaml/alba1/typer.ml", line 1019, characters 6-9:
1019 | let lam,_,arr1,arr2 =
^^^
Warning 27 [unused-var-strict]: unused variable lam.
File "ocaml/alba1/typer.ml", line 1021, characters 35-37:
1021 | Term_algo.compare t1 t2 (fun t1 t2 -> ())
^^
Warning 27 [unused-var-strict]: unused variable t1.
File "ocaml/alba1/typer.ml", line 1021, characters 38-40:
1021 | Term_algo.compare t1 t2 (fun t1 t2 -> ())
^^
Warning 27 [unused-var-strict]: unused variable t2.
File "ocaml/alba1/typer.ml", line 1070, characters 4-21:
1070 | let different_untyped
^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value different_untyped.
File "ocaml/alba1/typer.ml", line 1153, characters 15-16:
1153 | | Variable i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/typer.ml", line 1155, characters 20-23:
1155 | | VAppl (i,args,ags,oo) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/typer.ml", line 1155, characters 24-26:
1155 | | VAppl (i,args,ags,oo) ->
^^
Warning 27 [unused-var-strict]: unused variable oo.
File "ocaml/alba1/typer.ml", line 1195, characters 15-16:
1195 | | Variable i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/typer.ml", line 1197, characters 12-13:
1197 | | VAppl(i,args,ags,oo) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/typer.ml", line 1197, characters 19-22:
1197 | | VAppl(i,args,ags,oo) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/typer.ml", line 1197, characters 23-25:
1197 | | VAppl(i,args,ags,oo) ->
^^
Warning 27 [unused-var-strict]: unused variable oo.
File "ocaml/alba1/typer.ml", line 1202, characters 25-27:
1202 | | Lam (tps,fgs,ps,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable rt.
File "ocaml/alba1/typer.ml", line 1206, characters 23-29:
1206 | | QExp (tps,fgs,t0,is_all) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_all.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/context.cmx -c -impl ocaml/alba1/context.ml)
File "ocaml/alba1/context.ml", lines 121-123, characters 2-5:
121 | ..(** The number of cumulated type variables in this context and all
122 | preceeding contexts
123 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 140-142, characters 2-5:
140 | ..(** The cumulated number of formal generics in this context and all
141 | previous contexts
142 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 197-199, characters 2-5:
197 | ..(** The cumulated number of formal generics and type variables in
198 | this context and all previous contexts
199 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", line 448, characters 2-60:
448 | (** The signature of the entry [e] in the context [c]. *)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", line 456, characters 2-43:
456 | (** The signature of the context [c]. *)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", line 461, characters 2-49:
461 | (** Print the signature of the context [c]. *)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", line 539, characters 2-64:
539 | (** The term and the signature of the argument named [name] *)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 562-563, characters 2-40:
562 | ..(** Push the new type variables, formal generics and the formal arguments of
563 | [entlst,rt] to the context [c]. *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 680-681, characters 2-5:
680 | ..(** Pop the last context
681 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 885-886, characters 2-5:
885 | ..(** Print the signature of the context [c] with all argument names.
886 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 920-922, characters 2-5:
920 | ..(** Find all the functions with name [fn] and [nargs] arguments in the
921 | global feature table and transform them into the context.
922 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 937-940, characters 2-5:
937 | ..(** Find the identifier named [name] which accepts [nargs] arguments
938 | in one of the local contexts or in the global feature table. Return
939 | the list of variables together with their signature
940 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", lines 958-961, characters 2-5:
958 | ..(** Find the feature named [fn] which accepts [nargs] arguments global
959 | feature table. Return the list of variables together with their
960 | signature.
961 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/context.ml", line 15, characters 0-32:
15 | type formal = Class_table.formal
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 34 [unused-type-declaration]: unused type formal.
File "ocaml/alba1/context.ml", line 104, characters 4-9:
104 | let arity (c:t): int = entry_arity c.entry
^^^^^
Warning 32 [unused-value-declaration]: unused value arity.
File "ocaml/alba1/context.ml", line 178, characters 4-15:
178 | let tuple_index (c:t): int =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value tuple_index.
File "ocaml/alba1/context.ml", line 209, characters 4-15:
209 | let tuple_class (c:t): int =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value tuple_class.
File "ocaml/alba1/context.ml", line 325, characters 4-28:
325 | let string_long_of_term_anon (t:term) (nb:int) (c:t): string =
^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_long_of_term_anon.
File "ocaml/alba1/context.ml", line 352, characters 4-23:
352 | let string_of_variables (c:t): string =
^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_variables.
File "ocaml/alba1/context.ml", line 374, characters 4-17:
374 | let string_of_tvs (c:t): string =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_tvs.
File "ocaml/alba1/context.ml", line 413, characters 67-68:
413 | let quantified (is_all:bool) (tps:formals) (fgs:formals) (t:term) (c:t)
^
Warning 27 [unused-var-strict]: unused variable c.
File "ocaml/alba1/context.ml", line 447, characters 31-32:
447 | let entry_signature (e:entry) (c:t): Sign.t =
^
Warning 27 [unused-var-strict]: unused variable c.
File "ocaml/alba1/context.ml", line 517, characters 4-14:
517 | let is_untyped (i:int) (c:t): bool =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_untyped.
File "ocaml/alba1/context.ml", line 664, characters 4-15:
664 | let push_lambda (n:int) (nms:names) (tp:type_term) (c:t): t =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value push_lambda.
File "ocaml/alba1/context.ml", line 713, characters 13-14:
713 | | Variable i -> assert false (* Global constants are not variables *)
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/context.ml", line 714, characters 12-16:
714 | | VAppl(i,args,ags,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/context.ml", line 717, characters 18-22:
717 | | Application(f,args,_) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/context.ml", line 728, characters 12-15:
728 | | Lam(tps,fgs,_,_,rt) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/context.ml", line 739, characters 11-15:
739 | | Ifexp (cond,a,b) ->
^^^^
Warning 27 [unused-var-strict]: unused variable cond.
File "ocaml/alba1/context.ml", line 739, characters 18-19:
739 | | Ifexp (cond,a,b) ->
^
Warning 27 [unused-var-strict]: unused variable b.
File "ocaml/alba1/context.ml", line 743, characters 13-17:
743 | | Inspect (insp,cases) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/context.ml", line 745, characters 12-15:
745 | let fs,pat,res = cases.(0) in
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/context.ml", line 905, characters 4-23:
905 | let string_of_assertion (t:term) (c: t): string =
^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_assertion.
File "ocaml/alba1/context.ml", line 1047, characters 32-33:
1047 | let domain_type (tp:type_term) (c:t): type_term =
^
Warning 27 [unused-var-strict]: unused variable c.
File "ocaml/alba1/context.ml", line 1208, characters 8-13:
1208 | let argtp, rtp = split_function_or_predicate req_tp in
^^^^^
Warning 27 [unused-var-strict]: unused variable argtp.
File "ocaml/alba1/context.ml", line 1221, characters 15-18:
1221 | | Some rtp ->
^^^
Warning 27 [unused-var-strict]: unused variable rtp.
File "ocaml/alba1/context.ml", line 1282, characters 17-19:
1282 | | Lam (tps,fgs,ps,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable ps.
File "ocaml/alba1/context.ml", line 1301, characters 21-27:
1301 | | QExp (tps,fgs,t0,is_all) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_all.
File "ocaml/alba1/context.ml", line 1306, characters 12-15:
1306 | | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/context.ml", line 1306, characters 19-21:
1306 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable rs.
File "ocaml/alba1/context.ml", line 1535, characters 15-16:
1535 | | Variable i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/context.ml", line 1560, characters 16-19:
1560 | let n,nms,lst1 = preconditions i 0 c in
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/context.ml", line 1585, characters 28-30:
1585 | | Lam (tps,fgs,pres0,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable rt.
File "ocaml/alba1/context.ml", line 1615, characters 23-29:
1615 | | QExp (tps,fgs,t0,is_all) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_all.
File "ocaml/alba1/context.ml", line 1655, characters 19-22:
1655 | | Asexp (insp, tps, pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/context.ml", line 1655, characters 24-27:
1655 | | Asexp (insp, tps, pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/context.ml", line 1664, characters 21-22:
1664 | (fun lst (n,tps,pat) ->
^
Warning 27 [unused-var-strict]: unused variable n.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/proof_table.cmx -c -impl ocaml/alba1/proof_table.ml)
File "ocaml/alba1/proof_table.ml", lines 244-245, characters 2-5:
244 | ..(** The [i]th proved term and its context.
245 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", lines 259-260, characters 2-5:
259 | ..(** The number of variables of the environment of the [i]th proved term.
260 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", lines 272-273, characters 2-5:
272 | ..(** The [i]th proved term in the local environment.
273 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", lines 385-386, characters 2-5:
385 | ..(** Add the term [t] and its proof term [pt] to the table.
386 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", lines 955-956, characters 2-5:
955 | ..(** Construct a term from the proof term [pt].
956 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", lines 987-988, characters 2-5:
987 | ..(** Add the term [t] and its proof term [pt] to the table.
988 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_table.ml", line 9, characters 0-14:
9 | open Signature
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Signature.
File "ocaml/alba1/proof_table.ml", line 132, characters 35-37:
132 | let split_all_quantified (t:term) (at:t): Formals.t * Formals.t * term =
^^
Warning 27 [unused-var-strict]: unused variable at.
File "ocaml/alba1/proof_table.ml", line 135, characters 36-38:
135 | let split_some_quantified (t:term) (at:t): Formals.t * term =
^^
Warning 27 [unused-var-strict]: unused variable at.
File "ocaml/alba1/proof_table.ml", line 144, characters 4-27:
144 | let split_implication_chain (t:term) (at:t): term list * term =
^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value split_implication_chain.
File "ocaml/alba1/proof_table.ml", line 147, characters 4-14:
147 | let quantified
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value quantified.
File "ocaml/alba1/proof_table.ml", line 155, characters 4-19:
155 | let some_quantified (tps:Formals.t) (fgs:Formals.t) (t:term) (at:t): term =
^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value some_quantified.
File "ocaml/alba1/proof_table.ml", line 363, characters 4-12:
363 | let is_axiom (i:int) (at:t): bool =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_axiom.
File "ocaml/alba1/proof_table.ml", line 419, characters 13-18:
419 | let nargs, eq_id, left, right =
^^^^^
Warning 27 [unused-var-strict]: unused variable eq_id.
File "ocaml/alba1/proof_table.ml", line 425, characters 25-29:
425 | let specialized (i:int) (args:term array) (nb:int) (at:t): term =
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof_table.ml", line 425, characters 43-45:
425 | let specialized (i:int) (args:term array) (nb:int) (at:t): term =
^^
Warning 27 [unused-var-strict]: unused variable nb.
File "ocaml/alba1/proof_table.ml", line 446, characters 43-45:
446 | let apply_term (t:term) (args:term array) (nb:int) (at:t): term =
^^
Warning 27 [unused-var-strict]: unused variable nb.
File "ocaml/alba1/proof_table.ml", line 446, characters 52-54:
446 | let apply_term (t:term) (args:term array) (nb:int) (at:t): term =
^^
Warning 27 [unused-var-strict]: unused variable at.
File "ocaml/alba1/proof_table.ml", line 466, characters 10-13:
466 | let tps,fgs,t0 =
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/proof_table.ml", line 524, characters 30-32:
524 | | Lam(tps,fgs,pres,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable t0.
File "ocaml/alba1/proof_table.ml", line 528, characters 23-27:
528 | | VAppl(idx2,args,ags,_) when arity idx2 nb at > 0 ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof_table.ml", line 535, characters 12-13:
535 | let n,nms,t =
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/proof_table.ml", line 535, characters 14-17:
535 | let n,nms,t =
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof_table.ml", line 574, characters 32-35:
574 | | Application(Lam(tps,fgs,_,t0,rt), args, _) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/proof_table.ml", line 574, characters 41-43:
574 | | Application(Lam(tps,fgs,_,t0,rt), args, _) ->
^^
Warning 27 [unused-var-strict]: unused variable rt.
File "ocaml/alba1/proof_table.ml", line 609, characters 20-23:
609 | | Eval.If (cond,idx,args) ->
^^^
Warning 27 [unused-var-strict]: unused variable idx.
File "ocaml/alba1/proof_table.ml", line 615, characters 18-23:
615 | let inspa, inspb = reconstruct inspe nb in
^^^^^
Warning 27 [unused-var-strict]: unused variable inspb.
File "ocaml/alba1/proof_table.ml", line 633, characters 20-24:
633 | | Inspect(insp,cases) ->
^^^^
Warning 27 [unused-var-strict]: unused variable insp.
File "ocaml/alba1/proof_table.ml", line 647, characters 31-35:
647 | | Some (Ok (args,pres) ) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/inherit.cmx -c -impl ocaml/alba1/inherit.ml)
File "ocaml/alba1/inherit.ml", line 10, characters 0-14:
10 | open Signature
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Signature.
File "ocaml/alba1/inherit.ml", line 66, characters 30-33:
66 | with Proof.Proof_failed msg ->
^^^
Warning 27 [unused-var-strict]: unused variable msg.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/prover.cmx -c -impl ocaml/alba1/prover.ml)
File "ocaml/alba1/prover.ml", line 8, characters 0-12:
8 | open Support
^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Support.
File "ocaml/alba1/prover.ml", line 105, characters 8-10:
105 | | hd :: tl ->
^^
Warning 27 [unused-var-strict]: unused variable hd.
File "ocaml/alba1/prover.ml", line 311, characters 22-26:
311 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 389, characters 24-28:
389 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 739, characters 15-19:
739 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable ialt.
File "ocaml/alba1/prover.ml", line 739, characters 20-24:
739 | (fun (ipar,ialt,isub) ->
^^^^
Warning 27 [unused-var-strict]: unused variable isub.
File "ocaml/alba1/prover.ml", line 795, characters 24-27:
795 | (fun (j,pos) ->
^^^
Warning 27 [unused-var-strict]: unused variable pos.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/term_builder.cmx -c -impl ocaml/alba1/term_builder.ml)
File "ocaml/alba1/term_builder.ml", line 219, characters 4-30:
219 | let string_of_substituted_type (tp:type_term) (tb:t): string =
^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_substituted_type.
File "ocaml/alba1/term_builder.ml", line 327, characters 4-13:
327 | let head_type (tb:t): type_term =
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value head_type.
File "ocaml/alba1/term_builder.ml", line 480, characters 15-16:
480 | | Variable i, _ ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term_builder.ml", line 483, characters 18-19:
483 | | _, Variable j ->
^
Warning 27 [unused-var-strict]: unused variable j.
File "ocaml/alba1/term_builder.ml", line 675, characters 24-25:
675 | (fun (args,terms) i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/term_builder.ml", line 731, characters 4-23:
731 | let tuple_type_of_types (tps:type_term array) (tb:t): type_term =
^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value tuple_type_of_types.
File "ocaml/alba1/term_builder.ml", line 1110, characters 19-24:
1110 | | TermApp (nargs,start) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable start.
File "ocaml/alba1/term_builder.ml", line 1178, characters 6-11:
1178 | let nargs,names,tps = context_names_and_types tb in
^^^^^
Warning 27 [unused-var-strict]: unused variable nargs.
File "ocaml/alba1/term_builder.ml", line 1230, characters 9-14:
1230 | let t0,t0_tp = List.hd terms
^^^^^
Warning 27 [unused-var-strict]: unused variable t0_tp.
File "ocaml/alba1/term_builder.ml", line 1235, characters 30-32:
1235 | let pres = List.map (fun (t,tp) -> t) pres in
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term_builder.ml", line 1251, characters 12-19:
1251 | let (cond,cond_tp),terms = pop_term tb.terms in
^^^^^^^
Warning 27 [unused-var-strict]: unused variable cond_tp.
File "ocaml/alba1/term_builder.ml", line 1253, characters 10-15:
1253 | let (e1,e2_tp),terms = pop_term terms in
^^^^^
Warning 27 [unused-var-strict]: unused variable e2_tp.
File "ocaml/alba1/term_builder.ml", line 1284, characters 12-17:
1284 | let nargs,names,tps = context_names_and_types tb in
^^^^^
Warning 27 [unused-var-strict]: unused variable names.
File "ocaml/alba1/term_builder.ml", line 1376, characters 46-48:
1376 | and rules = Array.of_list (List.map (fun (t,tp) -> t) args)
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/term_builder.ml", line 1412, characters 4-19:
1412 | let type_in_context (tp:type_term) (tb:t): type_term =
^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value type_in_context.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/ast.cmx -c -impl ocaml/alba1/ast.ml)
File "ocaml/alba1/ast.ml", line 23, characters 4-15:
23 | let is_deferred (k:kind): bool =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_deferred.
File "ocaml/alba1/ast.ml", line 56, characters 29-33:
56 | | Some (Impdefined (Some locs,is_do,cmp)) ->
^^^^
Warning 27 [unused-var-strict]: unused variable locs.
File "ocaml/alba1/ast.ml", line 56, characters 34-39:
56 | | Some (Impdefined (Some locs,is_do,cmp)) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable is_do.
File "ocaml/alba1/ast.ml", line 56, characters 40-43:
56 | | Some (Impdefined (Some locs,is_do,cmp)) ->
^^^
Warning 27 [unused-var-strict]: unused variable cmp.
File "ocaml/alba1/ast.ml", line 72, characters 4-16:
72 | let analyze_body (i:int) (info:info) (bdy: feature_body) (c:Context.t)
^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value analyze_body.
File "ocaml/alba1/ast.ml", line 99, characters 4-22:
99 | let prove_insert_close (t:term) (pc:PC.t): unit =
^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value prove_insert_close.
File "ocaml/alba1/ast.ml", line 123, characters 4-29:
123 | let get_boolean_term_verified (e: expression) (pc:Proof_context.t): term =
^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value get_boolean_term_verified.
File "ocaml/alba1/ast.ml", line 177, characters 4-14:
177 | let add_axioms (lst:term withinfo list) (pc:Proof_context.t): (int*info) list =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value add_axioms.
File "ocaml/alba1/ast.ml", line 349, characters 20-25:
349 | (fun (n0,t0,level,iarg) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable level.
File "ocaml/alba1/ast.ml", line 349, characters 26-30:
349 | (fun (n0,t0,level,iarg) ->
^^^^
Warning 27 [unused-var-strict]: unused variable iarg.
File "ocaml/alba1/ast.ml", line 392, characters 15-16:
392 | | Variable i ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/ast.ml", line 409, characters 13-14:
409 | | VAppl (i,args,_,_) ->
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/ast.ml", line 414, characters 11-14:
414 | | Lam (tps,fgs,pres,t0,rt) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/ast.ml", line 414, characters 15-18:
414 | | Lam (tps,fgs,pres,t0,rt) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/ast.ml", line 414, characters 19-23:
414 | | Lam (tps,fgs,pres,t0,rt) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/ast.ml", line 414, characters 24-26:
414 | | Lam (tps,fgs,pres,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable t0.
File "ocaml/alba1/ast.ml", line 414, characters 27-29:
414 | | Lam (tps,fgs,pres,t0,rt) ->
^^
Warning 27 [unused-var-strict]: unused variable rt.
File "ocaml/alba1/ast.ml", line 418, characters 12-17:
418 | | QExp (fargs,fgs,t0,_) ->
^^^^^
Warning 27 [unused-var-strict]: unused variable fargs.
File "ocaml/alba1/ast.ml", line 418, characters 18-21:
418 | | QExp (fargs,fgs,t0,_) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/ast.ml", line 418, characters 22-24:
418 | | QExp (fargs,fgs,t0,_) ->
^^
Warning 27 [unused-var-strict]: unused variable t0.
File "ocaml/alba1/ast.ml", line 426, characters 16-19:
426 | | Asexp (t, tps, pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/ast.ml", line 426, characters 21-24:
426 | | Asexp (t, tps, pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/ast.ml", line 454, characters 14-15:
454 | | Indset (n,nms,rs) ->
^
Warning 27 [unused-var-strict]: unused variable n.
File "ocaml/alba1/ast.ml", line 454, characters 16-19:
454 | | Indset (n,nms,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/ast.ml", line 454, characters 20-22:
454 | | Indset (n,nms,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable rs.
File "ocaml/alba1/ast.ml", line 553, characters 9-12:
553 | | Some bdy, Some exp ->
^^^
Warning 27 [unused-var-strict]: unused variable bdy.
File "ocaml/alba1/ast.ml", line 553, characters 19-22:
553 | | Some bdy, Some exp ->
^^^
Warning 27 [unused-var-strict]: unused variable exp.
File "ocaml/alba1/ast.ml", line 561, characters 5-7:
561 | (pc: Proof_context.t): Feature.implementation =
^^
Warning 27 [unused-var-strict]: unused variable pc.
File "ocaml/alba1/ast.ml", line 688, characters 49-52:
688 | let add_case_inversion_as (idx1:int) (idx2:int) (cls:int) (pc:PC.t): unit =
^^^
Warning 27 [unused-var-strict]: unused variable cls.
File "ocaml/alba1/ast.ml", line 844, characters 16-19:
844 | | VAppl(i,ags,_,_) when i = cls + ntvs ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/source_prover.cmx -c -impl ocaml/alba1/source_prover.ml)
File "ocaml/alba1/source_prover.ml", line 9, characters 0-14:
9 | open Signature
^^^^^^^^^^^^^^
Warning 33 [unused-open]: unused open Signature.
File "ocaml/alba1/source_prover.ml", line 10, characters 0-10:
10 | open Proof
^^^^^^^^^^
Warning 33 [unused-open]: unused open Proof.
File "ocaml/alba1/source_prover.ml", line 63, characters 4-21:
63 | let get_term_verified
^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value get_term_verified.
File "ocaml/alba1/source_prover.ml", line 122, characters 4-22:
122 | let prove_insert_close (goal:info_term) (pc:PC.t): int =
^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value prove_insert_close.
File "ocaml/alba1/source_prover.ml", line 160, characters 4-14:
160 | let prove_goal (goal: info_term) (pc:PC.t): unit =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value prove_goal.
File "ocaml/alba1/source_prover.ml", line 191, characters 24-27:
191 | | Application(Lam(tps,fgs,_,t0,rt), args, _) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/source_prover.ml", line 191, characters 33-35:
191 | | Application(Lam(tps,fgs,_,t0,rt), args, _) ->
^^
Warning 27 [unused-var-strict]: unused variable rt.
File "ocaml/alba1/source_prover.ml", line 366, characters 20-24:
366 | let tps,_,ps_rev0,tgt0 =
^^^^
Warning 27 [unused-var-strict]: unused variable tgt0.
File "ocaml/alba1/source_prover.ml", line 379, characters 22-24:
379 | | Application (gp, [|VAppl(i,args,ags,oo)|], _)
^^
Warning 27 [unused-var-strict]: unused variable gp.
File "ocaml/alba1/source_prover.ml", line 405, characters 5-7:
405 | (tp: type_term) (* type of the induction variable *)
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/source_prover.ml", line 406, characters 5-14:
406 | (goal_pred:term)
^^^^^^^^^
Warning 27 [unused-var-strict]: unused variable goal_pred.
File "ocaml/alba1/source_prover.ml", line 494, characters 5-16:
494 | (nvars_total: int) (* number of variables in the used contexts *)
^^^^^^^^^^^
Warning 27 [unused-var-strict]: unused variable nvars_total.
File "ocaml/alba1/source_prover.ml", line 566, characters 16-19:
566 | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/source_prover.ml", line 614, characters 6-10:
614 | let vlst,elst =
^^^^
Warning 27 [unused-var-strict]: unused variable vlst.
File "ocaml/alba1/source_prover.ml", line 654, characters 20-26:
654 | let set_expanded, set_tp, rules = inductive_set info set c in
^^^^^^
Warning 27 [unused-var-strict]: unused variable set_tp.
File "ocaml/alba1/source_prover.ml", line 716, characters 4-14:
716 | let type_cases
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value type_cases.
File "ocaml/alba1/source_prover.ml", line 839, characters 4-21:
839 | let error_string_case (ps_rev:term list) (goal:term) (pc:PC.t): string =
^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value error_string_case.
File "ocaml/alba1/source_prover.ml", line 878, characters 30-39:
878 | let fargs2,fgs2,ps_rev2,user_goal =
^^^^^^^^^
Warning 27 [unused-var-strict]: unused variable user_goal.
File "ocaml/alba1/source_prover.ml", line 1024, characters 6-8:
1024 | let n1,fargs1,ps,goal_pred1 =
^^
Warning 27 [unused-var-strict]: unused variable n1.
File "ocaml/alba1/source_prover.ml", line 1404, characters 28-31:
1404 | with Proof.Proof_failed msg ->
^^^
Warning 27 [unused-var-strict]: unused variable msg.
File "ocaml/alba1/source_prover.ml", line 1416, characters 5-9:
1416 | (info:info)
^^^^
Warning 27 [unused-var-strict]: unused variable info.
File "ocaml/alba1/source_prover.ml", line 1479, characters 23-25:
1479 | (fun (eq1,eq) -> ignore(PC.add_assumption eq1 true pc1))
^^
Warning 27 [unused-var-strict]: unused variable eq.
File "ocaml/alba1/source_prover.ml", line 1490, characters 23-26:
1490 | (fun idx (eq1,eq) ->
^^^
Warning 27 [unused-var-strict]: unused variable eq1.
File "ocaml/alba1/source_prover.ml", line 1623, characters 5-9:
1623 | (ivar:int) (* induction variable *)
^^^^
Warning 27 [unused-var-strict]: unused variable ivar.
File "ocaml/alba1/source_prover.ml", line 1848, characters 28-31:
1848 | with Proof.Proof_failed msg ->
^^^
Warning 27 [unused-var-strict]: unused variable msg.
File "ocaml/alba1/source_prover.ml", line 1859, characters 26-29:
1859 | with Proof.Proof_failed msg ->
^^^
Warning 27 [unused-var-strict]: unused variable msg.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/feature_table.cmx -c -impl ocaml/alba1/feature_table.ml)
File "ocaml/alba1/feature_table.ml", line 30, characters 0-22:
30 | type definition = term
^^^^^^^^^^^^^^^^^^^^^^
Warning 34 [unused-type-declaration]: unused type definition.
File "ocaml/alba1/feature_table.ml", line 42, characters 10-14:
42 | object (self:'self)
^^^^
Warning 27 [unused-var-strict]: unused variable self.
File "ocaml/alba1/feature_table.ml", line 158, characters 6-9:
158 | let tvs,s = signature0 i ft in
^^^
Warning 27 [unused-var-strict]: unused variable tvs.
File "ocaml/alba1/feature_table.ml", line 164, characters 6-9:
164 | let tvs,s = signature0 i ft in
^^^
Warning 27 [unused-var-strict]: unused variable tvs.
File "ocaml/alba1/feature_table.ml", line 233, characters 4-13:
233 | let has_owner (i:int) (ft:t): bool =
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value has_owner.
File "ocaml/alba1/feature_table.ml", line 422, characters 14-17:
422 | | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/feature_table.ml", line 422, characters 18-20:
422 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/feature_table.ml", line 432, characters 40-42:
432 | let args_of_tuple (t:term) (nbenv:int) (ft:t): term array =
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 450, characters 62-64:
450 | (i:int) (n:int) (t:term) (tup_tp:type_term) (nvars:int) (ft:t)
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 468, characters 20-22:
468 | let elem (i:int) (tp:type_term): term =
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/feature_table.ml", line 554, characters 50-52:
554 | (args:arguments) (tup_tp:type_term) (nb:int) (ft:t)
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 582, characters 7-12:
582 | (nvars:int) (ntvs:int)
^^^^^
Warning 27 [unused-var-strict]: unused variable nvars.
File "ocaml/alba1/feature_table.ml", line 582, characters 19-23:
582 | (nvars:int) (ntvs:int)
^^^^
Warning 27 [unused-var-strict]: unused variable ntvs.
File "ocaml/alba1/feature_table.ml", line 583, characters 7-9:
583 | (ft:t)
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 649, characters 5-9:
649 | (norm:bool)
^^^^
Warning 27 [unused-var-strict]: unused variable norm.
File "ocaml/alba1/feature_table.ml", line 667, characters 7-13:
667 | (is_fun: bool)
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_fun.
File "ocaml/alba1/feature_table.ml", line 911, characters 20-22:
911 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/feature_table.ml", line 926, characters 20-26:
926 | let _,iprec,iassoc = operator_data iop
^^^^^^
Warning 27 [unused-var-strict]: unused variable iassoc.
File "ocaml/alba1/feature_table.ml", line 959, characters 4-28:
959 | let string_long_of_term_anon (t:term) (nb:int) (tvs:Tvars.t) (ft:t): string =
^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_long_of_term_anon.
File "ocaml/alba1/feature_table.ml", line 1430, characters 5-6:
1430 | (i:int) (fidx:int) (nb:int) (args:term array) (ft:t): term =
^
Warning 27 [unused-var-strict]: unused variable i.
File "ocaml/alba1/feature_table.ml", line 1430, characters 33-37:
1430 | (i:int) (fidx:int) (nb:int) (args:term array) (ft:t): term =
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/feature_table.ml", line 1430, characters 51-53:
1430 | (i:int) (fidx:int) (nb:int) (args:term array) (ft:t): term =
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 1504, characters 18-21:
1504 | | Asexp (insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/feature_table.ml", line 1504, characters 22-25:
1504 | | Asexp (insp,tps,pat) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/feature_table.ml", line 1509, characters 21-24:
1509 | (fun (fs,pat,res) ->
^^^
Warning 27 [unused-var-strict]: unused variable pat.
File "ocaml/alba1/feature_table.ml", line 1536, characters 4-16:
1536 | let is_predicate (i:int) (ft:t): bool =
^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_predicate.
File "ocaml/alba1/feature_table.ml", line 1594, characters 15-17:
1594 | | Lam (tps,_,ps,t0,_) ->
^^
Warning 27 [unused-var-strict]: unused variable ps.
File "ocaml/alba1/feature_table.ml", line 1596, characters 14-17:
1596 | | QExp (tps,fgs,t0,is_all) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/feature_table.ml", line 1596, characters 21-27:
1596 | | QExp (tps,fgs,t0,is_all) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_all.
File "ocaml/alba1/feature_table.ml", line 1693, characters 4-20:
1693 | let names_of_formals (farr: formal array): int array =
^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value names_of_formals.
File "ocaml/alba1/feature_table.ml", line 1696, characters 4-20:
1696 | let terms_of_formals (farr: formal array): term array =
^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value terms_of_formals.
File "ocaml/alba1/feature_table.ml", line 1765, characters 11-18:
1765 | let ivar,ags_var = variant_feature i 0 ags_sd tvs ft
^^^^^^^
Warning 27 [unused-var-strict]: unused variable ags_var.
File "ocaml/alba1/feature_table.ml", line 1831, characters 4-12:
1831 | let add_keys (ft:t): unit =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value add_keys.
File "ocaml/alba1/feature_table.ml", line 2402, characters 12-15:
2402 | (fun (exp,ghost_reco0) -> Term.equivalent ghost_reco ghost_reco0)
^^^
Warning 27 [unused-var-strict]: unused variable exp.
File "ocaml/alba1/feature_table.ml", line 2541, characters 19-22:
2541 | | VAppl(i,args,ags,_) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/feature_table.ml", line 2919, characters 18-21:
2919 | (npat:int) (tps:tplst) (pat:term)
^^^
Warning 27 [unused-var-strict]: unused variable tps.
File "ocaml/alba1/feature_table.ml", line 2976, characters 21-24:
2976 | (fun lst (fs,pat,res) ->
^^^
Warning 27 [unused-var-strict]: unused variable res.
File "ocaml/alba1/feature_table.ml", line 3043, characters 38-40:
3043 | let collect_called (t:term) (nb:int) (ft:t): IntSet.t =
^^
Warning 27 [unused-var-strict]: unused variable ft.
File "ocaml/alba1/feature_table.ml", line 3054, characters 19-22:
3054 | | VAppl(i,args,ags,_) ->
^^^
Warning 27 [unused-var-strict]: unused variable ags.
File "ocaml/alba1/feature_table.ml", line 3061, characters 19-23:
3061 | | Lam (tps, _, pres, t0, _) ->
^^^^
Warning 27 [unused-var-strict]: unused variable pres.
File "ocaml/alba1/feature_table.ml", line 3063, characters 18-21:
3063 | | QExp (args, fgs, t0, is_all) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/feature_table.ml", line 3063, characters 27-33:
3063 | | QExp (args, fgs, t0, is_all) ->
^^^^^^
Warning 27 [unused-var-strict]: unused variable is_all.
File "ocaml/alba1/feature_table.ml", line 3077, characters 14-17:
3077 | | Indset (nme,tp,rs) ->
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/feature_table.ml", line 3077, characters 18-20:
3077 | | Indset (nme,tp,rs) ->
^^
Warning 27 [unused-var-strict]: unused variable tp.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/proof_context.cmx -c -impl ocaml/alba1/proof_context.ml)
File "ocaml/alba1/proof_context.ml", lines 170-171, characters 2-5:
170 | ..(** The [i]th proved term in the current environment.
171 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 632-633, characters 2-5:
632 | ..(** Is the term [t] already in the proof context [pc]?
633 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 1706-1708, characters 2-5:
1706 | ..(** Add the consequences of the term [i] by using the term as a premise for
1707 | already available implications.
1708 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 1856-1857, characters 2-5:
1856 | ..(** Add the term [t] as an assumption or an axiom to the context [pc].
1857 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 1874-1875, characters 2-5:
1874 | ..(** Add the term [t] as an assumption to the context [pc].
1875 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 1881-1882, characters 2-5:
1881 | ..(** Add the term [t] as an axiom to the context [pc].
1882 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 2196-2198, characters 2-5:
2196 | ..(** Add the consequences of the term [i] which are not yet in the proof
2197 | context [pc] to the proof context and to the work items.
2198 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 2751-2753, characters 2-5:
2751 | ..(** The [i]th term of the current environment with all local variables and
2752 | assumptions discharged together with its proof term.
2753 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", lines 2758-2760, characters 2-5:
2758 | ..(** The [i]th term of the current environment with all local variables and
2759 | assumptions discharged together with its proof term.
2760 | *)
Warning 50 [unexpected-docstring]: unattached documentation comment (ignored)
File "ocaml/alba1/proof_context.ml", line 145, characters 4-29:
145 | let count_last_type_variables (pc:t): int =
^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value count_last_type_variables.
File "ocaml/alba1/proof_context.ml", line 167, characters 4-10:
167 | let imp_id(pc:t): int = Proof_table.imp_id pc.base
^^^^^^
Warning 32 [unused-value-declaration]: unused value imp_id.
File "ocaml/alba1/proof_context.ml", line 187, characters 4-13:
187 | let trace_pop (pc:t): unit =
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value trace_pop.
File "ocaml/alba1/proof_context.ml", line 292, characters 4-24:
292 | let is_fully_specialized (idx:int) (pc:t): bool =
^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_fully_specialized.
File "ocaml/alba1/proof_context.ml", line 335, characters 4-24:
335 | let string_of_term_array (args: term array) (pc:t): string =
^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_term_array.
File "ocaml/alba1/proof_context.ml", line 344, characters 4-17:
344 | let string_of_tvs (pc:t): string =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_tvs.
File "ocaml/alba1/proof_context.ml", line 351, characters 4-17:
351 | let string_of_ags (ags:agens) (pc:t): string =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_ags.
File "ocaml/alba1/proof_context.ml", line 393, characters 4-18:
393 | let all_quantified (tps:Formals.t) (fgs:Formals.t) (t:term) (pc:t): term =
^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value all_quantified.
File "ocaml/alba1/proof_context.ml", line 477, characters 4-14:
477 | let clear_work (pc:t): unit =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value clear_work.
File "ocaml/alba1/proof_context.ml", line 612, characters 10-13:
612 | let idx,sub =
^^^
Warning 27 [unused-var-strict]: unused variable sub.
File "ocaml/alba1/proof_context.ml", line 641, characters 4-15:
641 | let has_in_view (t:term) (pc:t): bool =
^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value has_in_view.
File "ocaml/alba1/proof_context.ml", line 846, characters 7-10:
846 | | [idx,sub] ->
^^^
Warning 27 [unused-var-strict]: unused variable idx.
File "ocaml/alba1/proof_context.ml", line 846, characters 11-14:
846 | | [idx,sub] ->
^^^
Warning 27 [unused-var-strict]: unused variable sub.
File "ocaml/alba1/proof_context.ml", line 908, characters 4-17:
908 | let filter_tables (pred:int->bool) (pc:t): unit =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value filter_tables.
File "ocaml/alba1/proof_context.ml", line 993, characters 4-20:
993 | let arguments_of_sub (sub:Term_sub.t): term array =
^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value arguments_of_sub.
File "ocaml/alba1/proof_context.ml", line 1065, characters 19-23:
1065 | | (idx,_,ags):: tail ->
^^^^
Warning 27 [unused-var-strict]: unused variable tail.
File "ocaml/alba1/proof_context.ml", line 1179, characters 4-17:
1179 | let triggers_eval (i:int) (nb:int) (pc:t): bool =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value triggers_eval.
File "ocaml/alba1/proof_context.ml", line 1242, characters 4-9:
1242 | let arity (i:int) (nb:int) (pc:t): int =
^^^^^
Warning 32 [unused-value-declaration]: unused value arity.
File "ocaml/alba1/proof_context.ml", line 1259, characters 4-25:
1259 | let string_of_term_option (t:term option) (pc:t): string =
^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value string_of_term_option.
File "ocaml/alba1/proof_context.ml", line 1289, characters 47-51:
1289 | | VAppl (i,[|Lam(tps,fgs,pres,t0,rt)|],ags,inop) when i = domain_id ->
^^^^
Warning 27 [unused-var-strict]: unused variable inop.
File "ocaml/alba1/proof_context.ml", line 1296, characters 27-30:
1296 | | Application (Lam(tps,fgs,_,t0,_), args, inop) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/proof_context.ml", line 1296, characters 46-50:
1296 | | Application (Lam(tps,fgs,_,t0,_), args, inop) ->
^^^^
Warning 27 [unused-var-strict]: unused variable inop.
File "ocaml/alba1/proof_context.ml", line 1347, characters 7-8:
1347 | (t:term) (i:int) (args:arguments) (ags:agens) (oo:bool)
^
Warning 27 [unused-var-strict]: unused variable t.
File "ocaml/alba1/proof_context.ml", line 1358, characters 12-15:
1358 | let n,nms,t0 = definition_term i 0 ags pc
^^^
Warning 27 [unused-var-strict]: unused variable nms.
File "ocaml/alba1/proof_context.ml", line 1498, characters 21-25:
1498 | | Some ( Ok (args,pres) ) ->
^^^^
Warning 27 [unused-var-strict]: unused variable args.
File "ocaml/alba1/proof_context.ml", line 1581, characters 24-27:
1581 | | Application(Lam(tps,fgs,_,t0,_), [|arg|], _) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/proof_context.ml", line 1613, characters 24-27:
1613 | | Application(Lam(tps,fgs,_,t0,_), [|arg|], _) ->
^^^
Warning 27 [unused-var-strict]: unused variable fgs.
File "ocaml/alba1/proof_context.ml", line 1731, characters 42-44:
1731 | let add_consequences_implication (i:int) (rd:RD.t) (pc:t): unit =
^^
Warning 27 [unused-var-strict]: unused variable rd.
File "ocaml/alba1/proof_context.ml", line 1938, characters 29-32:
1938 | let add_inductive_set_rules (fwd:bool) (t:term) (pc:t): unit =
^^^
Warning 27 [unused-var-strict]: unused variable fwd.
File "ocaml/alba1/proof_context.ml", line 1943, characters 12-15:
1943 | let nme,tp,rs =
^^^
Warning 27 [unused-var-strict]: unused variable nme.
File "ocaml/alba1/proof_context.ml", line 1943, characters 16-18:
1943 | let nme,tp,rs =
^^
Warning 27 [unused-var-strict]: unused variable tp.
File "ocaml/alba1/proof_context.ml", line 2106, characters 8-13:
2106 | let eq_id, left, right = equality_data i pc in
^^^^^
Warning 27 [unused-var-strict]: unused variable eq_id.
File "ocaml/alba1/proof_context.ml", line 2225, characters 4-10:
2225 | let prefix (pc:t): string = String.make (2*(depth pc)+2) ' '
^^^^^^
Warning 32 [unused-value-declaration]: unused value prefix.
File "ocaml/alba1/proof_context.ml", line 2281, characters 4-14:
2281 | let print_work (pc:t): unit =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value print_work.
File "ocaml/alba1/proof_context.ml", line 2310, characters 4-11:
2310 | let variant (i:int) (bcls:int) (cls:int) (pc:t): term =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value variant.
File "ocaml/alba1/proof_context.ml", line 2341, characters 4-21:
2341 | let predicate_of_term (t:term) (pc:t): type_term =
^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value predicate_of_term.
File "ocaml/alba1/proof_context.ml", line 2473, characters 33-36:
2473 | let idx,args = List.find (fun (idx,args) -> Array.length args = nargs) sublst
^^^
Warning 27 [unused-var-strict]: unused variable idx.
File "ocaml/alba1/proof_context.ml", line 2581, characters 31-34:
2581 | let tps,fgs,ps_rev,tgt =
^^^
Warning 27 [unused-var-strict]: unused variable tgt.
File "ocaml/alba1/proof_context.ml", line 2765, characters 4-17:
2765 | let is_proof_pair (t:term) (pt:proof_term) (pc:t): bool =
^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_proof_pair.
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -warn-error -A -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-0a4a99c921bd2ecbe821e2c57ac55aa8/target/lib/ocaml/unix -I ../_private/default/.pkg/base/target/lib/base -I ../_private/default/.pkg/base/target/lib/base/base_internalhash_types -I ../_private/default/.pkg/base/target/lib/base/shadow_stdlib -I ../_private/default/.pkg/jane-street-headers/target/lib/jane-street-headers -I ../_private/default/.pkg/ocaml_intrinsics_kernel/target/lib/ocaml_intrinsics_kernel -I ../_private/default/.pkg/ppx_compare/target/lib/ppx_compare/runtime-lib -I ../_private/default/.pkg/ppx_enumerate/target/lib/ppx_enumerate/runtime-lib -I ../_private/default/.pkg/ppx_hash/target/lib/ppx_hash/runtime-lib -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/config -I ../_private/default/.pkg/ppx_inline_test/target/lib/ppx_inline_test/runtime-lib -I ../_private/default/.pkg/ppx_sexp_conv/target/lib/ppx_sexp_conv/runtime-lib -I ../_private/default/.pkg/sexplib0/target/lib/sexplib0 -I ../_private/default/.pkg/time_now/target/lib/time_now -I ocaml/fmlib/basic/.fmlib.objs/byte -I ocaml/fmlib/basic/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o ocaml/alba1/.alba.eobjs/native/parser.cmx -c -impl ocaml/alba1/parser.ml)
File "ocaml/alba1/parser.mly", line 9, characters 0-11:
Warning 33 [unused-open]: unused open Stdlib.Printf.
File "ocaml/alba1/parser.mly", line 10, characters 0-14:
Warning 33 [unused-open]: unused open Container.
File "ocaml/alba1/parser.mly", line 16, characters 4-15:
Warning 32 [unused-value-declaration]: unused value parse_error.
File "ocaml/alba1/parser.mly", line 19, characters 4-9:
Warning 32 [unused-value-declaration]: unused value cinfo.
File "ocaml/alba1/parser.mly", line 25, characters 4-16:
Warning 32 [unused-value-declaration]: unused value syntax_error.
File "ocaml/alba1/parser.mly", line 81, characters 9-12:
Warning 27 [unused-var-strict]: unused variable lst.
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source alba.0.4.4 && cd alba.0.4.4 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default ))
(repository
(name default)
(url "git+https://github.com/ocaml/opam-repository.git"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs