Build:
- 0
2026-06-24 16:45.32: New job: build elpi.1.16.10 (0fd13abcc7ba) 2026-06-24 16:45.32: Waiting for resource in pool day11-builds 2026-06-24 17:30.52: Got resource from pool day11-builds 2026-06-24 17:30.52: [profile full] build elpi.1.16.10 2026-06-24 17:30.52: build elpi.1.16.10 (0fd13abcc7ba) === DEPENDENCIES (31 transitive) === atd.2.16.0 6980f9edba1c atdgen.2.15.0 4e0536f819be atdgen-runtime.2.16.0 a1c5fbb9c2f6 atdts.3.0.1 85c70ac21673 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb biniou.1.2.2 9e9fe6ceb778 camlp-streams.5.0.1 c03309bddd0c cmdliner.2.1.1 f8fcac25252a cppo.1.8.0 c8a9dfb8f116 dune.3.23.1 9d721df3a13a easy-format.1.3.4 05b659da79c4 menhir.20260209 05da01205928 menhirCST.20260209 10afe0461689 menhirGLR.20260209 7b22500e7305 menhirLib.20260209 0f58e6c70ac8 menhirSdk.20260209 caf07569aba6 ocaml.5.3.0 ec34d524d97d ocaml-base-compiler.5.3.0 1841888fe75b ocaml-compiler.5.3.0 f295fe609c87 ocaml-compiler-libs.v0.17.0 ae1038bc23cf ocaml-config.3 a52eea84eedb ocamlfind.1.9.8 558092066ff0 ppx_derivers.1.2.1 fe71b19cf412 ppx_deriving.6.0.3 c8e6598b6ba9 ppxlib.0.35.0 c1fcf64e4dff re.1.14.0 979bfa8c9518 seq.base cd738ac20daf sexplib0.v0.17.0 a15b0f614c90 stdlib-shims.0.3.0 c94355dec213 yojson.2.2.2 964627aa5cc3 === 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/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 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/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-24 17:31.41: OK: build elpi.1.16.10 (runc: 25.7s, disk: 36KB) 2026-06-24 17:36.13: Job succeeded