Build:
- 0
2026-06-16 12:14.24: New job: build alba.0.4.0 (1595efa85ed8) 2026-06-16 12:14.24: Waiting for resource in pool day11-builds 2026-06-16 12:51.08: Got resource from pool day11-builds 2026-06-16 12:51.08: [profile full] build alba.0.4.0 2026-06-16 12:51.08: build alba.0.4.0 (1595efa85ed8) === DEPENDENCIES (13 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d dune.3.23.1 5402470d931c menhir.20260209 949a55ecfabe menhirCST.20260209 2f7f161ea867 menhirGLR.20260209 88b9413f2126 menhirLib.20260209 33c89da356e0 menhirSdk.20260209 3e7d50160069 ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e === STDOUT === Processing: [default: loading data] [alba.0.4.0: dl] [alba.0.4.0: extract] -> retrieved alba.0.4.0 (https://opam.ocaml.org/cache) [alba: make build] + /usr/bin/make "build" (CWD=/home/opam/.opam/default/.opam-switch/build/alba.0.4.0) - cd ocaml; \ - make alba.native; \ - make alba.d.byte; \ - make alba.base - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' - ocamlbuild -use-ocamlfind -Is lib,_draft -yaccflags --explain,--dump,--infer,--fixed-exception -lib unix alba.native - + ocamlfind ocamlc -config - + ocamlfind ocamldep -modules alba.ml > alba.ml.depends - + ocamlfind ocamldep -modules alba_generic.mli > alba_generic.mli.depends - + ocamlfind ocamldep -modules platform.mli > platform.mli.depends - + ocamlfind ocamlc -c -I lib -o alba_generic.cmi alba_generic.mli - + ocamlfind ocamlc -c -I lib -o platform.cmi platform.mli - + ocamlfind ocamlc -c -I lib -o alba.cmo alba.ml - + ocamlfind ocamldep -modules alba_generic.ml > alba_generic.ml.depends - + ocamlfind ocamldep -modules ast.ml > ast.ml.depends - + ocamlfind ocamldep -modules ast.mli > ast.mli.depends - + ocamlfind ocamldep -modules proof_context.mli > proof_context.mli.depends - + ocamlfind ocamldep -modules class_table.mli > class_table.mli.depends - + ocamlfind ocamldep -modules container.ml > container.ml.depends - + ocamlfind ocamldep -modules module.mli > module.mli.depends - + ocamlfind ocamldep -modules command_line.mli > command_line.mli.depends - + ocamlfind ocamldep -modules support.ml > support.ml.depends - + ocamlfind ocamlc -c -I lib -o container.cmo container.ml - + ocamlfind ocamlc -c -I lib -o container.cmo container.ml - File "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 "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 "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 "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 - + ocamlfind ocamlc -c -I lib -o command_line.cmi command_line.mli - + ocamlfind ocamlc -c -I lib -o support.cmo support.ml - + ocamlfind ocamlc -c -I lib -o support.cmo support.ml - File "support.ml", line 676, characters 16-34: - 676 | 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 "support.ml", line 770, characters 16-34: - 770 | 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 "support.ml", line 775, characters 16-34: - 775 | 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 - + ocamlfind ocamldep -modules signature.ml > signature.ml.depends - + ocamlfind ocamldep -modules lib/option.mli > lib/option.mli.depends - + ocamlfind ocamldep -modules lib/monad.mli > lib/monad.mli.depends - + ocamlfind ocamlc -c -I lib -o lib/monad.cmi lib/monad.mli - + ocamlfind ocamldep -modules term.mli > term.mli.depends - + ocamlfind ocamldep -modules tvars.mli > tvars.mli.depends - + ocamlfind ocamlc -c -I lib -o term.cmi term.mli - + ocamlfind ocamlc -c -I lib -o lib/option.cmi lib/option.mli - + ocamlfind ocamlc -c -I lib -o tvars.cmi tvars.mli - + ocamlfind ocamlc -c -I lib -o module.cmi module.mli - + ocamlfind ocamlc -c -I lib -o signature.cmo signature.ml - + ocamlfind ocamldep -modules context.mli > context.mli.depends - + ocamlfind ocamlc -c -I lib -o class_table.cmi class_table.mli - + ocamlfind ocamldep -modules feature_table.mli > feature_table.mli.depends - + ocamlfind ocamldep -modules feature.mli > feature.mli.depends - + ocamlfind ocamlc -c -I lib -o feature.cmi feature.mli - + ocamlfind ocamlc -c -I lib -o feature_table.cmi feature_table.mli - + ocamlfind ocamldep -modules proof.ml > proof.ml.depends - + ocamlfind ocamldep -modules rule_data.mli > rule_data.mli.depends - + ocamlfind ocamlc -c -I lib -o context.cmi context.mli - + ocamlfind ocamlc -c -I lib -o proof.cmo proof.ml - + ocamlfind ocamlc -c -I lib -o rule_data.cmi rule_data.mli - + ocamlfind ocamlc -c -I lib -o proof_context.cmi proof_context.mli - + ocamlfind ocamlc -c -I lib -o ast.cmi ast.mli - + ocamlfind ocamldep -modules class_table.ml > class_table.ml.depends - + ocamlfind ocamldep -modules constants.ml > constants.ml.depends - + ocamlfind ocamldep -modules constants.mli > constants.mli.depends - + ocamlfind ocamlc -c -I lib -o constants.cmi constants.mli - + ocamlfind ocamldep -modules module.ml > module.ml.depends - + ocamlfind ocamldep -modules command_line.ml > command_line.ml.depends - + ocamlfind ocamlopt -c -I lib -o container.cmx container.ml - + ocamlfind ocamlopt -c -I lib -o container.cmx container.ml - File "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 "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 "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 "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 - + ocamlfind ocamlopt -c -I lib -o support.cmx support.ml - + ocamlfind ocamlopt -c -I lib -o support.cmx support.ml - File "support.ml", line 676, characters 16-34: - 676 | 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 "support.ml", line 770, characters 16-34: - 770 | 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 "support.ml", line 775, characters 16-34: - 775 | 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 - + /home/opam/.opam/default/bin/ocamllex.opt -q lexer.mll - + ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' parser.mly > parser.mly.depends - + menhir --ocamlc 'ocamlfind ocamlc -I lib' --explain --dump --infer --fixed-exception --infer parser.mly - + ocamlfind ocamldep -modules parser.mli > parser.mli.depends - + ocamlfind ocamlc -c -I lib -o parser.cmi parser.mli - + ocamlfind ocamlc -c -I lib -o lexer.cmo lexer.ml - + ocamlfind ocamldep -modules parser.ml > parser.ml.depends - + ocamlfind ocamlopt -c -I lib -o parser.cmx parser.ml - + ocamlfind ocamldep -modules lib/option.ml > lib/option.ml.depends - + ocamlfind ocamldep -modules lib/monad.ml > lib/monad.ml.depends - + ocamlfind ocamlopt -c -I lib -o lib/monad.cmx lib/monad.ml - + ocamlfind ocamldep -modules platform.ml > platform.ml.depends - + ocamlfind ocamldep -modules topological_sort.ml > topological_sort.ml.depends - + ocamlfind ocamldep -modules topological_sort.mli > topological_sort.mli.depends - + ocamlfind ocamlc -c -I lib -o topological_sort.cmi topological_sort.mli - + ocamlfind ocamlopt -c -I lib -o command_line.cmx command_line.ml - + ocamlfind ocamlopt -c -I lib -o lexer.cmx lexer.ml - + ocamlfind ocamlopt -c -I lib -o lib/option.cmx lib/option.ml - + ocamlfind ocamlopt -c -I lib -o platform.cmx platform.ml - + ocamlfind ocamlopt -c -I lib -o topological_sort.cmx topological_sort.ml - + ocamlfind ocamldep -modules term.ml > term.ml.depends - + ocamlfind ocamldep -modules tvars.ml > tvars.ml.depends - + ocamlfind ocamlopt -c -I lib -o term.cmx term.ml - + ocamlfind ocamlopt -c -I lib -o term.cmx term.ml - File "term.ml", line 34, characters 16-34: - 34 | 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 "term.ml", line 39, characters 16-34: - 39 | 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 - + ocamlfind ocamlopt -c -I lib -o tvars.cmx tvars.ml - + ocamlfind ocamlopt -c -I lib -o constants.cmx constants.ml - + ocamlfind ocamlopt -c -I lib -o module.cmx module.ml - + ocamlfind ocamlopt -c -I lib -o module.cmx module.ml - File "module.ml", line 202, characters 6-24: - 202 | 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 - + ocamlfind ocamlopt -c -I lib -o signature.cmx signature.ml - + ocamlfind ocamldep -modules context.ml > context.ml.depends - + ocamlfind ocamlopt -c -I lib -o class_table.cmx class_table.ml - + ocamlfind ocamldep -modules feature_table.ml > feature_table.ml.depends - + ocamlfind ocamldep -modules feature.ml > feature.ml.depends - + ocamlfind ocamldep -modules term_algo.ml > term_algo.ml.depends - + ocamlfind ocamldep -modules term_algo.mli > term_algo.mli.depends - + ocamlfind ocamlc -c -I lib -o term_algo.cmi term_algo.mli - + ocamlfind ocamldep -modules term_table.ml > term_table.ml.depends - + ocamlfind ocamldep -modules term_table.mli > term_table.mli.depends - + ocamlfind ocamlc -c -I lib -o term_table.cmi term_table.mli - + ocamlfind ocamldep -modules type_substitution.ml > type_substitution.ml.depends - + ocamlfind ocamldep -modules type_substitution.mli > type_substitution.mli.depends - + ocamlfind ocamlc -c -I lib -o type_substitution.cmi type_substitution.mli - + ocamlfind ocamlopt -c -I lib -o feature.cmx feature.ml - + ocamlfind ocamlopt -c -I lib -o term_algo.cmx term_algo.ml - + ocamlfind ocamlopt -c -I lib -o term_table.cmx term_table.ml - + ocamlfind ocamlopt -c -I lib -o term_table.cmx term_table.ml - File "term_table.ml", line 18, characters 16-34: - 18 | 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 - + ocamlfind ocamlopt -c -I lib -o type_substitution.cmx type_substitution.ml - + ocamlfind ocamlopt -c -I lib -o feature_table.cmx feature_table.ml - + ocamlfind ocamlopt -c -I lib -o feature_table.cmx feature_table.ml - File "feature_table.ml", line 14, characters 16-34: - 14 | 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 - + ocamlfind ocamldep -modules inherit.ml > inherit.ml.depends - + ocamlfind ocamldep -modules inherit.mli > inherit.mli.depends - + ocamlfind ocamlc -c -I lib -o inherit.cmi inherit.mli - + ocamlfind ocamldep -modules proof_context.ml > proof_context.ml.depends - + ocamlfind ocamldep -modules ass_seq.ml > ass_seq.ml.depends - + ocamlfind ocamldep -modules ass_seq.mli > ass_seq.mli.depends - + ocamlfind ocamlc -c -I lib -o ass_seq.cmi ass_seq.mli - + ocamlfind ocamlopt -c -I lib -o context.cmx context.ml - + ocamlfind ocamldep -modules induction.ml > induction.ml.depends - + ocamlfind ocamldep -modules induction.mli > induction.mli.depends - + ocamlfind ocamlc -c -I lib -o induction.cmi induction.mli - + ocamlfind ocamldep -modules pattern.ml > pattern.ml.depends - + ocamlfind ocamldep -modules pattern.mli > pattern.mli.depends - + ocamlfind ocamlc -c -I lib -o pattern.cmi pattern.mli - + ocamlfind ocamlopt -c -I lib -o proof.cmx proof.ml - + ocamlfind ocamldep -modules proof_table.ml > proof_table.ml.depends - + ocamlfind ocamldep -modules proof_table.mli > proof_table.mli.depends - + ocamlfind ocamlc -c -I lib -o proof_table.cmi proof_table.mli - + ocamlfind ocamlopt -c -I lib -o ass_seq.cmx ass_seq.ml - + ocamlfind ocamlopt -c -I lib -o pattern.cmx pattern.ml - + ocamlfind ocamldep -modules rule_data.ml > rule_data.ml.depends - + ocamlfind ocamlopt -c -I lib -o induction.cmx induction.ml - + ocamlfind ocamlopt -c -I lib -o proof_table.cmx proof_table.ml - + ocamlfind ocamlopt -c -I lib -o rule_data.cmx rule_data.ml - + ocamlfind ocamldep -modules prover.ml > prover.ml.depends - + ocamlfind ocamlc -c -I lib -o prover.cmo prover.ml - + ocamlfind ocamlopt -c -I lib -o proof_context.cmx proof_context.ml - + ocamlfind ocamlopt -c -I lib -o proof_context.cmx proof_context.ml - File "proof_context.ml", line 460, characters 17-35: - 460 | 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 - + ocamlfind ocamlopt -c -I lib -o prover.cmx prover.ml - + ocamlfind ocamldep -modules source_prover.ml > source_prover.ml.depends - + ocamlfind ocamldep -modules source_prover.mli > source_prover.mli.depends - + ocamlfind ocamlc -c -I lib -o source_prover.cmi source_prover.mli - + ocamlfind ocamldep -modules typer.ml > typer.ml.depends - + ocamlfind ocamldep -modules typer.mli > typer.mli.depends - + ocamlfind ocamlc -c -I lib -o typer.cmi typer.mli - + ocamlfind ocamldep -modules term_builder.ml > term_builder.ml.depends - + ocamlfind ocamldep -modules term_builder.mli > term_builder.mli.depends - + ocamlfind ocamlc -c -I lib -o term_builder.cmi term_builder.mli - + ocamlfind ocamlopt -c -I lib -o term_builder.cmx term_builder.ml - + ocamlfind ocamlopt -c -I lib -o term_builder.cmx term_builder.ml - File "term_builder.ml", line 233, characters 13-31: - 233 | 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 - + ocamlfind ocamlopt -c -I lib -o typer.cmx typer.ml - + ocamlfind ocamlopt -c -I lib -o inherit.cmx inherit.ml - + ocamlfind ocamlopt -c -I lib -o source_prover.cmx source_prover.ml - + ocamlfind ocamlopt -c -I lib -o source_prover.cmx source_prover.ml - File "source_prover.ml", line 546, characters 6-8: - 546 | let tp = - ^^ - Warning 26 [unused-var]: unused variable tp. - File "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. - + ocamlfind ocamlopt -c -I lib -o ast.cmx ast.ml - + ocamlfind ocamlopt -c -I lib -o alba_generic.cmx alba_generic.ml - + ocamlfind ocamlopt -c -I lib -o alba.cmx alba.ml - + ocamlfind ocamlopt unix.cmxa -linkpkg -I lib container.cmx ass_seq.cmx support.cmx command_line.cmx constants.cmx parser.cmx lexer.cmx lib/monad.cmx lib/option.cmx platform.cmx topological_sort.cmx module.cmx term.cmx tvars.cmx signature.cmx class_table.cmx feature.cmx term_algo.cmx term_table.cmx type_substitution.cmx feature_table.cmx context.cmx induction.cmx pattern.cmx proof.cmx proof_table.cmx rule_data.cmx proof_context.cmx prover.cmx inherit.cmx term_builder.cmx typer.cmx source_prover.cmx ast.cmx alba_generic.cmx alba.cmx -o alba.native - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' - ocamlbuild -use-ocamlfind -Is lib,_draft -yaccflags --explain,--dump,--infer,--fixed-exception -lib unix alba.d.byte - + ocamlfind ocamlc -config - + ocamlfind ocamlc -c -g -I lib -o alba.d.cmo alba.ml - + ocamlfind ocamlc -c -g -I lib -o alba_generic.d.cmo alba_generic.ml - + ocamlfind ocamlc -c -g -I lib -o platform.d.cmo platform.ml - + ocamlfind ocamlc -c -g -I lib -o ast.d.cmo ast.ml - + ocamlfind ocamlc -c -g -I lib -o command_line.d.cmo command_line.ml - + ocamlfind ocamlc -c -g -I lib -o container.d.cmo container.ml - + ocamlfind ocamlc -c -g -I lib -o container.d.cmo container.ml - File "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 "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 "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 "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 - + ocamlfind ocamlc -c -g -I lib -o module.d.cmo module.ml - + ocamlfind ocamlc -c -g -I lib -o module.d.cmo module.ml - File "module.ml", line 202, characters 6-24: - 202 | 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 - + ocamlfind ocamlc -c -g -I lib -o proof_context.d.cmo proof_context.ml - + ocamlfind ocamlc -c -g -I lib -o proof_context.d.cmo proof_context.ml - File "proof_context.ml", line 460, characters 17-35: - 460 | 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 - + ocamlfind ocamlc -c -g -I lib -o support.d.cmo support.ml - + ocamlfind ocamlc -c -g -I lib -o support.d.cmo support.ml - File "support.ml", line 676, characters 16-34: - 676 | 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 "support.ml", line 770, characters 16-34: - 770 | 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 "support.ml", line 775, characters 16-34: - 775 | 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 - + ocamlfind ocamlc -c -g -I lib -o topological_sort.d.cmo topological_sort.ml - + ocamlfind ocamlc -c -g -I lib -o class_table.d.cmo class_table.ml - + ocamlfind ocamlc -c -g -I lib -o constants.d.cmo constants.ml - + ocamlfind ocamlc -c -g -I lib -o context.d.cmo context.ml - + ocamlfind ocamlc -c -g -I lib -o feature.d.cmo feature.ml - + ocamlfind ocamlc -c -g -I lib -o feature_table.d.cmo feature_table.ml - + ocamlfind ocamlc -c -g -I lib -o feature_table.d.cmo feature_table.ml - File "feature_table.ml", line 14, characters 16-34: - 14 | 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 - + ocamlfind ocamlc -c -g -I lib -o inherit.d.cmo inherit.ml - + ocamlfind ocamlc -c -g -I lib -o lib/option.d.cmo lib/option.ml - + ocamlfind ocamlc -c -g -I lib -o proof.d.cmo proof.ml - + ocamlfind ocamlc -c -g -I lib -o prover.d.cmo prover.ml - + ocamlfind ocamlc -c -g -I lib -o signature.d.cmo signature.ml - + ocamlfind ocamlc -c -g -I lib -o source_prover.d.cmo source_prover.ml - + ocamlfind ocamlc -c -g -I lib -o source_prover.d.cmo source_prover.ml - File "source_prover.ml", line 546, characters 6-8: - 546 | let tp = - ^^ - Warning 26 [unused-var]: unused variable tp. - File "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. - + ocamlfind ocamlc -c -g -I lib -o term.d.cmo term.ml - + ocamlfind ocamlc -c -g -I lib -o term.d.cmo term.ml - File "term.ml", line 34, characters 16-34: - 34 | 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 "term.ml", line 39, characters 16-34: - 39 | 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 - + ocamlfind ocamlc -c -g -I lib -o tvars.d.cmo tvars.ml - + ocamlfind ocamlc -c -g -I lib -o typer.d.cmo typer.ml - + ocamlfind ocamlc -c -g -I lib -o lexer.d.cmo lexer.ml - + ocamlfind ocamlc -c -g -I lib -o parser.d.cmo parser.ml - + ocamlfind ocamlc -c -g -I lib -o lib/monad.d.cmo lib/monad.ml - + ocamlfind ocamlc -c -g -I lib -o term_algo.d.cmo term_algo.ml - + ocamlfind ocamlc -c -g -I lib -o term_table.d.cmo term_table.ml - + ocamlfind ocamlc -c -g -I lib -o term_table.d.cmo term_table.ml - File "term_table.ml", line 18, characters 16-34: - 18 | 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 - + ocamlfind ocamlc -c -g -I lib -o type_substitution.d.cmo type_substitution.ml - + ocamlfind ocamlc -c -g -I lib -o ass_seq.d.cmo ass_seq.ml - + ocamlfind ocamlc -c -g -I lib -o induction.d.cmo induction.ml - + ocamlfind ocamlc -c -g -I lib -o pattern.d.cmo pattern.ml - + ocamlfind ocamlc -c -g -I lib -o proof_table.d.cmo proof_table.ml - + ocamlfind ocamlc -c -g -I lib -o rule_data.d.cmo rule_data.ml - + ocamlfind ocamlc -c -g -I lib -o term_builder.d.cmo term_builder.ml - + ocamlfind ocamlc -c -g -I lib -o term_builder.d.cmo term_builder.ml - File "term_builder.ml", line 233, characters 13-31: - 233 | 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 - + ocamlfind ocamlc unix.cma -linkpkg -g -I lib constants.d.cmo container.d.cmo lib/monad.d.cmo lib/option.d.cmo support.d.cmo command_line.d.cmo parser.d.cmo lexer.d.cmo platform.d.cmo topological_sort.d.cmo module.d.cmo term.d.cmo tvars.d.cmo signature.d.cmo class_table.d.cmo feature.d.cmo term_algo.d.cmo term_table.d.cmo type_substitution.d.cmo feature_table.d.cmo context.d.cmo proof.d.cmo ass_seq.d.cmo induction.d.cmo pattern.d.cmo proof_table.d.cmo rule_data.d.cmo proof_context.d.cmo prover.d.cmo inherit.d.cmo term_builder.d.cmo typer.d.cmo source_prover.d.cmo ast.d.cmo alba_generic.d.cmo alba.d.cmo -o alba.d.byte - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' - make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' - ocamlbuild -use-ocamlfind -Is lib,_draft -yaccflags --explain,--dump,--infer,--fixed-exception -lib unix alba.native - + ocamlfind ocamlc -config - ./alba.native -work-dir ../library/alba.base init; \ - ./alba.native -work-dir ../library/alba.base compile - Compile module "core" - Compile module "boolean" - Compile module "predicate" - Compile module "relation" - Compile module "endorelation" - Compile module "function" - Compile module "order_relation" - Compile module "partial_order" - Compile module "semilattice" - Compile module "predicate_order" - Compile module "option" - Compile module "natural" - Compile module "list" - Compile module "linear_order" - Compile module "confluence" - Compile module "closure_system" - Compile module "binary_tree" - make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/alba.0.4.0/ocaml' -> compiled alba.0.4.0 -> installed alba.0.4.0 === STDERR === 2026-06-16 12:52.03: OK: build alba.0.4.0 (runc: 41.2s, disk: 33KB) 2026-06-16 12:52.03: Job succeeded