Build:
- 0
2026-06-24 15:39.17: New job: build electrod.1.0.0 (bd4f7ea75557) 2026-06-24 15:39.17: Waiting for resource in pool day11-builds 2026-06-24 16:49.35: Got resource from pool day11-builds 2026-06-24 16:49.35: [profile full] build electrod.1.0.0 2026-06-24 16:49.35: build electrod.1.0.0 (bd4f7ea75557) === DEPENDENCIES (41 transitive) === base-bigarray.base 2e16f77d4cae base-bytes.base d0fd04dd9830 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb cmdliner.1.3.0 9a9907835094 containers.3.18 0d2e2264cbe2 containers-data.3.18 d9e37129835e cppo.1.8.0 dcb021400411 csexp.1.5.2 5877f876f528 dune.3.23.1 167573e3d8b2 dune-build-info.3.23.1 319fcb55d124 dune-configurator.3.23.1 7c67a41953ca either.1.0.0 36cfe7070e60 fmt.0.11.0 e74fa6df9b21 gen.1.1 0520dfa28079 hashcons.1.4.0 c2a0228da1c0 iter.1.9 c2dafd64945d logs.0.10.0 0840d70d8b8c menhir.20260209 e330062d7a28 menhirCST.20260209 608149b03692 menhirGLR.20260209 e6fba2e3ed71 menhirLib.20260209 3fd1aea8c3ec menhirSdk.20260209 de3ddb5c59b7 mtime.1.4.0 0c1716bd7c96 ocaml.4.14.2 60a0c582e85e ocaml-base-compiler.4.14.2 1676c56e80d2 ocaml-compiler-libs.v0.12.4 509322ab93c6 ocaml-config.2 c8f40f500988 ocamlbuild.0.16.1 a330f885076a ocamlfind.1.9.8 9cedae5d7e1a ppx_derivers.1.2.1 07035c3d9399 ppx_deriving.6.1.1 a8759eaba23a ppxlib.0.38.0 d6d135430bff printbox.0.5 5b179e8dd845 result.1.5 a54d36ad6531 seq.base 774acfc13ff0 sexplib0.v0.17.0 086bfc843ca6 stdcompat.21.1 212e7bce9b71 stdlib-shims.0.3.0 7597558db40e topkg.1.1.1 1d44551de06b visitors.20260520 bb4e55040e54 === 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__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 -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 -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 -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 -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__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__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__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__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__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__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-24 16:49.54: OK: build electrod.1.0.0 (runc: 14.1s, disk: 47KB) 2026-06-24 16:49.54: Job succeeded