Build:
- 0
2026-09-17 18:41.25: New job: build elpi.3.8.0 (9a528f931a30) 2026-09-17 18:41.25: [profile full] build elpi.3.8.0 2026-09-17 18:41.30: build elpi.3.8.0 (9a528f931a30) === DEPENDENCIES (36 transitive) === atd.4.0.0 a99b2f8fdce5 atdgen.4.0.0 9fc0ad897938 atdgen-runtime.4.0.0 41c1cff5eb6b atdts.4.0.0 dde848d29dc1 base.v0.15.2 ceb7ba6c0b2e base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e biniou.1.2.2 af3bd3d96221 camlp-streams.5.0.1 168ae3eb5141 cmdliner.2.1.1 d63fad96e9ad cppo.1.8.0 54a2e530742e csexp.1.5.2 736db9409a7a dune.3.24.2 d7ac63a1e14a dune-configurator.3.22.2 bee289d571f2 easy-format.1.3.4 82570e201884 menhir.20260209 aed20a212740 menhirCST.20260209 7d03ebe641c0 menhirGLR.20260209 443fcecf42a8 menhirLib.20260209 afcf39d3148d menhirSdk.20260209 2e64569c696c ocaml.4.13.1 87019ce58e6b ocaml-base-compiler.4.13.1 8da2ad413a13 ocaml-compiler-libs.v0.12.4 f8d8d818eac8 ocaml-config.2 dd7a6703ffd4 ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocamlfind.1.9.6 a2ee5a486e5a ocamlfind-secondary.1.9.6 4a14eb7d6568 ppx_derivers.1.2.1 86e0cb31f5f9 ppx_deriving.6.0.3 1e014aad896a ppx_optcomp.v0.15.0 0efd8e5d777b ppxlib.0.35.0 9f76451df341 re.1.14.0 1018c85ae547 sexplib0.v0.15.1 9e9b227b8f4b stdio.v0.15.0 d04abb5cb9d9 stdlib-shims.0.3.0 25f67298bd27 yojson.3.0.0 f3dffe7264c2 === STDOUT === Processing: [default: loading data] [elpi.3.8.0: dl] [elpi.3.8.0: http] [elpi.3.8.0: extract] -> retrieved elpi.3.8.0 (https://github.com/LPCIC/elpi/releases/download/v3.8.0/elpi-3.8.0.tbz) [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-17 18:42.21: OK: build elpi.3.8.0 (runc: 47.7s, disk: 20KB) 2026-09-17 18:42.21: Job succeeded