Build:
- 1
- 0
2026-09-03 21:37.07: New job: build electrod.1.0.0 (870be15065c0) 2026-09-03 21:37.07: Waiting for resource in pool day11-builds 2026-09-03 22:38.34: Got resource from pool day11-builds 2026-09-03 22:38.34: [profile full] build electrod.1.0.0 2026-09-03 22:38.34: build electrod.1.0.0 (870be15065c0) === DEPENDENCIES (41 transitive) === base-bigarray.base 31ac6860ef52 base-bytes.base 03d1d8215763 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e cmdliner.1.3.0 009b853fda6c containers.3.18 2c68f2247974 containers-data.3.18 6989f12f94a9 cppo.1.8.0 ae65ae8da728 csexp.1.5.2 a8c3b011f80e dune.3.24.2 c1eeb99f6e21 dune-build-info.3.24.2 087f8a84ce67 dune-configurator.3.24.2 f3ea3aed4b06 either.1.0.0 49a2eec46270 fmt.0.11.0 fcdd77a41ef9 gen.1.1 fd379e329c64 hashcons.1.4.0 3de5dadc8149 iter.1.9 670d79aa71c6 logs.0.10.0 3fea10c2f5bd menhir.20260209 b99afb68669d menhirCST.20260209 7c6dcb11d404 menhirGLR.20260209 19b5eac2c4b8 menhirLib.20260209 c6a771eba0d4 menhirSdk.20260209 f5db0299937d mtime.1.4.0 7471ff91f403 ocaml.4.14.2 458ea8e41f1f ocaml-base-compiler.4.14.2 5e7f4ffd456a ocaml-compiler-libs.v0.12.4 0894859c81d2 ocaml-config.2 04f0ffe19acf ocamlbuild.0.16.1 f3be9d38f777 ocamlfind.1.9.8 664b1606b92b ppx_derivers.1.2.1 616aee6c1b32 ppx_deriving.6.1.3 53fe9dcb52f5 ppxlib.0.38.0 3f908db9985d printbox.0.5 66dd14798c2f result.1.5 6c25d4597d7c seq.base 58d3032df7b1 sexplib0.v0.17.0 fb7b48098c4f stdcompat.21.1 3cd8e979d474 stdlib-shims.0.3.0 d4db3d53fc47 topkg.1.1.1 7bd6b0867511 visitors.20260520 4a5b4c9d975b === 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 -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__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__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__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__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__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-09-03 22:38.59: OK: build electrod.1.0.0 (runc: 16.1s, disk: 47KB) 2026-09-03 22:38.59: Job succeeded