Build:
- 0
2026-09-04 00:56.45: New job: build alba.0.4.1 (ea4b1d5af444) 2026-09-04 00:56.45: Waiting for resource in pool day11-builds 2026-09-04 01:10.44: Got resource from pool day11-builds 2026-09-04 01:10.44: [profile full] build alba.0.4.1 2026-09-04 01:10.44: build alba.0.4.1 (ea4b1d5af444) === DEPENDENCIES (43 transitive) === base.v0.16.5 9b8d977c1f60 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e cmdliner.2.1.1 73e54961174b csexp.1.5.2 c758d7657e5b dune.3.24.2 bf83cdf0a904 dune-configurator.3.24.2 23afe5cb4d3b gen.1.1 d4273db2c7bb jane-street-headers.v0.16.0 a1db51862944 js_of_ocaml.6.4.1 9bd18da1d431 js_of_ocaml-compiler.6.4.1 243a702b79ae js_of_ocaml-ppx.6.4.1 2fe7f8d7bd00 jst-config.v0.16.0 4e94ecdefa91 linenoise.1.5.1 98aed668de5f menhir.20260209 b5ea77665ed0 menhirCST.20260209 fdf00709dc1b menhirGLR.20260209 e8065dac32e6 menhirLib.20260209 588b502bc771 menhirSdk.20260209 8571405b07e4 ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-compiler-libs.v0.12.4 0a923ba812db ocaml-config.2 85edea6ac168 ppx_assert.v0.16.0 ce5564bffd71 ppx_base.v0.16.0 9b76f585141d ppx_cold.v0.16.0 8f0d342dc059 ppx_compare.v0.16.0 10f17424473f ppx_derivers.1.2.1 e8685a77fc9e ppx_enumerate.v0.16.0 6a634000a580 ppx_globalize.v0.16.0 1461705b8ffa ppx_hash.v0.16.0 272280437fc5 ppx_here.v0.16.0 cc4a7d8893b3 ppx_inline_test.v0.16.1 6a6226af324e ppx_optcomp.v0.16.0 4b8060e05ea5 ppx_sexp_conv.v0.16.0 c4d7e3e92e0a ppxlib.0.35.0 46c1dac34d3c sedlex.3.7 f87f3791de62 seq.base 1957e27deb9b sexplib0.v0.16.0 a69f43de36f7 stdio.v0.16.0 3befbb9c732f stdlib-shims.0.3.0 484c72a128b6 time_now.v0.16.0 8dd2be09a440 yojson.3.0.0 74cfe9abd4f0 === STDOUT === Processing: [default: loading data] [alba.0.4.1: dl] [alba.0.4.1: extract] -> retrieved alba.0.4.1 (https://opam.ocaml.org/cache) [alba: dune build] + /home/opam/.opam/default/bin/dune "build" "@install" "-p" "alba" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/alba.0.4.1) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I ocaml/fmlib/node/.fmlib_node.objs/byte -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/js_of_ocaml -I /home/opam/.opam/default/lib/js_of_ocaml-compiler/runtime -I /home/opam/.opam/default/lib/js_of_ocaml-ppx -I /home/opam/.opam/default/lib/js_of_ocaml-ppx/as-lib -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -intf-suffix .ml -no-alias-deps -open Fmlib_node -o ocaml/fmlib/node/.fmlib_node.objs/byte/fmlib_node__File_system.cmo -c -impl ocaml/fmlib/node/file_system.pp.ml) - File "ocaml/fmlib/node/file_system.ml", line 114, characters 4-9: - 114 | | Error _ -> - ^^^^^ - Alert deprecated: Error - [since 4.0] Use [Js_error.Exn] instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -no-alias-deps -o ocaml/alba1/.alba.eobjs/byte/container.cmo -c -impl ocaml/alba1/container.ml) - File "ocaml/alba1/container.ml", line 62, characters 16-34: - 62 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 145, characters 16-34: - 145 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 150, characters 16-34: - 150 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I ocaml/alba1/.alba.eobjs/byte -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -no-alias-deps -o ocaml/alba1/.alba.eobjs/byte/support.cmo -c -impl ocaml/alba1/support.ml) - File "ocaml/alba1/support.ml", line 675, characters 16-34: - 675 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/support.ml", line 769, characters 16-34: - 769 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/support.ml", line 774, characters 16-34: - 774 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/fmlib/node/.fmlib_node.objs/byte -I ocaml/fmlib/node/.fmlib_node.objs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/js_of_ocaml -I /home/opam/.opam/default/lib/js_of_ocaml-compiler/runtime -I /home/opam/.opam/default/lib/js_of_ocaml-ppx -I /home/opam/.opam/default/lib/js_of_ocaml-ppx/as-lib -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -open Fmlib_node -o ocaml/fmlib/node/.fmlib_node.objs/native/fmlib_node__File_system.cmx -c -impl ocaml/fmlib/node/file_system.pp.ml) - File "ocaml/fmlib/node/file_system.ml", line 114, characters 4-9: - 114 | | Error _ -> - ^^^^^ - Alert deprecated: Error - [since 4.0] Use [Js_error.Exn] instead. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/container.cmx -c -impl ocaml/alba1/container.ml) - File "ocaml/alba1/container.ml", line 62, characters 16-34: - 62 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 67, characters 16-34: - 67 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 145, characters 16-34: - 145 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/container.ml", line 150, characters 16-34: - 150 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/support.cmx -c -impl ocaml/alba1/support.ml) - File "ocaml/alba1/support.ml", line 675, characters 16-34: - 675 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/support.ml", line 769, characters 16-34: - 769 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/support.ml", line 774, characters 16-34: - 774 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/term.cmx -c -impl ocaml/alba1/term.ml) - File "ocaml/alba1/term.ml", line 36, characters 16-34: - 36 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "ocaml/alba1/term.ml", line 41, characters 16-34: - 41 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/term_table.cmx -c -impl ocaml/alba1/term_table.ml) - File "ocaml/alba1/term_table.ml", line 21, characters 16-34: - 21 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/module.cmx -c -impl ocaml/alba1/module.ml) - File "ocaml/alba1/module.ml", line 203, characters 6-24: - 203 | Pervasives.compare m1.name m2.name - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/feature_table.cmx -c -impl ocaml/alba1/feature_table.ml) - File "ocaml/alba1/feature_table.ml", line 16, characters 16-34: - 16 | let compare = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/term_builder.cmx -c -impl ocaml/alba1/term_builder.ml) - File "ocaml/alba1/term_builder.ml", line 235, characters 13-31: - 235 | Array.sort Pervasives.compare used; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/proof_context.cmx -c -impl ocaml/alba1/proof_context.ml) - File "ocaml/alba1/proof_context.ml", line 461, characters 17-35: - 461 | Array.sort Pervasives.compare insp_vars; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I ocaml/alba1/.alba.eobjs/byte -I ocaml/alba1/.alba.eobjs/native -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/time_now -I ocaml/fmlib/.fmlib.objs/byte -I ocaml/fmlib/.fmlib.objs/native -intf-suffix .ml -no-alias-deps -o ocaml/alba1/.alba.eobjs/native/source_prover.cmx -c -impl ocaml/alba1/source_prover.ml) - File "ocaml/alba1/source_prover.ml", line 546, characters 6-8: - 546 | let tp = - ^^ - Warning 26 [unused-var]: unused variable tp. - File "ocaml/alba1/source_prover.ml", line 1512, characters 12-19: - 1512 | let ind_idx = Class_table.primary_induction_law cls (PC.class_table pc) - ^^^^^^^ - Warning 26 [unused-var]: unused variable ind_idx. -> compiled alba.0.4.1 -> installed alba.0.4.1 === STDERR === 2026-09-04 01:11.10: OK: build alba.0.4.1 (runc: 20.1s, disk: 31KB) 2026-09-04 01:11.10: Job succeeded