Build:
- 0
2026-06-24 16:51.20: New job: build elpi.3.0.1 (3b7cec59f5d8)
2026-06-24 16:51.20: Waiting for resource in pool day11-builds
2026-06-24 17:38.36: Got resource from pool day11-builds
2026-06-24 17:38.36: [profile full] build elpi.3.0.1
2026-06-24 17:38.36: build elpi.3.0.1 (3b7cec59f5d8)
=== DEPENDENCIES (30 transitive) ===
atd.4.2.0 5f47fecc1073
atdgen.4.2.0 9a5d63c93ac3
atdgen-runtime.4.2.0 37ead886956d
atdts.4.2.0 a600e5e975a3
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
sexplib0.v0.17.0 a15b0f614c90
stdlib-shims.0.3.0 c94355dec213
yojson.3.0.0 2870f90eedda
=== STDOUT ===
Processing: [default: loading data]
[elpi.3.0.1: dl]
[elpi.3.0.1: extract]
-> retrieved elpi.3.0.1 (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.3.0.1)
- (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
- Warning: one state has shift/reduce conflicts.
- Warning: 16 shift/reduce conflicts were arbitrarily resolved.
- Read 384 sample input sentences and 41 error messages.
- (cd _build/default/src && /home/opam/.opam/default/bin/atdgen -o trace_atd -j-std trace.atd)
- Warning: option "-j-std" is deprecated.
- (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/menhir --external-tokens Elpi_lexer_config.Tokens --exn-carries-state src/parser/grammar.mly src/parser/token_precedence.mly src/parser/tokens.mly --base src/parser/grammar --infer-read-reply src/parser/grammar__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 16 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src/compiler/.elpi_compiler.objs/byte -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/runtime/.elpi_runtime.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -cmi-file src/compiler/.elpi_compiler.objs/byte/elpi_compiler__Type_checker.cmi -no-alias-deps -open Elpi_compiler -o src/compiler/.elpi_compiler.objs/byte/elpi_compiler__Type_checker.cmo -c -impl src/compiler/type_checker.pp.ml)
- File "src/compiler/type_checker.ml", line 201, characters 37-45:
- 201 | if args = [] then ScopedTerm.App(mk_const (Scope.mkGlobal ~escape_ns:true ()) c loc,[])
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 202, characters 25-33:
- 202 | else ScopedTerm.(App(mk_const (Scope.mkGlobal ~escape_ns:true ()) c loc,args)) in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 445, characters 91-99:
- 445 | let { scope = name_lang; name = c; ty = c_type } = match sc with Some c -> c | None -> mk_const elpi_language (fresh_name ()) loc in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 512, characters 82-90:
- 512 | else error_bad_ety ~valid_mode ~loc ~tyctx ~ety ScopedTerm.pretty_ (App(mk_const (Scope.mkGlobal ~escape_ns:true ()(* sucks *)) c loc,args)) ty in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were 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/compiler/.elpi_compiler.objs/byte -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/runtime/.elpi_runtime.objs/byte -I src/utils/.elpi_util.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -cmi-file src/compiler/.elpi_compiler.objs/byte/elpi_compiler__Compiler.cmi -no-alias-deps -open Elpi_compiler -o src/compiler/.elpi_compiler.objs/byte/elpi_compiler__Compiler.cmo -c -impl src/compiler/compiler.pp.ml)
- File "src/compiler/compiler.ml", line 748, characters 30-56:
- 748 | | None -> ScopedTerm.(App(ScopedTerm.mk_global_const x loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels name, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 752, characters 30-56:
- 752 | | None -> ScopedTerm.(App(ScopedTerm.mk_global_const x loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels name, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 886, characters 54-79:
- 886 | | Const c when F.Set.mem c ctx -> ScopedTerm.(App(ScopedTerm.mk_bound_const elpi_language c loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 888, characters 46-71:
- 888 | if is_uvar_name c then ScopedTerm.Var(ScopedTerm.mk_bound_const elpi_var c loc,[])
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 891, characters 49-57:
- 891 | else if is_global c then ScopedTerm.(App(mk_const (Scope.mkGlobal ~escape_ns:true ()) (of_global c) loc,[]))
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 892, characters 29-37:
- 892 | else ScopedTerm.(App(mk_const (Scope.mkGlobal ()) c loc,[]))
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 913, characters 39-64:
- 913 | if bound then ScopedTerm.App(ScopedTerm.mk_bound_const elpi_language c cloc, xs)
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 914, characters 53-78:
- 914 | else if is_uvar_name c then ScopedTerm.Var(ScopedTerm.mk_bound_const elpi_var c cloc,xs)
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 915, characters 50-69:
- 915 | else if is_global c then ScopedTerm.App(ScopedTerm.mk_const (Scope.mkGlobal ~escape_ns:true ()) (of_global c) cloc,xs)
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 916, characters 30-49:
- 916 | else ScopedTerm.App(ScopedTerm.mk_const (Scope.mkGlobal ()) c cloc, xs)
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 927, characters 25-44:
- 927 | let name = Some (ScopedTerm.mk_const elpi_language c cloc) in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 1554, characters 18-31:
- 1554 | let mkG x l = const_of_symb types x l in
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels types, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 1585, characters 54-67:
- 1585 | | App _-> Some (mk @@ Impl(R2L,loc,orig,mk @@ App(const_of_symb types cut loc,[])))
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels types, loc were omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/compiler/.elpi_compiler.objs/byte -I src/compiler/.elpi_compiler.objs/native -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/runtime/.elpi_runtime.objs/byte -I src/runtime/.elpi_runtime.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/compiler/.elpi_compiler.objs/byte/elpi_compiler__Type_checker.cmi -no-alias-deps -open Elpi_compiler -o src/compiler/.elpi_compiler.objs/native/elpi_compiler__Type_checker.cmx -c -impl src/compiler/type_checker.pp.ml)
- File "src/compiler/type_checker.ml", line 201, characters 37-45:
- 201 | if args = [] then ScopedTerm.App(mk_const (Scope.mkGlobal ~escape_ns:true ()) c loc,[])
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 202, characters 25-33:
- 202 | else ScopedTerm.(App(mk_const (Scope.mkGlobal ~escape_ns:true ()) c loc,args)) in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 445, characters 91-99:
- 445 | let { scope = name_lang; name = c; ty = c_type } = match sc with Some c -> c | None -> mk_const elpi_language (fresh_name ()) loc in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/type_checker.ml", line 512, characters 82-90:
- 512 | else error_bad_ety ~valid_mode ~loc ~tyctx ~ety ScopedTerm.pretty_ (App(mk_const (Scope.mkGlobal ~escape_ns:true ()(* sucks *)) c loc,args)) ty in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/compiler/.elpi_compiler.objs/byte -I src/compiler/.elpi_compiler.objs/native -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/runtime/.elpi_runtime.objs/byte -I src/runtime/.elpi_runtime.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/compiler/.elpi_compiler.objs/byte/elpi_compiler__Compiler.cmi -no-alias-deps -open Elpi_compiler -o src/compiler/.elpi_compiler.objs/native/elpi_compiler__Compiler.cmx -c -impl src/compiler/compiler.pp.ml)
- File "src/compiler/compiler.ml", line 748, characters 30-56:
- 748 | | None -> ScopedTerm.(App(ScopedTerm.mk_global_const x loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels name, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 752, characters 30-56:
- 752 | | None -> ScopedTerm.(App(ScopedTerm.mk_global_const x loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels name, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 886, characters 54-79:
- 886 | | Const c when F.Set.mem c ctx -> ScopedTerm.(App(ScopedTerm.mk_bound_const elpi_language c loc,[]))
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 888, characters 46-71:
- 888 | if is_uvar_name c then ScopedTerm.Var(ScopedTerm.mk_bound_const elpi_var c loc,[])
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 891, characters 49-57:
- 891 | else if is_global c then ScopedTerm.(App(mk_const (Scope.mkGlobal ~escape_ns:true ()) (of_global c) loc,[]))
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 892, characters 29-37:
- 892 | else ScopedTerm.(App(mk_const (Scope.mkGlobal ()) c loc,[]))
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 913, characters 39-64:
- 913 | if bound then ScopedTerm.App(ScopedTerm.mk_bound_const elpi_language c cloc, xs)
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 914, characters 53-78:
- 914 | else if is_uvar_name c then ScopedTerm.Var(ScopedTerm.mk_bound_const elpi_var c cloc,xs)
- ^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels lang, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 915, characters 50-69:
- 915 | else if is_global c then ScopedTerm.App(ScopedTerm.mk_const (Scope.mkGlobal ~escape_ns:true ()) (of_global c) cloc,xs)
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 916, characters 30-49:
- 916 | else ScopedTerm.App(ScopedTerm.mk_const (Scope.mkGlobal ()) c cloc, xs)
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 927, characters 25-44:
- 927 | let name = Some (ScopedTerm.mk_const elpi_language c cloc) in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels scope, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 1554, characters 18-31:
- 1554 | let mkG x l = const_of_symb types x l in
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels types, loc were omitted in the application of this function.
-
- File "src/compiler/compiler.ml", line 1585, characters 54-67:
- 1585 | | App _-> Some (mk @@ Impl(R2L,loc,orig,mk @@ App(const_of_symb types cut loc,[])))
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels types, loc were omitted in the application of this function.
-> compiled elpi.3.0.1
-> installed elpi.3.0.1
=== STDERR ===
2026-06-24 17:39.36: OK: build elpi.3.0.1 (runc: 34.6s, disk: 28KB)
2026-06-24 17:39.36: Job succeeded