Building on toxis.caelum.ci.dev (from ocaml/opam:debian-unstable) 2023-11-17 23:04.47 ---> 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.47 ---> 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.47 ---> 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.47 ---> using "ffa3c56d541ad61e0ad7a929f22642bbc60b6f0af5a2de19fe22937eb35228af" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.08' '4.08.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.08.1"} | "ocaml-system" {= "4.08.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.08.1 (cached) -> installed ocaml-base-compiler.4.08.1 -> installed ocaml-config.1 -> installed ocaml.4.08.1 Done. # Run eval $(opam env --switch=4.08) to update the current shell environment 2023-11-17 23:04.47 ---> using "9760fcc5ef3c958fc8cef4a6579c6bad2c370bb94a5cc73c3b8b480b08a960d9" 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 (197 kB/s) - Reading package lists... - 2023-11-17 23:04.47 ---> using "9259ba098fd327d037d905c38452647e0bdfc166a7bb8ea94b0cc0ed144c46aa" 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.08/.opam-switch/build/dune.3.11.1) - ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 71 - cd _boot && /home/opam/.opam/4.08/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads dune_util__Gc.ml - File "src/dune_util/gc.ml", line 78, characters 5-351: - Warning 23: all the fields are explicitly listed in this record: - the 'with' clause is useless. - 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.08/.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.08/.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.08/.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.08/.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" "result" "-j" "71" (CWD=/home/opam/.opam/4.08/.opam-switch/build/result.1.5) -> compiled result.1.5 Processing 27/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build] -> installed 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] [stdlib-shims: dune build] Processing 29/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: 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.08/.opam-switch/build/stdlib-shims.0.3.0) -> compiled stdlib-shims.0.3.0 Processing 29/44: [cppo: dune build] [dune-build-info: dune build] [gen: dune build] [linenoise: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] -> installed stdlib-shims.0.3.0 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.08/.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.08/.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.08/.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" "ocaml-compiler-libs" "-j" "71" "@install" (CWD=/home/opam/.opam/4.08/.opam-switch/build/ocaml-compiler-libs.v0.12.4) - (cd _build/default && /home/opam/.opam/4.08/bin/ocamlc.opt -w -40 -safe-string -g -bin-annot -I src/ocaml_optcomp/.ocaml_optcomp.objs/byte -I /home/opam/.opam/4.08/lib/ocaml/compiler-libs -no-alias-deps -o src/ocaml_optcomp/.ocaml_optcomp.objs/byte/ocaml_optcomp.cmo -c -impl src/ocaml_optcomp/ocaml_optcomp.ml) - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 12, characters 42-56: - 12 | module Available_regs = Available_regs - ^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Available_regs - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 87, characters 42-62: - 87 | module Reg_availability_set = Reg_availability_set - ^^^^^^^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Reg_availability_set - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 88, characters 42-61: - 88 | module Reg_with_debug_info = Reg_with_debug_info - ^^^^^^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Reg_with_debug_info - (cd _build/default && /home/opam/.opam/4.08/bin/ocamlopt.opt -w -40 -safe-string -g -I src/ocaml_optcomp/.ocaml_optcomp.objs/byte -I src/ocaml_optcomp/.ocaml_optcomp.objs/native -I /home/opam/.opam/4.08/lib/ocaml/compiler-libs -intf-suffix .ml -no-alias-deps -o src/ocaml_optcomp/.ocaml_optcomp.objs/native/ocaml_optcomp.cmx -c -impl src/ocaml_optcomp/ocaml_optcomp.ml) - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 12, characters 42-56: - 12 | module Available_regs = Available_regs - ^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Available_regs - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 87, characters 42-62: - 87 | module Reg_availability_set = Reg_availability_set - ^^^^^^^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Reg_availability_set - File "src/ocaml_optcomp/ocaml_optcomp.ml", line 88, characters 42-61: - 88 | module Reg_with_debug_info = Reg_with_debug_info - ^^^^^^^^^^^^^^^^^^^ - Warning 49: no cmi file was found in path for module Reg_with_debug_info -> compiled ocaml-compiler-libs.v0.12.4 Processing 34/44: [dune-build-info: dune build] [extlib: dune build] [linenoise: dune build] -> installed ocaml-compiler-libs.v0.12.4 Processing 35/44: [dune-build-info: dune build] [extlib: dune build] [linenoise: dune build] Processing 36/44: [dune-build-info: dune build] [extlib: dune build] [linenoise: dune build] [ppxlib: 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.08/.opam-switch/build/dune-build-info.3.11.1) -> compiled dune-build-info.3.11.1 Processing 36/44: [extlib: dune build] [linenoise: dune build] [ppxlib: dune build] -> installed dune-build-info.3.11.1 Processing 37/44: [extlib: dune build] [linenoise: dune build] [ppxlib: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "@install" "-p" "linenoise" "-j" "71" (CWD=/home/opam/.opam/4.08/.opam-switch/build/linenoise.1.4.0) -> compiled linenoise.1.4.0 Processing 37/44: [extlib: dune build] [ppxlib: dune build] -> installed linenoise.1.4.0 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.08/.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.08/.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.08/.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.08/.opam-switch/build/beluga.1.0) - (cd _build/default && /home/opam/.opam/4.08/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.08/lib/extlib -I /home/opam/.opam/4.08/lib/gen -I /home/opam/.opam/4.08/lib/sedlex -I /home/opam/.opam/4.08/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", line 116, characters 4-139: - 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): 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", line 125, characters 4-201: - 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): 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", line 134, characters 4-231: - 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): 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.08/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.08/lib/extlib -I /home/opam/.opam/4.08/lib/gen -I /home/opam/.opam/4.08/lib/sedlex -I /home/opam/.opam/4.08/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", line 373, characters 4-98: - 373 | ....function - 374 | | tS when k = 0 -> tS - 375 | | Nil -> Nil - 376 | | App (_, tS') -> drop_spine (k-1) tS' - Error (warning 8): 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", line 606, characters 4-125: - 606 | ....function - 607 | | PatNil -> PatNil - 608 | | PatApp (loc, p, pS) -> - 609 | PatApp (loc, strip_pattern p, strip_pattern_spine pS) - Error (warning 8): 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.08.1 | file:///home/opam/opam-repository # path ~/.opam/4.08/.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-c22ba4.env # output-file ~/.opam/log/beluga-8-c22ba4.out ### output ### # (cd _build/default && /home/opam/.opam/4.08/bin/ocamlopt.opt -w -40 -g -I src/core/.beluga.objs/byte -I src/core/.beluga.objs/native -I /home/opam/.opam/4.08/lib/extlib -I /home/opam/.opam/4.08/lib/gen -I /home/opam/.opam/4.08/lib/sedlex -I /home/opam/.opam/4.08/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", line 116, characters 4-139: # 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): 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", line 125, characters 4-201: # 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): 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", line 134, characters 4-231: # 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): 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.08/bin/ocamlc.opt -w -40 -g -bin-annot -I src/core/.beluga.objs/byte -I /home/opam/.opam/4.08/lib/extlib -I /home/opam/.opam/4.08/lib/gen -I /home/opam/.opam/4.08/lib/sedlex -I /home/opam/.opam/4.08/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", line 373, characters 4-98: # 373 | ....function # 374 | | tS when k = 0 -> tS # 375 | | Nil -> Nil # 376 | | App (_, tS') -> drop_spine (k-1) tS' # Error (warning 8): 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", line 606, characters 4-125: # 606 | ....function # 607 | | PatNil -> PatNil # 608 | | PatApp (loc, p, pS) -> # 609 | PatApp (loc, strip_pattern p, strip_pattern_spine pS) # Error (warning 8): 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.08/.opam-switch/backup/state-20231117230449.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