2026-06-24 12:09.28: New job: build beluga.0.8.2 (545fb16e92f9)
2026-06-24 12:09.28: Waiting for resource in pool day11-builds
2026-06-24 13:27.32: Got resource from pool day11-builds
2026-06-24 13:27.32: [profile full] build beluga.0.8.2
2026-06-24 13:27.32: build beluga.0.8.2 (545fb16e92f9)
=== DEPENDENCIES (13 transitive) ===
  base-bytes.base                                    c40d17bc86b5
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  camlp4.4.14+1                                      42aafa0fa55b
  cppo.1.8.0                                         5f3f70cae95b
  dune.3.23.1                                        848a72441e15
  extlib.1.8.0                                       6b63cbaccce6
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlbuild.0.16.1                                  7e0d6aadb209
  ocamlfind.1.9.8                                    214dd418ac02
  ulex.1.2                                           0fce28256124
=== STDOUT ===
Processing: [default: loading data]
[beluga.0.8.2: dl]
[beluga.0.8.2: extract]
[beluga.0.8.2/beluga.install: dl]
-> retrieved beluga.0.8.2  (https://opam.ocaml.org/cache)
[beluga: ocamlbuild 39]
+ /home/opam/.opam/default/bin/ocamlbuild "-r" "-use-ocamlfind" "-j" "39" "src/beluga/main.native" (CWD=/home/opam/.opam/default/.opam-switch/build/beluga.0.8.2)
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -modules src/beluga/main.ml > src/beluga/main.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/abstract.mli > src/core/abstract.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/id.mli > src/core/id.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/syntax.ml > src/core/syntax.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/synapx.ml > src/core/synapx.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/id.cmi src/core/id.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/pragma.ml > src/core/pragma.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/synint.ml > src/core/synint.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/pragma.cmo src/core/pragma.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/synint.cmo src/core/synint.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/synext.ml > src/core/synext.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/synapx.cmo src/core/synapx.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/synext.cmo src/core/synext.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/syntax.cmo src/core/syntax.ml
- + ocamlfind ocamldep -modules src/beluga/beli.ml > src/beluga/beli.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/abstract.cmi src/core/abstract.mli
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/command.mli > src/core/command.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/debug.mli > src/core/debug.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/interactive.ml > src/core/interactive.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/context.mli > src/core/context.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/coverage.mli > src/core/coverage.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/holes.mli > src/core/holes.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/logic.mli > src/core/logic.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/monitor.mli > src/core/monitor.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/pretty.mli > src/core/pretty.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/store.mli > src/core/store.mli.depends
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/store.cmi src/core/store.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/substitution.mli > src/core/substitution.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/whnf.mli > src/core/whnf.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/context.cmi src/core/context.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/coverage.cmi src/core/coverage.mli
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/holes.cmi src/core/holes.mli
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/logic.cmi src/core/logic.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/monitor.cmi src/core/monitor.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/pretty.cmi src/core/pretty.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/substitution.cmi src/core/substitution.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/whnf.cmi src/core/whnf.mli
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/parser.mli > src/core/parser.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/lexer.mli > src/core/lexer.mli.depends
- + ocamlfind ocamldep -syntax camlp4o -package camlp4.extend -package camlp4 -modules src/core/token.ml > src/core/token.ml.depends
- + ocamlfind ocamlc -c -annot -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/token.cmo src/core/token.ml
- + ocamlfind ocamlc -c -annot -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/token.cmo src/core/token.ml
- File "src/core/token.ml", lines 124-126, characters 21-69:
- 124 | .....................parser
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
- 126 |       | [<                 >] -> [<                                >]
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", lines 124-126, characters 21-69:
- 124 | .....................parser
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
- 126 |       | [<                 >] -> [<                                >]
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 11-23:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 36-56:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                                           ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 58-66:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                                                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 126, characters 33-69:
- 126 |       | [<                 >] -> [<                                >]
-                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/lexer.cmi src/core/lexer.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/lexer.cmi src/core/lexer.mli
- File "src/core/lexer.mli", line 19, characters 32-40:
- 19 | val mk : unit -> (Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t)
-                                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/lexer.mli", line 19, characters 62-70:
- 19 | val mk : unit -> (Loc.t -> char Stream.t -> (Token.t * Loc.t) Stream.t)
-                                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamldep -package camlp4 -modules src/core/recsgn.mli > src/core/recsgn.mli.depends
- fatal: not a git repository (or any of the parent directories): .git
- + ocamlfind ocamldep -package camlp4 -modules src/core/version.ml > src/core/version.ml.depends
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/command.cmi src/core/command.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/debug.cmi src/core/debug.mli
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/interactive.cmo src/core/interactive.ml
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/parser.cmi src/core/parser.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/recsgn.cmi src/core/recsgn.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/version.cmo src/core/version.ml
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/parser.cmi src/core/parser.mli
- File "src/core/parser.mli", line 14, characters 16-24:
- 14 |   -> input:char Stream.t
-                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/interactive.cmo src/core/interactive.ml
- File "src/core/interactive.ml", line 166, characters 40-56:
- 166 |          | Some vGen -> Some (fun () -> String.lowercase (vGen ()))
-                                               ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + ocamlfind ocamldep -package camlp4 -modules src/core/cfg.ml > src/core/cfg.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/error.mli > src/core/error.mli.depends
- + ocamlfind ocamldep -package str -package camlp4 -modules src/core/html.mli > src/core/html.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/lfholes.mli > src/core/lfholes.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/lfrecon.ml > src/core/lfrecon.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/apxnorm.ml > src/core/apxnorm.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/error.cmi src/core/error.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/index.mli > src/core/index.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/index.cmi src/core/index.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/check.mli > src/core/check.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/convSigma.mli > src/core/convSigma.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/ctxsub.mli > src/core/ctxsub.mli.depends
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/lfholes.cmi src/core/lfholes.mli
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/subord.mli > src/core/subord.mli.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/unify.ml > src/core/unify.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/convSigma.cmi src/core/convSigma.mli
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/subord.cmi src/core/subord.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/trail.mli > src/core/trail.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/trail.cmi src/core/trail.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/apxnorm.cmo src/core/apxnorm.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/check.cmi src/core/check.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/ctxsub.cmi src/core/ctxsub.mli
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/unify.cmo src/core/unify.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/locs.mli > src/core/locs.mli.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/loctesting.ml > src/core/loctesting.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/locs.cmi src/core/locs.mli
- + ocamlfind ocamldep -package camlp4 -modules src/core/sexp.ml > src/core/sexp.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/gensym.mli > src/core/gensym.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/gensym.cmi src/core/gensym.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/gensym.cmi src/core/gensym.mli
- File "src/core/gensym.mli", line 1, characters 44-52:
- 1 | val create_symbols : string array -> string Stream.t
-                                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/typeinfo.mli > src/core/typeinfo.mli.depends
- + ocamlfind ocamlc -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/beli.cmo src/beluga/beli.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/cfg.cmo src/core/cfg.ml
- + ocamlfind ocamlc -c -annot -package str -package camlp4 -w -P -w -P -I src/core -o src/core/html.cmi src/core/html.mli
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/lfrecon.cmo src/core/lfrecon.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/loctesting.cmo src/core/loctesting.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/sexp.cmo src/core/sexp.ml
- + ocamlfind ocamlc -c -annot -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/typeinfo.cmi src/core/typeinfo.mli
- + ocamlfind ocamlc -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/main.cmo src/beluga/main.ml
- + ocamlfind ocamlc -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/main.cmo src/beluga/main.ml
- File "src/beluga/main.ml", line 71, characters 21-36:
- 71 |         with Failure "int_of_string" ->
-                           ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "src/beluga/main.ml", line 77, characters 12-28:
- 77 |   | _ when (String.lowercase arg = "+htmltest") -> Html.genHtml := true; Html.filename := "/dev/null"; rest
-                  ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "src/beluga/main.ml", line 81, characters 12-28:
- 81 |   | _ when (String.lowercase arg = "+cssfile") ->
-                  ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + ocamlfind ocamldep -package camlp4 -modules src/core/abstract.ml > src/core/abstract.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/context.ml > src/core/context.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/error.ml > src/core/error.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/id.ml > src/core/id.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/gensym.ml > src/core/gensym.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/gensym.cmx src/core/gensym.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/gensym.cmx src/core/gensym.ml
- File "src/core/gensym.ml", line 3, characters 54-62:
- 3 | let create_symbols (alphabet : string array) : string Stream.t =
-                                                           ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/gensym.ml", line 19, characters 4-15:
- 19 |     Stream.from next
-          ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/gensym.ml", line 42, characters 18-29:
- 42 |   let gensym () = Stream.next !symbols
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/gensym.ml", line 46, characters 17-28:
- 46 |       (fun () -> Stream.next symbols)
-                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/gensym.ml", line 61, characters 18-29:
- 61 |   let gensym () = Stream.next !symbols
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/gensym.ml", line 65, characters 17-28:
- 65 |       (fun () -> Stream.next symbols)
-                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/id.cmx src/core/id.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/pragma.cmx src/core/pragma.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synint.cmx src/core/synint.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synint.cmx src/core/synint.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synapx.cmx src/core/synapx.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synext.cmx src/core/synext.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synapx.cmx src/core/synapx.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/synext.cmx src/core/synext.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/syntax.cmx src/core/syntax.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/syntax.cmx src/core/syntax.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamldep -package camlp4 -modules src/core/substitution.ml > src/core/substitution.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/error.cmx src/core/error.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/substitution.cmx src/core/substitution.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/debug.ml > src/core/debug.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/pretty.ml > src/core/pretty.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/context.cmx src/core/context.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/prettyext.ml > src/core/prettyext.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/prettyext.cmo src/core/prettyext.ml
- + ocamlfind ocamldep -package str -package camlp4 -modules src/core/html.ml > src/core/html.ml.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/store.ml > src/core/store.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package str -package camlp4 -w -P -w -P -I src/core -o src/core/html.cmx src/core/html.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/store.cmx src/core/store.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/store.cmx src/core/store.ml
- File "src/core/store.ml", line 1083, characters 14-25:
- 1083 |       let s = Stream.next gen in
-                      ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamldep -package camlp4 -modules src/core/whnf.ml > src/core/whnf.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/debug.cmx src/core/debug.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/prettyext.cmx src/core/prettyext.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/whnf.cmx src/core/whnf.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/pretty.cmx src/core/pretty.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/abstract.cmx src/core/abstract.ml
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/command.ml > src/core/command.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/check.ml > src/core/check.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/coverage.ml > src/core/coverage.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/convSigma.ml > src/core/convSigma.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/ctxsub.ml > src/core/ctxsub.ml.depends
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/subord.ml > src/core/subord.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/total.ml > src/core/total.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/order.ml > src/core/order.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/order.cmo src/core/order.ml
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/total.cmo src/core/total.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/convSigma.cmx src/core/convSigma.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/monitor.ml > src/core/monitor.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/subord.cmx src/core/subord.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/trail.ml > src/core/trail.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/monitor.cmx src/core/monitor.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/trail.cmx src/core/trail.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/order.cmx src/core/order.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/unify.cmx src/core/unify.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/unify.cmx src/core/unify.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/ctxsub.cmx src/core/ctxsub.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/total.cmx src/core/total.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/lfcheck.ml > src/core/lfcheck.ml.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/lfcheck.cmo src/core/lfcheck.ml
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/typeinfo.ml > src/core/typeinfo.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/typeinfo.cmx src/core/typeinfo.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/typeinfo.cmx src/core/typeinfo.ml
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/coverage.cmx src/core/coverage.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/lfcheck.cmx src/core/lfcheck.ml
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/holes.ml > src/core/holes.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/index.ml > src/core/index.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/holes.cmx src/core/holes.ml
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/logic.ml > src/core/logic.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/check.cmx src/core/check.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/logic.cmx src/core/logic.ml
- + ocamlfind ocamldep -package extlib -package camlp4 -modules src/core/lfholes.ml > src/core/lfholes.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/index.cmx src/core/index.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/lfholes.cmx src/core/lfholes.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/apxnorm.cmx src/core/apxnorm.ml
- + ocamlfind ocamldep -package extlib -syntax camlp4o -package camlp4.extend -package camlp4 -modules src/core/parser.ml > src/core/parser.ml.depends
- + ocamlfind ocamldep -package ulex -syntax camlp4o -package camlp4.extend -package camlp4 -modules src/core/lexer.ml > src/core/lexer.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/token.cmx src/core/token.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/token.cmx src/core/token.ml
- File "src/core/token.ml", lines 124-126, characters 21-69:
- 124 | .....................parser
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
- 126 |       | [<                 >] -> [<                                >]
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", lines 124-126, characters 21-69:
- 124 | .....................parser
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
- 126 |       | [<                 >] -> [<                                >]
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 11-23:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 36-56:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                                           ^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 125, characters 58-66:
- 125 |       | [< ' (tok, loc); s >] -> [< ' filter_tok tok loc; filter s >]
-                                                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/token.ml", line 126, characters 33-69:
- 126 |       | [<                 >] -> [<                                >]
-                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package ulex -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/lexer.cmx src/core/lexer.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package ulex -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/lexer.cmx src/core/lexer.ml
- File "src/core/lexer.ml", line 403, characters 4-15:
- 403 |     Stream.from next
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamldep -package camlp4 -modules src/core/reconstruct.ml > src/core/reconstruct.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/reconstruct.mli > src/core/reconstruct.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/reconstruct.cmi src/core/reconstruct.mli
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/lfrecon.cmx src/core/lfrecon.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/recsgn.ml > src/core/recsgn.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/opsem.ml > src/core/opsem.ml.depends
- + ocamlfind ocamldep -package camlp4 -modules src/core/opsem.mli > src/core/opsem.mli.depends
- + ocamlfind ocamlc -c -annot -package camlp4 -w -P -w -P -I src/core -o src/core/opsem.cmi src/core/opsem.mli
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/reconstruct.cmx src/core/reconstruct.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/opsem.cmx src/core/opsem.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/cfg.cmx src/core/cfg.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/interactive.cmx src/core/interactive.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/parser.cmx src/core/parser.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/recsgn.cmx src/core/recsgn.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/interactive.cmx src/core/interactive.ml
- File "src/core/interactive.ml", line 166, characters 40-56:
- 166 |          | Some vGen -> Some (fun () -> String.lowercase (vGen ()))
-                                               ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -syntax camlp4o -package camlp4.extend -package camlp4 -w -P -w -P -I src/core -o src/core/parser.cmx src/core/parser.ml
- File "src/core/parser.ml", line 28, characters 8-20:
- 28 |   (fun (Stream.Error str) ->
-              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/parser.ml", line 1364, characters 15-31:
- 1364 |   let stream = Stream.of_string input in
-                       ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/parser.ml", line 1368, characters 15-32:
- 1368 |   let stream = Stream.of_channel input in
-                       ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/core/parser.ml", line 1372, characters 19-37:
- 1372 |   let in_channel = Pervasives.open_in name in
-                           ^^^^^^^^^^^^^^^^^^
- 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 "src/core/parser.ml", line 1373, characters 19-36:
- 1373 |   let stream     = Stream.of_channel in_channel in
-                           ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "_none_", line 1:
- Warning 58 [no-cmx-file]: no cmx file was found in path for module Camlp4, and its interface was not compiled with -opaque
- + ocamlfind ocamlopt -c -annot -for-pack Core -package extlib -package camlp4 -w -P -w -P -I src/core -o src/core/command.cmx src/core/command.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/version.cmx src/core/version.ml
- + ocamlfind ocamldep -package camlp4 -modules src/core/locs.ml > src/core/locs.ml.depends
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/locs.cmx src/core/locs.ml
- + ocamlfind ocamlopt -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/beli.cmx src/beluga/beli.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/loctesting.cmx src/core/loctesting.ml
- + ocamlfind ocamlopt -c -annot -for-pack Core -package camlp4 -w -P -w -P -I src/core -o src/core/sexp.cmx src/core/sexp.ml
- + ocamlfind ocamlopt -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/main.cmx src/beluga/main.ml
- + ocamlfind ocamlopt -c -annot -w -P -w -P -I src/beluga -I src/core -o src/beluga/main.cmx src/beluga/main.ml
- File "src/beluga/main.ml", line 71, characters 21-36:
- 71 |         with Failure "int_of_string" ->
-                           ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- File "src/beluga/main.ml", line 77, characters 12-28:
- 77 |   | _ when (String.lowercase arg = "+htmltest") -> Html.genHtml := true; Html.filename := "/dev/null"; rest
-                  ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "src/beluga/main.ml", line 81, characters 12-28:
- 81 |   | _ when (String.lowercase arg = "+cssfile") ->
-                  ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + ocamlfind ocamlopt -linkpkg -package 'unix, extlib, ulex, camlp4.lib, str' -I src/core -I src/beluga src/core/gensym.cmx src/core/id.cmx src/core/pragma.cmx src/core/synint.cmx src/core/synapx.cmx src/core/synext.cmx src/core/syntax.cmx src/core/error.cmx src/core/substitution.cmx src/core/context.cmx src/core/debug.cmx src/core/html.cmx src/core/store.cmx src/core/prettyext.cmx src/core/whnf.cmx src/core/pretty.cmx src/core/abstract.cmx src/core/index.cmx src/core/apxnorm.cmx src/core/cfg.cmx src/core/convSigma.cmx src/core/ctxsub.cmx src/core/monitor.cmx src/core/order.cmx src/core/subord.cmx src/core/trail.cmx src/core/unify.cmx src/core/total.cmx src/core/coverage.cmx src/core/typeinfo.cmx src/core/lfcheck.cmx src/core/check.cmx src/core/holes.cmx src/core/logic.cmx src/core/interactive.cmx src/core/token.cmx src/core/lexer.cmx src/core/lfholes.cmx src/core/lfrecon.cmx src/core/opsem.cmx src/core/parser.cmx src/core/reconstruct.cmx src/core/recsgn.cmx src/core/command.cmx src/core/version.cmx src/beluga/beli.cmx src/core/locs.cmx src/core/loctesting.cmx src/core/sexp.cmx src/beluga/main.cmx -o src/beluga/main.native
- # Parallel statistics: { count(total): 16(146), max: 8, min: 2, average(total): 3.250(1.247) }
-> compiled  beluga.0.8.2
-> installed beluga.0.8.2

=== STDERR ===

2026-06-24 13:28.09: OK: build beluga.0.8.2 (runc: 27.2s, disk: 42KB)
2026-06-24 13:28.09: Job succeeded