Build:
- 0
2026-06-16 15:46.19: New job: build electrod.1.0.0 (b71baefb998d) 2026-06-16 15:46.19: Waiting for resource in pool day11-builds 2026-06-16 16:33.44: Got resource from pool day11-builds 2026-06-16 16:33.44: [profile full] build electrod.1.0.0 2026-06-16 16:33.44: build electrod.1.0.0 (b71baefb998d) === DEPENDENCIES (41 transitive) === base-bigarray.base dfc2a7e726c3 base-bytes.base b6c1d75f7ceb base-threads.base b7164ff76afe base-unix.base 839dc585f12d cmdliner.1.3.0 7197f665e667 containers.3.18 58fcb1bd74c7 containers-data.3.18 150d8bb10c05 cppo.1.8.0 42c5aec69da6 csexp.1.5.2 e4e5d9dccb00 dune.3.23.1 51844b1e2ab5 dune-build-info.3.23.1 dec872874623 dune-configurator.3.23.1 1cd4d889d1f4 either.1.0.0 254b0e45197d fmt.0.11.0 f91dd42c07ee gen.1.1 11bad0344573 hashcons.1.4.0 e4497d0c21ba iter.1.9 d4c1091271ce logs.0.10.0 3c3a15e6fed6 menhir.20260209 be63ba2a6003 menhirCST.20260209 19246e7aeff4 menhirGLR.20260209 9a49df266aa1 menhirLib.20260209 83f59d3abefc menhirSdk.20260209 4ff82164484d mtime.1.4.0 9b03dcf21a08 ocaml.4.14.2 3a6eb874bb8f ocaml-base-compiler.4.14.2 9d9aea4783eb ocaml-compiler-libs.v0.12.4 ab8617201ad7 ocaml-config.2 55beddecfad5 ocamlbuild.0.16.1 0166f6a5cd09 ocamlfind.1.9.8 bfa173c761be ppx_derivers.1.2.1 33d40dc12ee3 ppx_deriving.6.1.1 738953b0ae3d ppxlib.0.38.0 dd0bf75c6e80 printbox.0.5 407a41a3e482 result.1.5 3cf42d9b549e seq.base 1d959f201ad8 sexplib0.v0.17.0 88d13f026834 stdcompat.21.1 e213612b066b stdlib-shims.0.3.0 726662477ba6 topkg.1.1.1 1aad4a48a0a5 visitors.20260520 0b951eaa1987 === STDOUT === Processing: [default: loading data] [electrod.1.0.0: dl] [electrod.1.0.0: extract] -> retrieved electrod.1.0.0 (https://opam.ocaml.org/cache) [electrod: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "electrod" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/electrod.1.0.0) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Fmtc.cmo -c -impl src/Fmtc.pp.ml) - File "src/Fmtc.ml", line 100, characters 20-26: - 100 | let ( **< ) p1 p2 = prefix p1 p2 - ^^^^^^ - Alert deprecated: prefix - use Fmt.(++) instead. - File "src/Fmtc.ml", line 102, characters 20-26: - 102 | let ( **> ) p1 p2 = suffix p1 p2 - ^^^^^^ - Alert deprecated: suffix - use Fmt.(++) instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Fmtc.cmx -c -impl src/Fmtc.pp.ml) - File "src/Fmtc.ml", line 100, characters 20-26: - 100 | let ( **< ) p1 p2 = prefix p1 p2 - ^^^^^^ - Alert deprecated: prefix - use Fmt.(++) instead. - File "src/Fmtc.ml", line 102, characters 20-26: - 102 | let ( **> ) p1 p2 = suffix p1 p2 - ^^^^^^ - Alert deprecated: suffix - use Fmt.(++) instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Tuple.cmo -c -impl src/Tuple.pp.ml) - File "src/Tuple.ml", line 192, characters 7-15: - 192 | @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n; - ^^^^^^^^ - Alert deprecated: Fmt.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Tuple.cmx -c -impl src/Tuple.pp.ml) - File "src/Tuple.ml", line 192, characters 7-15: - 192 | @@ Fmt.strf "Tuple.to_ntuples %d %a: length not a multiple of %d" n pp t n; - ^^^^^^^^ - Alert deprecated: Fmt.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Simplify1.cmo -c -impl src/Simplify1.pp.ml) - File "src/Simplify1.ml", line 200, characters 33-40: - 200 | Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2)) - ^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - File "src/Simplify1.ml", line 200, characters 53-60: - 200 | Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2)) - ^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Exp_bounds.cmo -c -impl src/Exp_bounds.pp.ml) - File "src/Exp_bounds.ml", line 237, characters 14-23: - 237 | Fmt.kstrf - ^^^^^^^^^ - Alert deprecated: Fmt.kstrf - use Fmt.kstr instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Elo_to_model1.cmo -c -impl src/Elo_to_model1.pp.ml) - File "src/Elo_to_model1.ml", line 122, characters 6-24: - 122 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - File "src/Elo_to_model1.ml", line 136, characters 6-24: - 136 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - File "src/Elo_to_model1.ml", line 150, characters 6-24: - 150 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Raw_to_ast.cmo -c -impl src/Raw_to_ast.pp.ml) - File "src/Raw_to_ast.ml", line 304, characters 22-31: - 304 | let fby_scope = CCOpt.map (compute_scope infile domain id) fby in - ^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 307, characters 14-23: - 307 | match CCOpt.map Scope.inferred_arity fby_scope with - ^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 591, characters 17-26: - 591 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 682, characters 15-24: - 682 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 692, characters 15-24: - 692 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 702, characters 15-24: - 702 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 707, characters 15-28: - 707 | if CCOpt.compare CCInt.compare ar1 (Some 1) <= 0 - ^^^^^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 708, characters 30-39: - 708 | then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1')) - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 716, characters 15-24: - 716 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 744, characters 17-26: - 744 | @@ Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Smv.cmo -c -impl src/Smv.pp.ml) - File "src/Smv.ml", line 346, characters 12-16: - 346 | Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple) - ^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Smv.ml", line 348, characters 23-37: - 348 | let atom_name at = Option.get_exn @@ Ltl.Atomic.split at in - ^^^^^^^^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - File "src/Smv.ml", line 676, characters 20-28: - 676 | let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in - ^^^^^^^^ - Alert deprecated: Fmt.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.libelectrod.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/byte/libelectrod__Elo_to_ltl1.cmo -c -impl src/Elo_to_ltl1.pp.ml) - File "src/Elo_to_ltl1.ml", line 672, characters 12-22: - 672 | Fmtc.kstrf - ^^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.kstrf - use Fmt.kstr instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.electrod.eobjs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/byte/dune__exe__Main.cmo -c -impl src/Main.ml) - File "src/Main.ml", line 55, characters 9-21: - 55 | @@ CCOpt.map_or ~default:(keyword l) (fun s -> short l ^ s) h - ^^^^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -63 -g -bin-annot -I src/.electrod.eobjs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/byte/dune__exe__Electrod.cmo -c -impl src/electrod.ml) - File "src/electrod.ml", line 191, characters 2-11: - 191 | Term.info "electrod" ~doc ~man - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.info - Use Cmd.info instead. - File "src/electrod.ml", line 196, characters 8-17: - 196 | match Term.eval ~catch:true (main_term, main_info) with - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.eval - Use Cmd.v and one of Cmd.eval* instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Elo_to_model1.cmx -c -impl src/Elo_to_model1.pp.ml) - File "src/Elo_to_model1.ml", line 122, characters 6-24: - 122 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - File "src/Elo_to_model1.ml", line 136, characters 6-24: - 136 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - File "src/Elo_to_model1.ml", line 150, characters 6-24: - 150 | List.partition_map - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: Containers.List.partition_map - use CCList.partition_filter_map instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Exp_bounds.cmx -c -impl src/Exp_bounds.pp.ml) - File "src/Exp_bounds.ml", line 237, characters 14-23: - 237 | Fmt.kstrf - ^^^^^^^^^ - Alert deprecated: Fmt.kstrf - use Fmt.kstr instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Simplify1.cmx -c -impl src/Simplify1.pp.ml) - File "src/Simplify1.ml", line 200, characters 33-40: - 200 | Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2)) - ^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - File "src/Simplify1.ml", line 200, characters 53-60: - 200 | Option.(return @@ (get_exn arg.arity + get_exn r.arity - 2)) - ^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Smv.cmx -c -impl src/Smv.pp.ml) - File "src/Smv.ml", line 346, characters 12-16: - 346 | Fmtc.(strf "%a" @@ list ~sep:minus Atom.pp) (Tuple.to_list tuple) - ^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Smv.ml", line 348, characters 23-37: - 348 | let atom_name at = Option.get_exn @@ Ltl.Atomic.split at in - ^^^^^^^^^^^^^^ - Alert deprecated: Containers.Option.get_exn - use CCOption.get_exn_or instead - File "src/Smv.ml", line 676, characters 20-28: - 676 | let to_call = Fmt.strf "%s -source %s %s" cmd scr smv in - ^^^^^^^^ - Alert deprecated: Fmt.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Raw_to_ast.cmx -c -impl src/Raw_to_ast.pp.ml) - File "src/Raw_to_ast.ml", line 304, characters 22-31: - 304 | let fby_scope = CCOpt.map (compute_scope infile domain id) fby in - ^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 307, characters 14-23: - 307 | match CCOpt.map Scope.inferred_arity fby_scope with - ^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 591, characters 17-26: - 591 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 682, characters 15-24: - 682 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 692, characters 15-24: - 692 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 702, characters 15-24: - 702 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 707, characters 15-28: - 707 | if CCOpt.compare CCInt.compare ar1 (Some 1) <= 0 - ^^^^^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - File "src/Raw_to_ast.ml", line 708, characters 30-39: - 708 | then Result.fail (Fmtc.strf "arity of %s is < 2" (str_exp e1')) - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 716, characters 15-24: - 716 | (Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - File "src/Raw_to_ast.ml", line 744, characters 17-26: - 744 | @@ Fmtc.strf - ^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.strf - use Fmt.str instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -intf-suffix .ml -no-alias-deps -open Libelectrod -o src/.libelectrod.objs/native/libelectrod__Elo_to_ltl1.cmx -c -impl src/Elo_to_ltl1.pp.ml) - File "src/Elo_to_ltl1.ml", line 672, characters 12-22: - 672 | Fmtc.kstrf - ^^^^^^^^^^ - Alert deprecated: Libelectrod.Fmtc.kstrf - use Fmt.kstr instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.electrod.eobjs/byte -I src/.electrod.eobjs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/native/dune__exe__Main.cmx -c -impl src/Main.ml) - File "src/Main.ml", line 55, characters 9-21: - 55 | @@ CCOpt.map_or ~default:(keyword l) (fun s -> short l ^ s) h - ^^^^^^^^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -63 -g -O3 -I src/.electrod.eobjs/byte -I src/.electrod.eobjs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/containers/unix -I /home/opam/.opam/default/lib/dune-build-info -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hashcons -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock/os -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/printbox -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/stdcompat -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/visitors/runtime -I src/.libelectrod.objs/byte -I src/.libelectrod.objs/native -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.electrod.eobjs/native/dune__exe__Electrod.cmx -c -impl src/electrod.ml) - File "src/electrod.ml", line 191, characters 2-11: - 191 | Term.info "electrod" ~doc ~man - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.info - Use Cmd.info instead. - File "src/electrod.ml", line 196, characters 8-17: - 196 | match Term.eval ~catch:true (main_term, main_info) with - ^^^^^^^^^ - Alert deprecated: Cmdliner.Term.eval - Use Cmd.v and one of Cmd.eval* instead. -> compiled electrod.1.0.0 -> installed electrod.1.0.0 === STDERR === 2026-06-16 16:34.09: OK: build electrod.1.0.0 (runc: 11.1s, disk: 46KB) 2026-06-16 16:34.09: Job succeeded