Build:
- 0
2026-06-16 16:40.39: New job: build elpi.1.16.10 (c3f5a227bb1d) 2026-06-16 16:40.39: Waiting for resource in pool day11-builds 2026-06-16 17:16.17: Got resource from pool day11-builds 2026-06-16 17:16.17: [profile full] build elpi.1.16.10 2026-06-16 17:16.17: build elpi.1.16.10 (c3f5a227bb1d) === DEPENDENCIES (31 transitive) === atd.2.16.0 d7c83505aed5 atdgen.2.15.0 4fc588a36481 atdgen-runtime.2.16.0 d6dafa7f04b9 atdts.3.0.1 8dceb4251517 base-threads.base b7164ff76afe base-unix.base 839dc585f12d biniou.1.2.2 ce7f9bad95dc camlp-streams.5.0.1 0ba8db057bd1 cmdliner.2.1.1 31028e9aa5d7 cppo.1.8.0 419078d7d6b0 dune.3.23.1 433683e90514 easy-format.1.3.4 02f7ca84b3a8 menhir.20260209 db1e576d09fc menhirCST.20260209 5ae1ce0e3cc9 menhirGLR.20260209 a21348cfb497 menhirLib.20260209 643af17924e0 menhirSdk.20260209 3c82faacb8b3 ocaml.5.3.0 f3f5cb82ec5e ocaml-base-compiler.5.3.0 3282792848d7 ocaml-compiler.5.3.0 ec781058d2f3 ocaml-compiler-libs.v0.17.0 8c25585cc677 ocaml-config.3 0df636be409d ocamlfind.1.9.8 814b8d0197a7 ppx_derivers.1.2.1 ff9d4bfc129e ppx_deriving.6.0.3 7db882daec22 ppxlib.0.35.0 2ca0651b3ecc re.1.14.0 5602183f89d9 seq.base f8ce33768766 sexplib0.v0.17.0 56e363170312 stdlib-shims.0.3.0 f49bc9dde33b yojson.2.2.2 dc7e09cc8f05 === STDOUT === Processing: [default: loading data] [elpi.1.16.10: dl] [elpi.1.16.10: extract] -> retrieved elpi.1.16.10 (https://opam.ocaml.org/cache) [elpi: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "elpi" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/elpi.1.16.10) - (cd _build/default/src/parser && /home/opam/.opam/default/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml - Read 319 sample input sentences and 40 error messages. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I trace/runtime/.trace_ppx_runtime.objs/byte -I /home/opam/.opam/default/lib/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmo -c -impl trace/runtime/runtime.ml) - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -I /home/opam/.opam/default/lib/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/native/trace_ppx_runtime__Runtime.cmx -c -impl trace/runtime/runtime.ml) - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/utils/.elpi_util.objs/byte -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -cmi-file src/utils/.elpi_util.objs/byte/elpi_util__Util.cmi -no-alias-deps -open Elpi_util -o src/utils/.elpi_util.objs/byte/elpi_util__Util.cmo -c -impl src/utils/util.ml) - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -cmi-file src/utils/.elpi_util.objs/byte/elpi_util__Util.cmi -no-alias-deps -open Elpi_util -o src/utils/.elpi_util.objs/native/elpi_util__Util.cmx -c -impl src/utils/util.ml) - File "_none_", line 1: - Alert ocaml_deprecated_auto_include: - OCaml's lib directory layout changed in 5.0. The unix subdirectory has been - automatically added to the search path, but you should add -I +unix to the - command-line to silence this alert (e.g. by adding unix to the list of - libraries in your dune file, or adding use_unix to your _tags file for - ocamlbuild, or using -package unix for ocamlfind). - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__API.cmi -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml) - File "src/API.ml", line 427, characters 8-18: - 427 | Pp.uppterm d [] d ED.empty_env fmt t); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 485, characters 8-18: - 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 1033, characters 4-14: - 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 1044, characters 7-16: - 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t - ^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__Runtime_trace_off.cmi -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 3594, characters 21-32: - 3594 | 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 3599, characters 21-32: - 3599 | 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 3640, characters 12-18: - 3640 | 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. - - File "src/runtime_trace_off.ml", line 390, characters 34-40: - 390 | val cut_trail : unit -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 397, characters 56-62: - 397 | val trail_assignment : uvar_body -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 398, characters 56-62: - 398 | val trail_stuck_goal_addition : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 399, characters 56-62: - 399 | val trail_stuck_goal_removal : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__Runtime.cmi -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 3594, characters 21-32: - 3594 | 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 3599, characters 21-32: - 3599 | 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 3640, characters 12-18: - 3640 | 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. - - File "src/runtime.ml", line 390, characters 34-40: - 390 | val cut_trail : unit -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 397, characters 56-62: - 397 | val trail_assignment : uvar_body -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 398, characters 56-62: - 398 | val trail_stuck_goal_addition : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 399, characters 56-62: - 399 | val trail_stuck_goal_removal : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__Runtime_trace_off.cmi -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 3594, characters 21-32: - 3594 | 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 3599, characters 21-32: - 3599 | 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 3640, characters 12-18: - 3640 | 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. - - File "src/runtime_trace_off.ml", line 390, characters 34-40: - 390 | val cut_trail : unit -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 397, characters 56-62: - 397 | val trail_assignment : uvar_body -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 398, characters 56-62: - 398 | val trail_stuck_goal_addition : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime_trace_off.ml", line 399, characters 56-62: - 399 | val trail_stuck_goal_removal : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__Runtime.cmi -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 3594, characters 21-32: - 3594 | 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 3599, characters 21-32: - 3599 | 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 3640, characters 12-18: - 3640 | 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. - - File "src/runtime.ml", line 390, characters 34-40: - 390 | val cut_trail : unit -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 397, characters 56-62: - 397 | val trail_assignment : uvar_body -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 398, characters 56-62: - 398 | val trail_stuck_goal_addition : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - - File "src/runtime.ml", line 399, characters 56-62: - 399 | val trail_stuck_goal_removal : stuck_goal -> unit [@@inline] - ^^^^^^ - Warning 53 [misplaced-attribute]: the "inline" attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/re/str -I /home/opam/.opam/default/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 -cmi-file src/.elpi.objs/byte/elpi__API.cmi -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__API.cmx -c -impl src/API.pp.ml) - File "src/API.ml", line 427, characters 8-18: - 427 | Pp.uppterm d [] d ED.empty_env fmt t); - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 485, characters 8-18: - 485 | Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0) - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 1033, characters 4-14: - 1033 | Pp.uppterm depth [] 0 ED.empty_env fmt t - ^^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. - - File "src/API.ml", line 1044, characters 7-16: - 1044 | Pp.ppterm depth [] 0 ED.empty_env fmt t - ^^^^^^^^^ - Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function. -> compiled elpi.1.16.10 -> installed elpi.1.16.10 === STDERR === 2026-06-16 17:17.25: OK: build elpi.1.16.10 (runc: 44.2s, disk: 36KB) 2026-06-16 17:17.25: Job succeeded