Build:
- 0
2026-09-20 02:44.03: New job: build elpi.3.8.0 (51801d6a57ab) 2026-09-20 02:44.03: Waiting for resource in pool day11-builds 2026-09-20 04:02.53: Got resource from pool day11-builds 2026-09-20 04:02.53: [profile full] build elpi.3.8.0 2026-09-20 04:02.53: build elpi.3.8.0 (51801d6a57ab) === DEPENDENCIES (36 transitive) === atd.4.0.0 1c115e16b9ae atdgen.4.0.0 ccab80ff72c2 atdgen-runtime.4.0.0 2682c053acfe atdts.4.0.0 bdeed47854a8 base.v0.15.2 117b15b01f56 base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 biniou.1.2.2 db6aa79dd927 camlp-streams.5.0.1 53cd42c59e3b cmdliner.2.1.1 dc14b5e33a46 cppo.1.8.0 f0cca770d488 csexp.1.5.2 1b121f20c329 dune.3.24.2 ad03795b2751 dune-configurator.3.22.2 1e002eca2c96 easy-format.1.3.4 a4ed4cce23e7 menhir.20260209 ba4b2765187a menhirCST.20260209 fef8d794083d menhirGLR.20260209 a8c31f990053 menhirLib.20260209 aa9ca9f3fae2 menhirSdk.20260209 c497c91411b4 ocaml.4.13.1 2e7ef074d4e9 ocaml-base-compiler.4.13.1 1682d9f229ca ocaml-compiler-libs.v0.12.4 3558fdc05ba5 ocaml-config.2 92450e079977 ocaml-secondary-compiler.4.14.2 e2a22285b593 ocamlfind.1.9.6 a72cce87301b ocamlfind-secondary.1.9.6 3308995dd421 ppx_derivers.1.2.1 83877103011c ppx_deriving.6.0.3 9f259b037310 ppx_optcomp.v0.15.0 9c49b05bdc2b ppxlib.0.35.0 bda34af24b93 re.1.14.0 6d286884c10e sexplib0.v0.15.1 487ec61fc104 stdio.v0.15.0 36782dbdca35 stdlib-shims.0.3.0 4554b941f15e yojson.3.0.0 7ec21fc294f6 === STDOUT === Processing: [default: loading data] [elpi.3.8.0: dl] [elpi.3.8.0: extract] -> retrieved elpi.3.8.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.8.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/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: 17 shift/reduce conflicts were arbitrarily resolved. - Read 384 sample input sentences and 41 error messages. - (cd _build/default && /home/opam/.opam/default/bin/menhir --external-tokens Elpi_lexer_config.Tokens --table 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: 17 shift/reduce conflicts were arbitrarily resolved. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/parser/.elpi_parser.objs/byte -I /home/opam/.opam/default/lib/menhirLib -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/utils/.elpi_util.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/byte/elpi_parser__Grammar.cmo -c -impl src/parser/grammar.ml) - File "src/parser/grammar.ml", line 1066, characters 14-18: - 1066 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1113, characters 14-18: - 1113 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1150, characters 14-18: - 1150 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1518, characters 14-15: - 1518 | let v : unit = Obj.magic v in - ^ - Warning 26 [unused-var]: unused variable v. - File "src/parser/grammar.ml", line 1648, characters 14-16: - 1648 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 1693, characters 14-16: - 1693 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 4052, characters 14-15: - 4052 | let a : unit = Obj.magic a in - ^ - Warning 26 [unused-var]: unused variable a. - File "src/parser/grammar.ml", line 4173, characters 14-15: - 4173 | let l : unit = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5291, characters 14-15: - 5291 | let l : (Ast.Func.t list) = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5367, characters 14-15: - 5367 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in - ^ - Warning 26 [unused-var]: unused variable f. - File "src/parser/grammar.ml", line 8055, characters 14-15: - 8055 | let x : unit = Obj.magic x in - ^ - Warning 26 [unused-var]: unused variable x. - File "src/parser/grammar.ml", line 8272, characters 14-15: - 8272 | let r : unit = Obj.magic r in - ^ - Warning 26 [unused-var]: unused variable r. - File "src/parser/grammar.ml", line 10551, characters 14-16: - 10551 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 10596, characters 14-16: - 10596 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12948, characters 14-16: - 12948 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12993, characters 14-16: - 12993 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/parser/.elpi_parser.objs/byte -I src/parser/.elpi_parser.objs/native -I /home/opam/.opam/default/lib/menhirLib -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/utils/.elpi_util.objs/byte -I src/utils/.elpi_util.objs/native -intf-suffix .ml -no-alias-deps -open Elpi_parser -o src/parser/.elpi_parser.objs/native/elpi_parser__Grammar.cmx -c -impl src/parser/grammar.ml) - File "src/parser/grammar.ml", line 1066, characters 14-18: - 1066 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1113, characters 14-18: - 1113 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1150, characters 14-18: - 1150 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1518, characters 14-15: - 1518 | let v : unit = Obj.magic v in - ^ - Warning 26 [unused-var]: unused variable v. - File "src/parser/grammar.ml", line 1648, characters 14-16: - 1648 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 1693, characters 14-16: - 1693 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 4052, characters 14-15: - 4052 | let a : unit = Obj.magic a in - ^ - Warning 26 [unused-var]: unused variable a. - File "src/parser/grammar.ml", line 4173, characters 14-15: - 4173 | let l : unit = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5291, characters 14-15: - 5291 | let l : (Ast.Func.t list) = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5367, characters 14-15: - 5367 | let f : (Elpi_lexer_config.Lexer_config.fixity * Ast.Func.t * int * Ast.Loc.t) = Obj.magic f in - ^ - Warning 26 [unused-var]: unused variable f. - File "src/parser/grammar.ml", line 8055, characters 14-15: - 8055 | let x : unit = Obj.magic x in - ^ - Warning 26 [unused-var]: unused variable x. - File "src/parser/grammar.ml", line 8272, characters 14-15: - 8272 | let r : unit = Obj.magic r in - ^ - Warning 26 [unused-var]: unused variable r. - File "src/parser/grammar.ml", line 10551, characters 14-16: - 10551 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 10596, characters 14-16: - 10596 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12948, characters 14-16: - 12948 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12993, characters 14-16: - 12993 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. -> compiled elpi.3.8.0 -> installed elpi.3.8.0 === STDERR === 2026-09-20 04:03.39: OK: build elpi.3.8.0 (runc: 15.2s, disk: 20KB) 2026-09-20 04:03.39: Job succeeded