Build:
- 0
2026-06-16 16:40.39: New job: build elpi.3.0.0 (c3bb66071f49)
2026-06-16 16:40.39: Waiting for resource in pool day11-builds
2026-06-16 17:16.26: Got resource from pool day11-builds
2026-06-16 17:16.26: [profile full] build elpi.3.0.0
2026-06-16 17:16.26: build elpi.3.0.0 (c3bb66071f49)
=== DEPENDENCIES (30 transitive) ===
atd.4.2.0 acb4b6498c7c
atdgen.4.2.0 f0a20c1c2ca2
atdgen-runtime.4.2.0 056704e15c24
atdts.4.2.0 7ccf792b354a
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
sexplib0.v0.17.0 56e363170312
stdlib-shims.0.3.0 f49bc9dde33b
yojson.3.0.0 601529b9a4e6
=== STDOUT ===
Processing: [default: loading data]
[elpi.3.0.0: dl]
[elpi.3.0.0: extract]
-> retrieved elpi.3.0.0 (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.0)
- (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/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 384 sample input sentences and 41 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/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.0
-> installed elpi.3.0.0
=== STDERR ===
2026-06-16 17:17.39: OK: build elpi.3.0.0 (runc: 50.7s, disk: 27KB)
2026-06-16 17:17.39: Job succeeded