Build:
- 0
2026-10-13 22:36.59: New job: build elpi.3.9.1 (c521d0f02b2a) 2026-10-13 22:36.59: [profile full] build elpi.3.9.1 2026-10-13 22:37.06: build elpi.3.9.1 (c521d0f02b2a) === DEPENDENCIES (36 transitive) === atd.4.0.0 aab9102cdbdf atdgen.4.0.0 ad2cc64d85f6 atdgen-runtime.4.0.0 653886598700 atdts.4.0.0 433e5081cac1 base.v0.15.2 eae949c70113 base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 biniou.1.2.2 adb65dc20d0b camlp-streams.5.0.1 9e48de1ac802 cmdliner.2.1.1 fcf09e8bcd41 cppo.1.8.0 1341c767eed8 csexp.1.5.2 eaff5dd7461a dune.3.24.2 61e533ae0958 dune-configurator.3.22.2 b522918efd1b easy-format.1.3.4 cf154c03215d menhir.20260209 32373feb79f2 menhirCST.20260209 af2b1347e461 menhirGLR.20260209 41ce68189a51 menhirLib.20260209 338ae1d027d1 menhirSdk.20260209 8075361f7cc4 ocaml.4.13.1 3b5ae26105c2 ocaml-base-compiler.4.13.1 a6d4e32c3fee ocaml-compiler-libs.v0.12.4 49ba000d33f6 ocaml-config.2 541c9f36cc7a ocaml-secondary-compiler.4.14.2 107fb8b961d7 ocamlfind.1.9.6 2a6ee7217e63 ocamlfind-secondary.1.9.6 0bceac80dcc5 ppx_derivers.1.2.1 615e84b56f3f ppx_deriving.6.0.3 08ee79fb6171 ppx_optcomp.v0.15.0 666bd78d18bd ppxlib.0.35.0 45c96d60956f re.1.14.0 00fa0ea2ad25 sexplib0.v0.15.1 786a6deb35ce stdio.v0.15.0 b505657e90fe stdlib-shims.0.3.0 ffba97531aeb yojson.3.0.0 dc97198b380a === STDOUT === Processing: [default: loading data] [elpi.3.9.1: dl] [elpi.3.9.1: extract] -> retrieved elpi.3.9.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.9.1) - (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 - File "./grammar.mly", line 564, characters 8-21: - Warning: symbol infix_novdash is unreachable from any of the start symbols. - Warning: one state has shift/reduce conflicts. - Warning: 17 shift/reduce conflicts were arbitrarily resolved. - Read 382 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-write-query src/parser/grammar__mock.ml.mock) - File "src/parser/grammar.mly", line 564, characters 8-21: - Warning: symbol infix_novdash is unreachable from any of the start symbols. - (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 1091, characters 14-18: - 1091 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1138, characters 14-18: - 1138 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1175, characters 14-18: - 1175 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1544, characters 14-15: - 1544 | let v : unit = Obj.magic v in - ^ - Warning 26 [unused-var]: unused variable v. - File "src/parser/grammar.ml", line 1675, characters 14-16: - 1675 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 1720, characters 14-16: - 1720 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 3941, characters 14-15: - 3941 | let a : unit = Obj.magic a in - ^ - Warning 26 [unused-var]: unused variable a. - File "src/parser/grammar.ml", line 4062, characters 14-15: - 4062 | let l : unit = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5180, characters 14-15: - 5180 | let l : (Ast.Func.t list) = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5256, characters 14-15: - 5256 | 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 7944, characters 14-15: - 7944 | let x : unit = Obj.magic x in - ^ - Warning 26 [unused-var]: unused variable x. - File "src/parser/grammar.ml", line 8211, characters 14-15: - 8211 | let r : unit = Obj.magic r in - ^ - Warning 26 [unused-var]: unused variable r. - File "src/parser/grammar.ml", line 10490, characters 14-16: - 10490 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 10535, characters 14-16: - 10535 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12887, characters 14-16: - 12887 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12932, characters 14-16: - 12932 | 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 1091, characters 14-18: - 1091 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1138, characters 14-18: - 1138 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1175, characters 14-18: - 1175 | let bind : unit = Obj.magic bind in - ^^^^ - Warning 26 [unused-var]: unused variable bind. - File "src/parser/grammar.ml", line 1544, characters 14-15: - 1544 | let v : unit = Obj.magic v in - ^ - Warning 26 [unused-var]: unused variable v. - File "src/parser/grammar.ml", line 1675, characters 14-16: - 1675 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 1720, characters 14-16: - 1720 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 3941, characters 14-15: - 3941 | let a : unit = Obj.magic a in - ^ - Warning 26 [unused-var]: unused variable a. - File "src/parser/grammar.ml", line 4062, characters 14-15: - 4062 | let l : unit = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5180, characters 14-15: - 5180 | let l : (Ast.Func.t list) = Obj.magic l in - ^ - Warning 26 [unused-var]: unused variable l. - File "src/parser/grammar.ml", line 5256, characters 14-15: - 5256 | 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 7944, characters 14-15: - 7944 | let x : unit = Obj.magic x in - ^ - Warning 26 [unused-var]: unused variable x. - File "src/parser/grammar.ml", line 8211, characters 14-15: - 8211 | let r : unit = Obj.magic r in - ^ - Warning 26 [unused-var]: unused variable r. - File "src/parser/grammar.ml", line 10490, characters 14-16: - 10490 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 10535, characters 14-16: - 10535 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12887, characters 14-16: - 12887 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. - File "src/parser/grammar.ml", line 12932, characters 14-16: - 12932 | let hd : unit = Obj.magic hd in - ^^ - Warning 26 [unused-var]: unused variable hd. -> compiled elpi.3.9.1 -> installed elpi.3.9.1 === STDERR === 2026-10-13 22:38.06: OK: build elpi.3.9.1 (runc: 54.7s, disk: 20KB) 2026-10-13 22:38.06: Job succeeded