Building on fall
(from freebsd-ocaml-5.0)
2023-11-01 01:14.59 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-11-01 01:14.59 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" 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 7b4cedddee88c79d6bdb00eccf7b36a7b617b211"))
2023-11-01 01:14.59 ---> using "ceda9c602c42ecee62840706a0356388ac8fe9b4284a02972fb121a316518aa6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-11-01 01:15.00 ---> using "3d69dd19638d580f9a84afa315c8a62fa2810666d83257cb65ea0af54a8f6211" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-11-01 01:15.00 ---> using "c4e27f19fd975d5c280de43fa93fccc258b31be75c65928c8e9a19b3e947d35b" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-11-01 01:15.00 ---> using "82fdb51c9bff51a089d72b27d56db2f7612532ea8873173b74f5196406d22ee8" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"elpi.1.18.0\"\
\nopam install -vy \"elpi.1.18.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"elpi.1.18.0\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] elpi.1.18.0 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 3.11.1 [required by elpi]
- install cmdliner 1.2.0 [required by atdts]
- install ocamlfind 1.9.6 [required by ppx_deriving]
- install seq base [required by re, yojson]
- install stdlib-shims 0.3.0 [required by elpi]
- install sexplib0 v0.16.0 [required by ppxlib]
- install result 1.5 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by menhir]
- install easy-format 1.3.4 [required by atd]
- install cppo 1.6.9 [required by ppx_deriving]
- install camlp-streams 5.0.1 [required by biniou]
- install re 1.11.0 [required by elpi]
- install ppxlib 0.31.0 [required by elpi]
- install menhir 20230608 [required by elpi]
- install yojson 2.1.1 [required by atdgen]
- install biniou 1.2.2 [required by atdgen]
- install ppx_deriving 5.2.1 [required by elpi]
- install atd 2.15.0 [required by atdgen, atdts]
- install atdgen-runtime 2.15.0 [required by atdgen]
- install atdts 2.15.0 [required by elpi]
- install atdgen 2.15.0 [required by elpi]
- install elpi 1.18.0
===== 25 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/75:
Processing 2/75:
Processing 3/75:
-> retrieved atdgen.2.15.0 (cached)
Processing 4/75:
-> retrieved atdgen-runtime.2.15.0 (cached)
Processing 5/75:
-> retrieved atd.2.15.0 (cached)
Processing 6/75:
-> retrieved biniou.1.2.2 (cached)
Processing 7/75:
-> retrieved camlp-streams.5.0.1 (cached)
Processing 8/75:
-> retrieved atdts.2.15.0 (cached)
Processing 9/75:
-> retrieved cppo.1.6.9 (cached)
Processing 10/75:
-> retrieved cmdliner.1.2.0 (cached)
Processing 11/75:
Processing 12/75: [cmdliner: gmake all]
-> retrieved elpi.1.18.0 (cached)
Processing 13/75: [cmdliner: gmake all]
-> retrieved easy-format.1.3.4 (cached)
Processing 14/75: [cmdliner: gmake all]
-> retrieved dune.3.11.1 (cached)
Processing 15/75: [cmdliner: gmake all]
Processing 16/75: [cmdliner: gmake all] [dune: ocaml 39]
-> retrieved menhirSdk.20230608 (cached)
Processing 17/75: [cmdliner: gmake all] [dune: ocaml 39]
-> retrieved menhirLib.20230608 (cached)
Processing 18/75: [cmdliner: gmake all] [dune: ocaml 39]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 19/75: [cmdliner: gmake all] [dune: ocaml 39]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 20/75: [cmdliner: gmake all] [dune: ocaml 39]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 21/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: patch]
-> retrieved ppx_deriving.5.2.1 (cached)
Processing 22/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: patch]
Processing 22/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 23/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved menhir.20230608 (cached)
Processing 24/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved re.1.11.0 (cached)
Processing 25/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
Processing 26/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
Processing 27/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> installed seq.base
Processing 28/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved result.1.5 (cached)
Processing 29/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved sexplib0.v0.16.0 (cached)
Processing 30/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved yojson.2.1.1 (cached)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /usr/home/opam/.opam/4.14.1/lib
- The configuration file is written to:
- findlib config file: /usr/home/opam/.opam/4.14.1/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- topfind script: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 30/75: [cmdliner: gmake all] [dune: ocaml 39] [ocamlfind: gmake all]
-> retrieved ppxlib.0.31.0 (cached)
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.2.0
Processing 30/75: [dune: ocaml 39] [ocamlfind: gmake all]
Processing 31/75: [dune: ocaml 39] [ocamlfind: gmake all] [cmdliner: gmake install]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/usr/home/opam/.opam/4.14.1/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/4.14.1/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' | \
- tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/4.14.1/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
Processing 31/75: [dune: ocaml 39] [ocamlfind: gmake opt] [cmdliner: gmake install]
- install -d "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install cmdliner.opam "/usr/home/opam/.opam/4.14.1/lib/cmdliner/opam"
- install _build/cmdliner.cma "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
- "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxs "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
Processing 31/75: [dune: ocaml 39] [ocamlfind: gmake opt] [cmdliner: gmake install-doc]
- install -d "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
- install CHANGES.md LICENSE.md README.md "/usr/home/opam/.opam/4.14.1/doc/cmdliner"
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
-> installed cmdliner.1.2.0
Processing 31/75: [dune: ocaml 39] [ocamlfind: gmake opt]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 31/75: [dune: ocaml 39]
Processing 32/75: [dune: ocaml 39] [ocamlfind: gmake install]
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/usr/home/opam/.opam/4.14.1/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/4.14.1/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- install -d "/usr/home/opam/.opam/4.14.1/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/usr/home/opam/.opam/4.14.1/lib/findlib.conf\"`"
- test -f "/usr/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/4.14.1/lib/findlib.conf"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- test 1 -eq 0 || install -d "/usr/home/opam/.opam/4.14.1/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/4.14.1/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/usr/home/opam/.opam/4.14.1/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/usr/home/opam/.opam/4.14.1/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/4.14.1/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/usr/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/usr/home/opam/.opam/4.14.1/lib/$x/META"; done
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/usr/home/opam/.opam/4.14.1/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/usr/home/opam/.opam/4.14.1/man/man1" "/usr/home/opam/.opam/4.14.1/man/man3" "/usr/home/opam/.opam/4.14.1/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/4.14.1/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/usr/home/opam/.opam/4.14.1/man/man5"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 32/75: [dune: ocaml 39]
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 39
-
Processing 32/75: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1)
-> compiled dune.3.11.1
-> installed dune.3.11.1
Processing 34/75: [camlp-streams: dune build]
Processing 35/75: [camlp-streams: dune build] [cppo: dune build]
Processing 36/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build]
Processing 37/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build]
Processing 38/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 39/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build]
Processing 40/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 41/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build]
Processing 42/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build]
Processing 43/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build]
Processing 44/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled ppx_derivers.1.2.1
Processing 44/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed ppx_derivers.1.2.1
Processing 45/75: [camlp-streams: dune build] [cppo: dune build] [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled easy-format.1.3.4
Processing 45/75: [camlp-streams: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed easy-format.1.3.4
Processing 46/75: [camlp-streams: dune build] [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20230608
Processing 46/75: [camlp-streams: dune build] [cppo: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed menhirLib.20230608
Processing 47/75: [camlp-streams: dune build] [cppo: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> compiled cppo.1.6.9
Processing 47/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed cppo.1.6.9
Processing 48/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 49/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> compiled stdlib-shims.0.3.0
Processing 49/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed stdlib-shims.0.3.0
Processing 50/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [result: dune build] [sexplib0: dune build] [yojson: dune build]
-> compiled result.1.5
Processing 50/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed result.1.5
Processing 51/75: [camlp-streams: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build] [yojson: dune build]
-> compiled menhirSdk.20230608
Processing 51/75: [camlp-streams: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed menhirSdk.20230608
Processing 52/75: [camlp-streams: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build] [yojson: dune build]
Processing 53/75: [camlp-streams: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [sexplib0: dune build] [yojson: dune build]
-> compiled sexplib0.v0.16.0
Processing 53/75: [camlp-streams: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [yojson: dune build]
-> installed sexplib0.v0.16.0
Processing 54/75: [camlp-streams: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [re: dune build] [yojson: dune build]
-> compiled re.1.11.0
Processing 54/75: [camlp-streams: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
-> installed re.1.11.0
Processing 55/75: [camlp-streams: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
-> compiled ocaml-compiler-libs.v0.12.4
Processing 55/75: [camlp-streams: dune build] [menhir: dune build] [yojson: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 56/75: [camlp-streams: dune build] [menhir: dune build] [yojson: dune build]
Processing 57/75: [camlp-streams: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled camlp-streams.5.0.1
Processing 57/75: [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
-> installed camlp-streams.5.0.1
Processing 58/75: [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
Processing 59/75: [biniou: dune build] [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
-> compiled yojson.2.1.1
Processing 59/75: [biniou: dune build] [menhir: dune build] [ppxlib: dune build]
-> installed yojson.2.1.1
Processing 60/75: [biniou: dune build] [menhir: dune build] [ppxlib: dune build]
-> compiled biniou.1.2.2
Processing 60/75: [menhir: dune build] [ppxlib: dune build]
-> installed biniou.1.2.2
Processing 61/75: [menhir: dune build] [ppxlib: dune build]
Processing 62/75: [atdgen-runtime: dune build] [menhir: dune build] [ppxlib: dune build]
-> compiled atdgen-runtime.2.15.0
Processing 62/75: [menhir: dune build] [ppxlib: dune build]
-> installed atdgen-runtime.2.15.0
Processing 63/75: [menhir: dune build] [ppxlib: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20230608
Processing 63/75: [ppxlib: dune build]
-> installed menhir.20230608
Processing 64/75: [ppxlib: dune build]
Processing 65/75: [atd: dune build] [ppxlib: dune build]
-> compiled ppxlib.0.31.0
Processing 65/75: [atd: dune build]
-> installed ppxlib.0.31.0
Processing 66/75: [atd: dune build]
Processing 67/75: [atd: dune build] [ppx_deriving: dune build]
-> compiled atd.2.15.0
Processing 67/75: [ppx_deriving: dune build]
-> installed atd.2.15.0
Processing 68/75: [ppx_deriving: dune build]
Processing 69/75: [atdgen: dune build] [ppx_deriving: dune build]
Processing 70/75: [atdgen: dune build] [atdts: dune build] [ppx_deriving: dune build]
-> compiled atdts.2.15.0
Processing 70/75: [atdgen: dune build] [ppx_deriving: dune build]
-> installed atdts.2.15.0
Processing 71/75: [atdgen: dune build] [ppx_deriving: dune build]
-> compiled ppx_deriving.5.2.1
Processing 71/75: [atdgen: dune build]
-> installed ppx_deriving.5.2.1
Processing 72/75: [atdgen: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "atdgen" "-j" "39" "@install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/atdgen.2.15.0)
-> compiled atdgen.2.15.0
-> installed atdgen.2.15.0
Processing 74/75: [elpi: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "elpi" "-j" "39" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/elpi.1.18.0)
- (cd _build/default/src/parser && /usr/home/opam/.opam/4.14.1/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml
- Read 319 sample input sentences and 40 error messages.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml)
- File "src/API.ml", line 435, characters 8-18:
- 435 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 493, characters 8-18:
- 493 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1064, characters 4-14:
- 1064 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1075, characters 7-16:
- 1075 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_parser.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime_trace_off.cmx -c -impl src/runtime_trace_off.pp.ml)
- File "src/runtime_trace_off.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime_trace_off.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Runtime.cmx -c -impl src/runtime.pp.ml)
- File "src/runtime.ml", line 1729, characters 14-31:
- 1729 | match eta_contract_flex depth adepth bdepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1749, characters 14-31:
- 1749 | match eta_contract_flex depth bdepth bdepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1795, characters 15-22:
- 1795 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1811, characters 28-35:
- 1811 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1824, characters 15-22:
- 1824 | match is_flex (adepth+depth) other with
- ^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 1867, characters 8-25:
- 1867 | match eta_contract_flex depth adepth adepth e a with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 1877, characters 8-25:
- 1877 | match eta_contract_flex depth bdepth adepth e b with
- ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/runtime.ml", line 3593, characters 21-32:
- 3593 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3598, characters 21-32:
- 3598 | let clauses = get_clauses depth k g p in
- ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
- File "src/runtime.ml", line 3639, characters 12-18:
- 3639 | T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
- ^^^^^^
- Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
- (cd _build/default && /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /usr/home/opam/.opam/4.14.1/lib/menhirLib -I /usr/home/opam/.opam/4.14.1/lib/ppx_deriving/runtime -I /usr/home/opam/.opam/4.14.1/lib/re -I /usr/home/opam/.opam/4.14.1/lib/re/str -I /usr/home/opam/.opam/4.14.1/lib/result -I /usr/home/opam/.opam/4.14.1/lib/seq -I /usr/home/opam/.opam/4.14.1/lib/stdlib-shims -I src/parser/.elpi_lexer_config.objs/byte -I src/parser/.elpi_lexer_config.objs/native -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__API.cmx -c -impl src/API.pp.ml)
- File "src/API.ml", line 435, characters 8-18:
- 435 | Pp.uppterm d [] d ED.empty_env fmt t);
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 493, characters 8-18:
- 493 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1064, characters 4-14:
- 1064 | Pp.uppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
- File "src/API.ml", line 1075, characters 7-16:
- 1075 | Pp.ppterm depth [] 0 ED.empty_env fmt t
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
-> compiled elpi.1.18.0
-> installed elpi.1.18.0
Done.
2023-11-01 01:17.58 ---> saved as "179eb53e1df3f35ff1790020204eb315564eec45a2a9aceddf3d41db66f60a7f"
Job succeeded
Home|Differences with the last checks|Previous runs