Building on clete.caelum.ci.dev (from ocaml/opam:debian-unstable) 2023-11-17 23:04.48 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2023-11-17 23:04.48 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 2dcd8684f95238ebe345f74fa6b964d42688f5b0")) 2023-11-17 23:04.48 ---> using "b0c8000718557b8df6d1174db7450577d3e662bdcbef702258ae014f9d274c4a" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2023-11-17 23:04.48 ---> using "ffa3c56d541ad61e0ad7a929f22642bbc60b6f0af5a2de19fe22937eb35228af" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.14' '4.14.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.14.1"} | "ocaml-system" {= "4.14.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.14.1 (cached) -> installed ocaml-base-compiler.4.14.1 -> installed ocaml-config.2 -> installed ocaml.4.14.1 Done. # Run eval $(opam env --switch=4.14) to update the current shell environment 2023-11-17 23:04.48 ---> using "bb7053fe2789bd1551358b92e535b7a1e2217220f32a25817d4f7b82aa88f659" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [198 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-17-1403.39-F-2023-11-09-2003.56.pdiff [280 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-17-1403.39-F-2023-11-09-2003.56.pdiff [280 kB] - Fetched 541 kB in 3s (200 kB/s) - Reading package lists... - 2023-11-17 23:04.48 ---> using "4e547f90287dcc2fdb913790b309d28d6c7f7b603f490cb20f991ac5c0c40043" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"beluga.1.0\"\ \nopam install -vy \"beluga.1.0\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"beluga.1.0\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] beluga.1.0 is not installed. Nothing to do. The following actions will be performed: === install 15 packages - install beluga 1.0 - install cppo 1.6.9 [required by extlib] - install dune 3.11.1 [required by beluga] - install dune-build-info 3.11.1 [required by beluga] - install extlib 1.7.9 [required by beluga] - install gen 1.1 [required by beluga] - install linenoise 1.4.0 [required by beluga] - install ocaml-compiler-libs v0.12.4 [required by ppxlib] - install ppx_derivers 1.2.1 [required by ppxlib] - install ppxlib 0.31.0 [required by sedlex] - install result 1.5 [required by linenoise] - install sedlex 3.2 [required by beluga] - install seq base [required by gen] - install sexplib0 v0.16.0 [required by ppxlib] - install stdlib-shims 0.3.0 [required by ppxlib] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/44: Processing 2/44: Processing 3/44: -> retrieved cppo.1.6.9 (cached) Processing 4/44: -> retrieved extlib.1.7.9 (cached) Processing 5/44: -> retrieved beluga.1.0 (cached) Processing 6/44: -> retrieved gen.1.1 (cached) Processing 7/44: -> retrieved linenoise.1.4.0 (cached) Processing 8/44: -> retrieved ocaml-compiler-libs.v0.12.4 (cached) Processing 9/44: -> retrieved ppx_derivers.1.2.1 (cached) Processing 10/44: -> retrieved result.1.5 (cached) Processing 11/44: -> retrieved sedlex.3.2 (cached) Processing 12/44: Processing 13/44: Processing 14/44: -> installed seq.base Processing 15/44: -> retrieved sexplib0.v0.16.0 (cached) Processing 16/44: -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved ppxlib.0.31.0 (cached) -> retrieved dune.3.11.1, dune-build-info.3.11.1 (cached) Processing 17/44: [dune: ocaml 71] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.11.1) - ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 71 - Processing 17/44: [dune: ./_boot/dune.exe build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.11.1) -> compiled dune.3.11.1 -> installed dune.3.11.1 Processing 19/44: [cppo: dune build] Processing 20/44: [cppo: dune build] [dune-build-info: rm] Processing 21/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] Processing 22/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] [ocaml-compiler-libs: dune build] Processing 23/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] Processing 24/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] Processing 25/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] Processing 26/44: [cppo: dune build] [dune-build-info: rm] [gen: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/csexp" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune-build-info.3.11.1) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "rm" "-rf" "vendor/pp" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune-build-info.3.11.1) Processing 26/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_derivers" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ppx_derivers.1.2.1) -> compiled ppx_derivers.1.2.1 Processing 26/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed ppx_derivers.1.2.1 Processing 27/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] [stdlib-shims: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/stdlib-shims.0.3.0) -> compiled stdlib-shims.0.3.0 Processing 27/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] -> installed stdlib-shims.0.3.0 Processing 28/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [result: dune build] [sexplib0: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "result" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/result.1.5) -> compiled result.1.5 Processing 28/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] -> installed result.1.5 Processing 29/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] Processing 30/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/cppo.1.6.9) -> compiled cppo.1.6.9 Processing 30/44: [dune-build-info: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] -> installed cppo.1.6.9 Processing 31/44: [dune-build-info: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] Processing 32/44: [dune-build-info: dune build] [extlib: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sexplib0" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sexplib0.v0.16.0) -> compiled sexplib0.v0.16.0 Processing 32/44: [dune-build-info: dune build] [extlib: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] -> installed sexplib0.v0.16.0 Processing 33/44: [dune-build-info: dune build] [extlib: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "@install" "-p" "gen" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/gen.1.1) -> compiled gen.1.1 Processing 33/44: [dune-build-info: dune build] [extlib: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] -> installed gen.1.1 Processing 34/44: [dune-build-info: dune build] [extlib: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "dune-build-info" "-j" "71" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune-build-info.3.11.1) -> compiled dune-build-info.3.11.1 Processing 34/44: [extlib: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] -> installed dune-build-info.3.11.1 Processing 35/44: [extlib: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "@install" "-p" "linenoise" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/linenoise.1.4.0) - (cd _build/default/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -g -I /home/opam/.opam/4.14/lib/ocaml -I /home/opam/.opam/4.14/lib/result -o linenoise_stubs.o -c linenoise_stubs.c) - linenoise_stubs.c: In function 'ml_add_completion': - linenoise_stubs.c:39:34: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 39 | caml_strdup(String_val(new_completion))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - linenoise_stubs.c: In function 'hints_bridge': - linenoise_stubs.c:60:13: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 60 | char *msg = caml_strdup(String_val(Field(Field(cb_result, 0), 0))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - linenoise_stubs.c: In function 'ml_linenoise': - linenoise_stubs.c:82:13: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 82 | const char *result = linenoise(caml_strdup(String_val(prompt))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - linenoise_stubs.c: In function 'ml_history_add': - linenoise_stubs.c:98:13: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 98 | CAMLreturn(Val_int(linenoiseHistoryAdd(caml_strdup(String_val(line))))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - linenoise_stubs.c: In function 'ml_history_save': - linenoise_stubs.c:110:13: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 110 | CAMLreturn(Val_int(linenoiseHistorySave(caml_strdup(String_val(filename))))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - linenoise_stubs.c: In function 'ml_history_load': - linenoise_stubs.c:116:13: warning: "caml_strdup" is deprecated: use "caml_stat_strdup" instead - 116 | CAMLreturn(Val_int(linenoiseHistoryLoad(caml_strdup(String_val(filename))))); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -> compiled linenoise.1.4.0 Processing 35/44: [extlib: dune build] [ocaml-compiler-libs: dune build] -> installed linenoise.1.4.0 Processing 36/44: [extlib: dune build] [ocaml-compiler-libs: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-compiler-libs" "-j" "71" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-compiler-libs.v0.12.4) -> compiled ocaml-compiler-libs.v0.12.4 Processing 36/44: [extlib: dune build] -> installed ocaml-compiler-libs.v0.12.4 Processing 37/44: [extlib: dune build] Processing 38/44: [extlib: dune build] [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "extlib" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/extlib.1.7.9) -> compiled extlib.1.7.9 Processing 38/44: [ppxlib: dune build] -> installed extlib.1.7.9 Processing 39/44: [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppxlib" "-j" "71" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ppxlib.0.31.0) -> compiled ppxlib.0.31.0 -> installed ppxlib.0.31.0 Processing 41/44: [sedlex: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sedlex" "-j" "71" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sedlex.3.2) -> compiled sedlex.3.2 -> installed sedlex.3.2 Processing 43/44: [beluga: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "beluga" "-j" "71" (CWD=/home/opam/.opam/4.14/.opam-switch/build/beluga.1.0) - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__Gensym.cmi -c -intf src/core/gensym.pp.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. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__LinkStream.cmi -c -intf src/core/linkStream.pp.mli) - File "src/core/linkStream.mli", line 41, characters 19-27: - 41 | val of_stream : 'a Stream.t -> 'a t - ^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__Gensym.cmx -c -impl src/core/gensym.pp.ml) - File "src/core/gensym.ml", line 11, characters 54-62: - 11 | 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 39, characters 2-13: - 39 | Stream.from next - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/gensym.ml", line 58, characters 18-29: - 58 | let gensym () = Stream.next !symbols - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/gensym.ml", line 62, characters 15-26: - 62 | (fun () -> Stream.next symbols) - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/gensym.ml", line 80, characters 18-29: - 80 | let gensym () = Stream.next !symbols - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/gensym.ml", line 84, characters 15-26: - 84 | (fun () -> Stream.next symbols) - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__LinkStream.cmx -c -impl src/core/linkStream.pp.ml) - File "src/core/linkStream.ml", line 18, characters 22-30: - 18 | let of_stream (s : 'a Stream.t) : 'a t = - ^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/linkStream.ml", line 24, characters 16-27: - 24 | Some (Stream.next s) - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "src/core/linkStream.ml", line 26, characters 10-24: - 26 | | Stream.Failure -> None - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__Error.cmx -c -impl src/core/error.pp.ml) - File "src/core/error.ml", lines 116-122, characters 4-7: - 116 | ....begin fun (Sys_error msg) -> - 117 | print - 118 | begin fun ppf -> - 119 | Format.fprintf ppf "System error: %s" - 120 | msg - 121 | end - 122 | end. - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - *extension* - Matching over values of extensible variant types (the *extension* above) - must include a wild card pattern in order to be exhaustive. - File "src/core/error.ml", lines 125-131, characters 4-7: - 125 | ....begin fun (Violation msg) -> - 126 | print - 127 | begin fun ppf -> - 128 | Format.fprintf ppf "@[<v>Internal error (please report as a bug):@,@[%a@]@]" - 129 | Format.pp_print_string msg - 130 | end - 131 | end. - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - *extension* - Matching over values of extensible variant types (the *extension* above) - must include a wild card pattern in order to be exhaustive. - File "src/core/error.ml", lines 134-141, characters 4-7: - 134 | ....begin fun (NotImplemented (loc, msg)) -> - 135 | print - 136 | begin fun ppf -> - 137 | Maybe.when_some loc print_location; - 138 | Format.fprintf ppf "@[<v>Not implemented.@,@[%a@]@]" - 139 | Format.pp_print_string msg - 140 | end - 141 | end - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - *extension* - Matching over values of extensible variant types (the *extension* above) - must include a wild card pattern in order to be exhaustive. - (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__Synint.cmo -c -impl src/core/synint.pp.ml) - File "src/core/synint.ml", lines 373-376, characters 4-42: - 373 | ....function - 374 | | tS when k = 0 -> tS - 375 | | Nil -> Nil - 376 | | App (_, tS') -> drop_spine (k-1) tS' - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - SClo _ - (However, some guarded clause may match this value.) - File "src/core/synint.ml", lines 606-609, characters 4-60: - 606 | ....function - 607 | | PatNil -> PatNil - 608 | | PatApp (loc, p, pS) -> - 609 | PatApp (loc, strip_pattern p, strip_pattern_spine pS) - Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PatObs (_, _, _, _) [ERROR] The compilation of beluga.1.0 failed at "dune build -p beluga -j 71". #=== ERROR while compiling beluga.1.0 =========================================# # context 2.2.0~alpha3~dev | linux/x86_64 | ocaml-base-compiler.4.14.1 | file:///home/opam/opam-repository # path ~/.opam/4.14/.opam-switch/build/beluga.1.0 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p beluga -j 71 # exit-code 1 # env-file ~/.opam/log/beluga-8-89202a.env # output-file ~/.opam/log/beluga-8-89202a.out ### output ### # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__Gensym.cmi -c -intf src/core/gensym.pp.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. # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__LinkStream.cmi -c -intf src/core/linkStream.pp.mli) # File "src/core/linkStream.mli", line 41, characters 19-27: # 41 | val of_stream : 'a Stream.t -> 'a t # ^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__Gensym.cmx -c -impl src/core/gensym.pp.ml) # File "src/core/gensym.ml", line 11, characters 54-62: # 11 | 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 39, characters 2-13: # 39 | Stream.from next # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/gensym.ml", line 58, characters 18-29: # 58 | let gensym () = Stream.next !symbols # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/gensym.ml", line 62, characters 15-26: # 62 | (fun () -> Stream.next symbols) # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/gensym.ml", line 80, characters 18-29: # 80 | let gensym () = Stream.next !symbols # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/gensym.ml", line 84, characters 15-26: # 84 | (fun () -> Stream.next symbols) # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__LinkStream.cmx -c -impl src/core/linkStream.pp.ml) # File "src/core/linkStream.ml", line 18, characters 22-30: # 18 | let of_stream (s : 'a Stream.t) : 'a t = # ^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/linkStream.ml", line 24, characters 16-27: # 24 | Some (Stream.next s) # ^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # File "src/core/linkStream.ml", line 26, characters 10-24: # 26 | | Stream.Failure -> None # ^^^^^^^^^^^^^^ # Alert deprecated: module Stdlib.Stream # Use the camlp-streams library instead. # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -I src/support/.support.objs/native -intf-suffix .ml -no-alias-deps -open Beluga -o src/core/.beluga.objs/native/beluga__Error.cmx -c -impl src/core/error.pp.ml) # File "src/core/error.ml", lines 116-122, characters 4-7: # 116 | ....begin fun (Sys_error msg) -> # 117 | print # 118 | begin fun ppf -> # 119 | Format.fprintf ppf "System error: %s" # 120 | msg # 121 | end # 122 | end. # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # *extension* # Matching over values of extensible variant types (the *extension* above) # must include a wild card pattern in order to be exhaustive. # File "src/core/error.ml", lines 125-131, characters 4-7: # 125 | ....begin fun (Violation msg) -> # 126 | print # 127 | begin fun ppf -> # 128 | Format.fprintf ppf "@[<v>Internal error (please report as a bug):@,@[%a@]@]" # 129 | Format.pp_print_string msg # 130 | end # 131 | end. # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # *extension* # Matching over values of extensible variant types (the *extension* above) # must include a wild card pattern in order to be exhaustive. # File "src/core/error.ml", lines 134-141, characters 4-7: # 134 | ....begin fun (NotImplemented (loc, msg)) -> # 135 | print # 136 | begin fun ppf -> # 137 | Maybe.when_some loc print_location; # 138 | Format.fprintf ppf "@[<v>Not implemented.@,@[%a@]@]" # 139 | Format.pp_print_string msg # 140 | end # 141 | end # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # *extension* # Matching over values of extensible variant types (the *extension* above) # must include a wild card pattern in order to be exhaustive. # (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.14/lib/extlib -I /home/opam/.opam/4.14/lib/gen -I /home/opam/.opam/4.14/lib/sedlex -I /home/opam/.opam/4.14/lib/seq -I src/support/.support.objs/byte -no-alias-deps -open Beluga -o src/core/.beluga.objs/byte/beluga__Synint.cmo -c -impl src/core/synint.pp.ml) # File "src/core/synint.ml", lines 373-376, characters 4-42: # 373 | ....function # 374 | | tS when k = 0 -> tS # 375 | | Nil -> Nil # 376 | | App (_, tS') -> drop_spine (k-1) tS' # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # SClo _ # (However, some guarded clause may match this value.) # File "src/core/synint.ml", lines 606-609, characters 4-60: # 606 | ....function # 607 | | PatNil -> PatNil # 608 | | PatApp (loc, p, pS) -> # 609 | PatApp (loc, strip_pattern p, strip_pattern_spine pS) # Error (warning 8 [partial-match]): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # PatObs (_, _, _, _) <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build beluga 1.0 +- +- The following changes have been performed | - install cppo 1.6.9 | - install dune 3.11.1 | - install dune-build-info 3.11.1 | - install extlib 1.7.9 | - install gen 1.1 | - install linenoise 1.4.0 | - install ocaml-compiler-libs v0.12.4 | - install ppx_derivers 1.2.1 | - install ppxlib 0.31.0 | - install result 1.5 | - install sedlex 3.2 | - install seq base | - install sexplib0 v0.16.0 | - install stdlib-shims 0.3.0 +- # Run eval $(opam env) to update the current shell environment The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/4.14/.opam-switch/backup/state-20231117230450.export" 'opam install -vy beluga.1.0' failed. "/usr/bin/env" "bash" "-c" " opam remove -y "beluga.1.0" opam install -vy "beluga.1.0" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "beluga.1.0" | grep -q '"debian-unstable"'; then echo "This package failed and has been disabled for CI using the 'x-ci-accept-failures' field." exit 69 fi fi exit $res " failed with exit status 31 Failed: Build failed