Building on c2-3.equinix.ci.dev (from ocaml/opam:debian-unstable) Unable to find image 'ocaml/opam:debian-unstable' locally debian-unstable: Pulling from ocaml/opam 384752546542: Pulling fs layer 384752546542: Verifying Checksum 384752546542: Download complete 384752546542: Pull complete Digest: sha256:fcf3121263c59a1f7716501e69921b634fac652b1c96757a18e40158f5625013 Status: Downloaded newer image for ocaml/opam:debian-unstable 2023-11-18 21:55.08 ---> 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-18 21:55.08 ---> using "5a48029448e4c4dcb1058375cea3e3790f5832d398adedd7742173873baea387" 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-18 21:55.08 ---> using "93424a44d975e7545eaad39b0269c041f3918f3ead58155b9be321cfcf49e489" 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-18 21:55.08 ---> using "3aa9808b91111e07a67b721a50741d0f576ab1703fe8a225c7c69c071742d827" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.10' '4.10.2'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.10.2"} | "ocaml-system" {= "4.10.2"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.10.2 (https://github.com/ocaml/ocaml/archive/4.10.2.tar.gz) -> installed ocaml-base-compiler.4.10.2 -> installed ocaml-config.1 -> installed ocaml.4.10.2 Done. # Run eval $(opam env --switch=4.10) to update the current shell environment 2023-11-18 21:55.08 ---> using "7aff6055d98ab37702712bf8b449b651fe24b0dc15181778df297a5f95e6a6d4" 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-17-0204.01.pdiff [30.7 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-17-1403.39-F-2023-11-17-0204.01.pdiff [30.7 kB] - Fetched 292 kB in 2s (148 kB/s) - Reading package lists... 2023-11-18 21:55.08 ---> using "5507892b0bc3ea8355565321536395e75b1eaba96ce3d2a0b7c16bf536ea1f52" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"zelus.2.2\"\ \nopam install -vy \"zelus.2.2\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"zelus.2.2\" | 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] zelus.2.2 is not installed. Nothing to do. The following actions will be performed: === install 5 packages - install dune 3.11.1 [required by zelus] - install menhir 20230608 [required by zelus] - install menhirLib 20230608 [required by menhir] - install menhirSdk 20230608 [required by menhir] - install zelus 2.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/13: Processing 2/13: Processing 3/13: [zelus.2.2: http] -> retrieved menhir.20230608, menhirLib.20230608, menhirSdk.20230608 (cached) -> retrieved dune.3.11.1 (cached) Processing 4/13: [zelus.2.2: http] [dune: ocaml 47] Processing 4/13: [dune: ocaml 47] -> retrieved zelus.2.2 (https://github.com/INRIA/zelus/archive/2.2.tar.gz) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/4.10/.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 47 - cd _boot && /home/opam/.opam/4.10/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", lines 78-95, characters 5-6: - Warning 23: all the fields are explicitly listed in this record: - the 'with' clause is useless. - Processing 4/13: [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" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/dune.3.11.1) -> compiled dune.3.11.1 -> installed dune.3.11.1 Processing 6/13: [menhirLib: dune build] Processing 7/13: [menhirLib: dune build] [menhirSdk: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhirLib.20230608) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... -> compiled menhirLib.20230608 Processing 7/13: [menhirSdk: dune build] -> installed menhirLib.20230608 Processing 8/13: [menhirSdk: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhirSdk.20230608) -> compiled menhirSdk.20230608 -> installed menhirSdk.20230608 Processing 10/13: [menhir: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "47" (CWD=/home/opam/.opam/4.10/.opam-switch/build/menhir.20230608) - (cd _build/default/lib/pack && ./pack.exe) - Creating menhirLib.ml... - Creating menhirLib.mli... - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check - Read 101 sample input sentences and 101 error messages. - Read 101 sample input sentences and 48 error messages. - (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred) - Grammar has 56 nonterminal symbols, among which 1 start symbols. - Grammar has 37 terminal symbols. - Grammar has 129 productions. - Built an LR(0) automaton with 194 states. - The grammar is not SLR(1) -- 5 states have a conflict. - The construction mode is no-pager. - Built an LR(1) automaton with 298 states. - One shift/reduce conflict was silently solved. - Extra reductions on error were added in 40 states. - Priority played a role in 0 of these states. - 152 out of 298 states have a default reduction. - 102 out of 298 states are represented. - 44 out of 96 symbols keep track of their start position. - 41 out of 96 symbols keep track of their end position. - The StackLang code contains 3973 instructions in 267 blocks. - The StackLang code comprises 5 mutually recursive groups. - (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml - Read 101 sample input sentences and 48 error messages. -> compiled menhir.20230608 -> installed menhir.20230608 Processing 12/13: [zelus: ./configure] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.10" (CWD=/home/opam/.opam/4.10/.opam-switch/build/zelus.2.2) Processing 12/13: [zelus: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "zelus" "-j" "47" "@install" (CWD=/home/opam/.opam/4.10/.opam-switch/build/zelus.2.2) - (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/match2condition.cmo -c -impl compiler/verif/match2condition.ml) - File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19: - 137 | ..match desc with - 138 | | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e - 139 | | Eapp(app, e_arg, e_list) -> - 140 | { e with e_desc = Eapp(app, expression e_arg, - 141 | List.map expression e_list) } - ... - 150 | | Etuple(e_list) -> - 151 | { e with e_desc = Etuple(List.map expression e_list) } - 152 | | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _ - 153 | -> assert false - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Erecord_with (_, _) - (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/zlus2lmm.cmo -c -impl compiler/verif/zlus2lmm.ml) - File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53: - 189 | ..match desc with - 190 | | Elocal(id) -> Llocal(id) - 191 | | Eglobal { lname = lid } -> Lglobal(lid) - 192 | | Econst(im) -> Lconst(immediate im) - 193 | | Econstr0(lid) -> Lconstr0(lid) - ... - 206 | | Etypeconstraint(e, _) -> expression ck e - 207 | | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list) - 208 | | Ematch _ | Eseq _ | Elet _ - 209 | | Eperiod _ | Eblock _ | Epresent _ -> assert false - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Erecord_with (_, _) - File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71: - 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - P [ERROR] The compilation of zelus.2.2 failed at "dune build -p zelus -j 47 @install". #=== ERROR while compiling zelus.2.2 ==========================================# # context 2.2.0~alpha3 | linux/x86_64 | ocaml-base-compiler.4.10.2 | file:///home/opam/opam-repository # path ~/.opam/4.10/.opam-switch/build/zelus.2.2 # command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p zelus -j 47 @install # exit-code 1 # env-file ~/.opam/log/zelus-8-7bcc1c.env # output-file ~/.opam/log/zelus-8-7bcc1c.out ### output ### # (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/match2condition.cmo -c -impl compiler/verif/match2condition.ml) # File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19: # 137 | ..match desc with # 138 | | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e # 139 | | Eapp(app, e_arg, e_list) -> # 140 | { e with e_desc = Eapp(app, expression e_arg, # 141 | List.map expression e_list) } # ... # 150 | | Etuple(e_list) -> # 151 | { e with e_desc = Etuple(List.map expression e_list) } # 152 | | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _ # 153 | -> assert false # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Erecord_with (_, _) # (cd _build/default && /home/opam/.opam/4.10/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/4.10/lib/menhirLib -no-alias-deps -o compiler/.zlcompilerlibs.objs/byte/zlus2lmm.cmo -c -impl compiler/verif/zlus2lmm.ml) # File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53: # 189 | ..match desc with # 190 | | Elocal(id) -> Llocal(id) # 191 | | Eglobal { lname = lid } -> Lglobal(lid) # 192 | | Econst(im) -> Lconst(immediate im) # 193 | | Econstr0(lid) -> Lconstr0(lid) # ... # 206 | | Etypeconstraint(e, _) -> expression ck e # 207 | | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list) # 208 | | Ematch _ | Eseq _ | Elet _ # 209 | | Eperiod _ | Eblock _ | Epresent _ -> assert false # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Erecord_with (_, _) # File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71: # 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false # ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # P <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build zelus 2.2 +- +- The following changes have been performed | - install dune 3.11.1 | - install menhir 20230608 | - install menhirLib 20230608 | - install menhirSdk 20230608 +- # 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.10/.opam-switch/backup/state-20231118215512.export" 'opam install -vy zelus.2.2' failed. "/bin/bash" "-c" " opam remove -y "zelus.2.2" opam install -vy "zelus.2.2" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "zelus.2.2" | 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