Build:
- 0
2026-09-03 22:46.55: New job: build elpi.1.16.10 (601b6d65343a) 2026-09-03 22:46.55: Waiting for resource in pool day11-builds 2026-09-03 23:31.33: Got resource from pool day11-builds 2026-09-03 23:31.33: [profile full] build elpi.1.16.10 2026-09-03 23:31.33: build elpi.1.16.10 (601b6d65343a) === DEPENDENCIES (31 transitive) === atd.2.16.0 f7ed69f36115 atdgen.2.15.0 c3c6f19c60bd atdgen-runtime.2.16.0 97f2bfd00399 atdts.3.0.1 a693deb52c59 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e biniou.1.2.2 964b581e9858 camlp-streams.5.0.1 337d3dd041f2 cmdliner.2.1.1 e632c71f59aa cppo.1.8.0 95405d14a0d3 dune.3.24.2 cbbe7152834a easy-format.1.3.4 00e01e9f0cb0 menhir.20260209 6e4552bcd5b5 menhirCST.20260209 64df6c1daf25 menhirGLR.20260209 7a7e3d8f6809 menhirLib.20260209 dcf4a41684df menhirSdk.20260209 27b2a039dd26 ocaml.5.3.0 6ff460273d57 ocaml-base-compiler.5.3.0 ab889490af4f ocaml-compiler.5.3.0 a36aaaa91913 ocaml-compiler-libs.v0.17.0 a116ac6aca12 ocaml-config.3 c2e80612d111 ocamlfind.1.9.8 8c4f353d7b71 ppx_derivers.1.2.1 962a10540301 ppx_deriving.6.0.3 83510d654958 ppxlib.0.35.0 1afc84621aed re.1.14.0 ac5351d8c826 seq.base 5444851aa742 sexplib0.v0.17.0 6a756732d111 stdlib-shims.0.3.0 564d91498093 yojson.2.2.2 86fcbbbd6812 === 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-09-03 23:33.03: OK: build elpi.1.16.10 (runc: 43.2s, disk: 36KB) 2026-09-03 23:33.03: Job succeeded