Build:
- 0
2026-09-03 22:46.55: New job: build elpi.3.0.1 (b9e3f7199125)
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.3.0.1
2026-09-03 23:31.33: build elpi.3.0.1 (b9e3f7199125)
=== DEPENDENCIES (30 transitive) ===
atd.4.2.0 342df61e74ea
atdgen.4.2.0 bc31cafb76f4
atdgen-runtime.4.2.0 fe86fd5c3006
atdts.4.2.0 d3b46a0a9844
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
sexplib0.v0.17.0 6a756732d111
stdlib-shims.0.3.0 564d91498093
yojson.3.0.0 02f0b282f237
=== 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-09-03 23:33.15: OK: build elpi.3.0.1 (runc: 55.2s, disk: 28KB)
2026-09-03 23:33.15: Job succeeded