Build Log: zelus.2.2

Processing: [default: loading data] [zelus.2.2: http] [zelus.2.2: extract] -> retrieved zelus.2.2 (https://github.com/INRIA/zelus/archive/2.2.tar.gz) [zelus: ./configure] + /home/opam/.opam/default/.opam-switch/build/zelus.2.2/./configure "--prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/zelus.2.2) [zelus: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "zelus" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/zelus.2.2) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/default/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 - 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/default/bin/ocamlc.opt -w -40 -g -bin-annot -I compiler/.zlcompilerlibs.objs/byte -I /home/opam/.opam/default/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 - 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 - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - P - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I compiler/.zlcompilerlibs.objs/byte -I compiler/.zlcompilerlibs.objs/native -I /home/opam/.opam/default/lib/menhirLib -intf-suffix .ml -no-alias-deps -o compiler/.zlcompilerlibs.objs/native/match2condition.cmx -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 - 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/default/bin/ocamlopt.opt -w -40 -g -I compiler/.zlcompilerlibs.objs/byte -I compiler/.zlcompilerlibs.objs/native -I /home/opam/.opam/default/lib/menhirLib -intf-suffix .ml -no-alias-deps -o compiler/.zlcompilerlibs.objs/native/zlus2lmm.cmx -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 - 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 - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - P - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I lib/std/.zlstdlib.objs/byte -no-alias-deps -o lib/std/.zlstdlib.objs/byte/dump.cmo -c -impl lib/std/dump.ml) - File "lib/std/dump.ml", line 296, characters 11-16: - 296 | let (x_469:unit) = - ^^^^^ - Warning 26: unused variable x_469. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I lib/std/.zlstdlib.objs/byte -I lib/std/.zlstdlib.objs/native -intf-suffix .ml -no-alias-deps -o lib/std/.zlstdlib.objs/native/dump.cmx -c -impl lib/std/dump.ml) - File "lib/std/dump.ml", line 296, characters 11-16: - 296 | let (x_469:unit) = - ^^^^^ - Warning 26: unused variable x_469. -> compiled zelus.2.2 -> installed zelus.2.2