Building on c2-4.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: Download complete 384752546542: Pull complete Digest: sha256:fcf3121263c59a1f7716501e69921b634fac652b1c96757a18e40158f5625013 Status: Downloaded newer image for ocaml/opam:debian-unstable 2023-11-18 10:48.06 ---> 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 10:48.06 ---> 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-18 10:48.06 ---> 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-18 10:48.06 ---> using "ffa3c56d541ad61e0ad7a929f22642bbc60b6f0af5a2de19fe22937eb35228af" 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 (cached) -> 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 10:48.06 ---> using "8e1a52054c948eb31d5353cd287a0435c2b51bbdf09cf78599919119b7b6b472" 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 3s (108 kB/s) - Reading package lists... - 2023-11-18 10:48.06 ---> using "43acdf0c1bccef6a1d5fe2b85a0bc3b44a0cf258337f1f370448368a05ecd0fb" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"ott.0.27\"\ \nopam install -vy \"ott.0.27\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"ott.0.27\" | 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")) Nothing to do. [NOTE] ott.0.27 is not installed. The following actions will be performed: === install 1 package - install ott 0.27 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: -> retrieved ott.0.27 (cached) Processing 2/3: [ott: make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "world" (CWD=/home/opam/.opam/4.10/.opam-switch/build/ott.0.27) - cd src; make install - make[1]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' - ocamllex grammar_lexer.mll - 374 states, 16439 transitions, table size 68000 bytes - 3397 additional bytes used for bindings - ocamlyacc -v grammar_parser.mly - 2 rules never reduced - ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend - mkdir ../bin - cd .. && tar -zxvf ocamlgraph-1.7.tar.gz - ocamlgraph-1.7/ - ocamlgraph-1.7/bin/ - ocamlgraph-1.7/src/ - ocamlgraph-1.7/src/blocks.ml - ocamlgraph-1.7/src/builder.ml - ocamlgraph-1.7/src/builder.mli - ocamlgraph-1.7/src/classic.ml - ocamlgraph-1.7/src/classic.mli - ocamlgraph-1.7/src/cliquetree.ml - ocamlgraph-1.7/src/cliquetree.mli - ocamlgraph-1.7/src/coloring.ml - ocamlgraph-1.7/src/coloring.mli - ocamlgraph-1.7/src/components.ml - ocamlgraph-1.7/src/components.mli - ocamlgraph-1.7/src/delaunay.ml - ocamlgraph-1.7/src/delaunay.mli - ocamlgraph-1.7/src/dot.ml - ocamlgraph-1.7/src/dot.mli - ocamlgraph-1.7/src/dot_ast.mli - ocamlgraph-1.7/src/dot_lexer.ml - ocamlgraph-1.7/src/dot_lexer.mll - ocamlgraph-1.7/src/dot_parser.ml - ocamlgraph-1.7/src/dot_parser.mli - ocamlgraph-1.7/src/dot_parser.mly - ocamlgraph-1.7/src/flow.ml - ocamlgraph-1.7/src/flow.mli - ocamlgraph-1.7/src/gmap.ml - ocamlgraph-1.7/src/gmap.mli - ocamlgraph-1.7/src/gml.ml - ocamlgraph-1.7/src/gml.mli - ocamlgraph-1.7/src/gml.mll - ocamlgraph-1.7/src/graphviz.ml - ocamlgraph-1.7/src/graphviz.mli - ocamlgraph-1.7/src/imperative.ml - ocamlgraph-1.7/src/imperative.mli - ocamlgraph-1.7/src/kruskal.ml - ocamlgraph-1.7/src/kruskal.mli - ocamlgraph-1.7/src/mcs_m.ml - ocamlgraph-1.7/src/mcs_m.mli - ocamlgraph-1.7/src/md.ml - ocamlgraph-1.7/src/md.mli - ocamlgraph-1.7/src/minsep.ml - ocamlgraph-1.7/src/minsep.mli - ocamlgraph-1.7/src/oper.ml - ocamlgraph-1.7/src/oper.mli - ocamlgraph-1.7/src/pack.ml - ocamlgraph-1.7/src/pack.mli - ocamlgraph-1.7/src/path.ml - ocamlgraph-1.7/src/path.mli - ocamlgraph-1.7/src/persistent.ml - ocamlgraph-1.7/src/persistent.mli - ocamlgraph-1.7/src/rand.ml - ocamlgraph-1.7/src/rand.mli - ocamlgraph-1.7/src/sig.mli - ocamlgraph-1.7/src/sig_pack.mli - ocamlgraph-1.7/src/strat.ml - ocamlgraph-1.7/src/strat.mli - ocamlgraph-1.7/src/topological.ml - ocamlgraph-1.7/src/topological.mli - ocamlgraph-1.7/src/traverse.ml - ocamlgraph-1.7/src/traverse.mli - ocamlgraph-1.7/src/util.ml - ocamlgraph-1.7/src/util.mli - ocamlgraph-1.7/src/version.ml - ocamlgraph-1.7/lib/ - ocamlgraph-1.7/lib/bitv.ml - ocamlgraph-1.7/lib/bitv.mli - ocamlgraph-1.7/lib/heap.ml - ocamlgraph-1.7/lib/heap.mli - ocamlgraph-1.7/lib/unionfind.ml - ocamlgraph-1.7/lib/unionfind.mli - ocamlgraph-1.7/Makefile.in - ocamlgraph-1.7/configure - ocamlgraph-1.7/configure.in - ocamlgraph-1.7/META.in - ocamlgraph-1.7/.depend - ocamlgraph-1.7/editor/ - ocamlgraph-1.7/editor/ed_display.ml - ocamlgraph-1.7/editor/ed_draw.ml - ocamlgraph-1.7/editor/ed_graph.ml - ocamlgraph-1.7/editor/ed_hyper.ml - ocamlgraph-1.7/editor/ed_main.ml - ocamlgraph-1.7/editor/Makefile - ocamlgraph-1.7/editor/tests/ - ocamlgraph-1.7/editor/tests/dep_ed.dot - ocamlgraph-1.7/editor/tests/dep_why.dot - ocamlgraph-1.7/editor/tests/fsm.dot - ocamlgraph-1.7/editor/tests/parcours.dot - ocamlgraph-1.7/editor/tests/softmaint.dot - ocamlgraph-1.7/editor/tests/transparency.dot - ocamlgraph-1.7/editor/tests/twopi2.dot - ocamlgraph-1.7/editor/tests/unix.dot - ocamlgraph-1.7/editor/tests/world.dot - ocamlgraph-1.7/editor/tests/de_bruijn4.gml - ocamlgraph-1.7/editor/tests/divisors12.gml - ocamlgraph-1.7/editor/tests/full10.gml - ocamlgraph-1.7/editor/tests/full20.gml - ocamlgraph-1.7/editor/tests/full30.gml - ocamlgraph-1.7/editor/tests/full50.gml - ocamlgraph-1.7/editor/tests/rand_100_10.gml - ocamlgraph-1.7/editor/tests/rand_100_300.gml - ocamlgraph-1.7/editor/tests/rand_10_10.gml - ocamlgraph-1.7/editor/tests/rand_10_40.gml - ocamlgraph-1.7/editor/tests/rand_50_300.gml - ocamlgraph-1.7/editor/tests/ring_100.gml - ocamlgraph-1.7/editor/tests/test.gml - ocamlgraph-1.7/editor/tests/test2,1_2.gml - ocamlgraph-1.7/editor/tests/test2,1_3.gml - ocamlgraph-1.7/editor/tests/test2,1_3tot.gml - ocamlgraph-1.7/editor/tests/test2_2.gml - ocamlgraph-1.7/view_graph/ - ocamlgraph-1.7/view_graph/viewGraph_core.ml - ocamlgraph-1.7/view_graph/viewGraph_select.ml - ocamlgraph-1.7/view_graph/viewGraph_test.ml - ocamlgraph-1.7/view_graph/viewGraph_utils.ml - ocamlgraph-1.7/view_graph/viewGraph_core.mli - ocamlgraph-1.7/view_graph/viewGraph_select.mli - ocamlgraph-1.7/view_graph/viewGraph_utils.mli - ocamlgraph-1.7/view_graph/README - ocamlgraph-1.7/view_graph/Makefile - ocamlgraph-1.7/dgraph/ - ocamlgraph-1.7/dgraph/dGraphContainer.ml - ocamlgraph-1.7/dgraph/dGraphMake.ml - ocamlgraph-1.7/dgraph/dGraphModel.ml - ocamlgraph-1.7/dgraph/dGraphRandModel.ml - ocamlgraph-1.7/dgraph/dGraphSubTree.ml - ocamlgraph-1.7/dgraph/dGraphTreeLayout.ml - ocamlgraph-1.7/dgraph/dGraphTreeModel.ml - ocamlgraph-1.7/dgraph/dGraphView.ml - ocamlgraph-1.7/dgraph/dGraphViewItem.ml - ocamlgraph-1.7/dgraph/dGraphViewer.ml - ocamlgraph-1.7/dgraph/xDot.ml - ocamlgraph-1.7/dgraph/xDotDraw.ml - ocamlgraph-1.7/dgraph/dGraphContainer.mli - ocamlgraph-1.7/dgraph/dGraphModel.mli - ocamlgraph-1.7/dgraph/dGraphRandModel.mli - ocamlgraph-1.7/dgraph/dGraphSubTree.mli - ocamlgraph-1.7/dgraph/dGraphTreeLayout.mli - ocamlgraph-1.7/dgraph/dGraphTreeModel.mli - ocamlgraph-1.7/dgraph/dGraphView.mli - ocamlgraph-1.7/dgraph/dGraphViewItem.mli - ocamlgraph-1.7/dgraph/xDot.mli - ocamlgraph-1.7/dgraph/xDotDraw.mli - ocamlgraph-1.7/examples/ - ocamlgraph-1.7/examples/color.ml - ocamlgraph-1.7/examples/demo.ml - ocamlgraph-1.7/examples/demo_planar.ml - ocamlgraph-1.7/examples/sudoku.ml - ocamlgraph-1.7/tests/ - ocamlgraph-1.7/tests/bench.ml - ocamlgraph-1.7/tests/check.ml - ocamlgraph-1.7/tests/dot.ml - ocamlgraph-1.7/tests/strat.ml - ocamlgraph-1.7/tests/test.ml - ocamlgraph-1.7/README - ocamlgraph-1.7/FAQ - ocamlgraph-1.7/CREDITS - ocamlgraph-1.7/INSTALL - ocamlgraph-1.7/COPYING - ocamlgraph-1.7/LICENSE - ocamlgraph-1.7/CHANGES - cd ../ocamlgraph-1.7 && patch -p1 < ../ocamlgraph-safe-string.patch - patching file lib/bitv.ml - Hunk #1 succeeded at 459 with fuzz 2 (offset 10 lines). - cd ../ocamlgraph-1.7 && ./configure - checking for ocamlc... ocamlc - ocaml version is 4.10.2 - ocaml library path is /home/opam/.opam/4.10/lib/ocaml - checking for ocamlopt... ocamlopt - checking ocamlopt version... ok - checking for ocamlc.opt... ocamlc.opt - checking ocamlc.opt version... ok - checking for ocamlopt.opt... ocamlopt.opt - checking ocamlc.opt version... ok - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamllex.opt... ocamllex.opt - checking for ocamlyacc... ocamlyacc - checking for ocamldoc... ocamldoc - checking for ocamldoc.opt... ocamldoc.opt - checking for ocamlweb... true - checking for ocamlfind... no - checking for /home/opam/.opam/4.10/lib/ocaml/lablgtk2/lablgtk.cmxa... no - checking Win32 platform... no - configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled - configure: creating ./config.status - config.status: creating Makefile - cd ../ocamlgraph-1.7 && \ - make OCAMLOPT='ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib' graph.cmxa - make[2]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/ocamlgraph-1.7' - sed -e s/VERSION/1.7/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ - META.in > META - rm -f src/version.ml - echo "let version = \""1.7"\"" > src/version.ml - echo "let date = \""`date`"\"" >> src/version.ml - rm -f .depend - ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ - lib/*.ml lib/*.mli \ - src/*.ml src/*.mli \ - editor/*.mli editor/*.ml \ - view_graph/*.mli view_graph/*.ml \ - dgraph/*.mli dgraph/*.ml > .depend - ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli - ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli - ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/unionfind.ml - ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/heap.ml - File "lib/heap.ml", line 54, characters 13-25: - 54 | let d' = Array.create n' d.(0) in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/heap.ml", line 61, characters 16-28: - 61 | h.data <- Array.create (- h.size) x; h.size <- 0 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/bitv.ml - File "lib/bitv.ml", line 51, characters 15-27: - 51 | let low_mask = Array.create (succ bpi) 0 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 68, characters 25-37: - 68 | { length = n; bits = Array.create (n / bpi) initv } - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 71, characters 12-24: - 71 | let b = Array.create (succ s) initv in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 113, characters 11-13: - 113 | if n < 0 or n >= v.length then invalid_arg "Bitv.get"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 118, characters 11-13: - 118 | if n < 0 or n >= v.length then invalid_arg "Bitv.set"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 205, characters 13-15: - 205 | if len < 0 or ofs1 < 0 or ofs1 + len > v1.length - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 205, characters 25-27: - 205 | if len < 0 or ofs1 < 0 or ofs1 + len > v1.length - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 206, characters 13-15: - 206 | or ofs2 < 0 or ofs2 + len > v2.length - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 206, characters 25-27: - 206 | or ofs2 < 0 or ofs2 + len > v2.length - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 214, characters 13-15: - 214 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.sub"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 214, characters 24-26: - 214 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.sub"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 289, characters 13-15: - 289 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.fill"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 289, characters 24-26: - 289 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.fill"; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "lib/bitv.ml", line 368, characters 10-22: - 368 | let a = Array.create n 0 in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 380, characters 10-22: - 380 | let a = Array.create n 0 in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 392, characters 10-22: - 392 | let a = Array.create n 0 in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "lib/bitv.ml", line 401, characters 10-22: - 401 | let a = Array.create n 0 in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/version.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/util.ml - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/blocks.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/persistent.ml - File "src/persistent.ml", line 52, characters 20-38: - 52 | let compare x y = Pervasives.compare x.tag y.tag - ^^^^^^^^^^^^^^^^^^ - 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/persistent.ml", line 145, characters 10-25: - 145 | size = Pervasives.succ g.size } - ^^^^^^^^^^^^^^^ - 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/persistent.ml", line 158, characters 21-36: - 158 | { edges = e; size = Pervasives.pred g.size } - ^^^^^^^^^^^^^^^ - 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/persistent.ml", line 178, characters 10-25: - 178 | size = Pervasives.succ g.size } - ^^^^^^^^^^^^^^^ - 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/persistent.ml", line 197, characters 10-25: - 197 | size = Pervasives.pred g.size } - ^^^^^^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/imperative.ml - File "src/imperative.ml", line 68, characters 20-38: - 68 | let compare x y = Pervasives.compare x.tag y.tag - ^^^^^^^^^^^^^^^^^^ - 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/imperative.ml", line 169, characters 11-26: - 169 | g.size <- Pervasives.succ g.size; - ^^^^^^^^^^^^^^^ - 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/imperative.ml", line 185, characters 11-26: - 185 | g.size <- Pervasives.pred g.size - ^^^^^^^^^^^^^^^ - 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/imperative.ml", line 206, characters 11-26: - 206 | g.size <- Pervasives.succ g.size; - ^^^^^^^^^^^^^^^ - 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/imperative.ml", line 227, characters 11-26: - 227 | g.size <- Pervasives.pred g.size - ^^^^^^^^^^^^^^^ - 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/imperative.ml", line 371, characters 36-54: - 371 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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/imperative.ml", line 381, characters 36-54: - 381 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/delaunay.ml - File "src/delaunay.ml", line 260, characters 19-31: - 260 | let seen_arc = Array.create n false in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/builder.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/classic.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/rand.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/oper.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/path.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/traverse.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/coloring.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/topological.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/components.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/kruskal.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/flow.ml - File "src/flow.ml", line 53, characters 54-56: - 53 | let fold_booleen f = List.fold_left (fun r x->(f x) or r) false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 137, characters 6-8: - 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 136, characters 44-46: - 136 | G.fold_succ_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 137, characters 47-49: - 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 141, characters 40-42: - 141 | (fold_booleen (elever g p) !todo) or - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/graphviz.ml - File "src/graphviz.ml", line 27, characters 5-15: - 27 | open Pervasives (* for compatibility with ocaml 3.12.0+dev17 - ^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gml.ml - File "src/gml.ml", line 418, characters 27-39: - 418 | lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ; __ocaml_lex_file_rec lexbuf 0 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - File "src/gml.ml", line 455, characters 27-39: - 455 | lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ; __ocaml_lex_value_list_rec lexbuf 7 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_parser.ml - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_lexer.ml - File "src/dot_lexer.mll", line 39, characters 21-37: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot.ml - File "src/dot.ml", line 61, characters 41-59: - 61 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/pack.ml - File "src/pack.ml", line 51, characters 34-52: - 51 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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/pack.ml", line 64, characters 34-52: - 64 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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/pack.ml", line 89, characters 34-52: - 89 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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/pack.ml", line 170, characters 32-50: - 170 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gmap.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/minsep.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/cliquetree.ml - File "src/cliquetree.ml", line 110, characters 39-57: - 110 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - 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/cliquetree.ml", line 120, characters 40-58: - 120 | let compare (x, _ : t) (y, _ : t) = Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - 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/cliquetree.ml", line 171, characters 3-21: - 171 | (Pervasives.compare : int -> int -> int) (number y) (number x)) - ^^^^^^^^^^^^^^^^^^ - 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 - ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/mcs_m.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/md.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/strat.ml - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/path.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/components.cmx src/kruskal.cmx src/flow.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -I src -I lib -a -o graph.cmxa graph.cmx - make[2]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/ocamlgraph-1.7' - make opt - make[2]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c location.ml - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c types.ml - File "types.ml", line 484, characters 67-85: - 484 | module NtrSet = Set.Make(struct type t = nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 "types.ml", line 490, characters 83-101: - 490 | module NtrPairSet = Set.Make(struct type t = nontermroot*nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 "types.ml", line 497, characters 87-105: - 497 | module NtSet = Set.Make(struct type t = nontermroot * nonterm * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 "types.ml", line 504, characters 93-111: - 504 | module NtsubSet = Set.Make(struct type t = nontermroot * nontermroot * nonterm let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 "types.ml", line 510, characters 68-86: - 510 | module MvrSet = Set.Make(struct type t = metavarroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 "types.ml", line 517, characters 88-106: - 517 | module MvSet = Set.Make(struct type t = metavarroot * metavar * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - 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 - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c auxl.ml - File "auxl.ml", lines 396-403, characters 7-19: - 396 | .......( match hse with - 397 | | Hom_index _ | Hom_terminal _ -> [] - 398 | | Hom_string s -> - 399 | let strs = Str.split (Str.regexp "[ \t]+") s in - 400 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in - 401 | if promote - 402 | then List.map (promote_ntr xd) ntrs_hom - 403 | else ntrs_hom ). - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - File "auxl.ml", lines 458-462, characters 7-59: - 458 | .......( match hse with - 459 | | Hom_index _ | Hom_terminal _ -> [] - 460 | | Hom_string s -> - 461 | let strs = Str.split (Str.regexp "[ \t]+") s in - 462 | List.filter (fun st -> List.mem st defined_mvrs) strs ). - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - File "auxl.ml", lines 791-795, characters 2-61: - 791 | ..match m with - 792 | | Coq _ | Hol _ | Lem _ | Isa _ | Caml _ -> "(** "^s^" *)\n" - 793 | | Twf _ -> "%%% "^s^" %%%\n\n" - 794 | | Tex _ -> "% "^s^"\n" - 795 | | Menhir _ | Lex _ | Ascii _ -> errorm m "big_line_comment" - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", line 1492, characters 47-64: - 1492 | let map_prod_names = List.map (fun pn -> (pn,String.capitalize pn)) prod_name_list in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii instead. - File "auxl.ml", line 1502, characters 47-66: - 1502 | let map_prod_names = List.map (fun pn -> (pn,String.uncapitalize pn)) prod_name_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii instead. - File "auxl.ml", line 1511, characters 51-70: - 1511 | let map_nontermroots = List.map (fun ntr -> (ntr,String.uncapitalize ntr)) nontermroots_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii instead. - File "auxl.ml", line 1520, characters 51-70: - 1520 | let map_metavarroots = List.map (fun mvr -> (mvr,String.uncapitalize mvr)) metavarroots_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii instead. - File "auxl.ml", line 1544, characters 19-36: - 1544 | st_prod_name = String.capitalize stnb.st_prod_name; - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii instead. - File "auxl.ml", lines 1569-1578, characters 2-68: - 1569 | ..match m with - 1570 | | Isa _ -> "True" - 1571 | | Coq co -> - 1572 | if co.coq_expand_lists || in_prop - 1573 | then "True" - 1574 | else "true" - 1575 | | Hol _ -> "T" - 1576 | | Caml _ -> "true" - 1577 | | Lem _ -> "true" - 1578 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_true" - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", lines 1581-1590, characters 2-69: - 1581 | ..match m with - 1582 | | Isa _ -> "False" - 1583 | | Coq co -> - 1584 | if co.coq_expand_lists || in_prop - 1585 | then "False" - 1586 | else "false" - 1587 | | Hol _ -> "F" - 1588 | | Caml _ -> "false" - 1589 | | Lem _ -> "false" - 1590 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_false" - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", lines 1593-1602, characters 2-67: - 1593 | ..match m with - 1594 | | Isa _ -> " & " - 1595 | | Caml _ -> " && " - 1596 | | Lem _ -> " && " - 1597 | | Coq co -> - 1598 | if co.coq_expand_lists || in_prop - 1599 | then " /\\ " - 1600 | else " && " - 1601 | | Hol _ -> " /\\ " - 1602 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_and" - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", lines 1605-1614, characters 2-66: - 1605 | ..match m with - 1606 | | Isa _ -> " | " - 1607 | | Coq co -> - 1608 | if co.coq_expand_lists || in_prop - 1609 | then " \\/ " - 1610 | else " || " - 1611 | | Hol _ -> " \\/ " - 1612 | | Caml _ -> " || " - 1613 | | Lem _ -> " || " - 1614 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_or" - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", lines 1622-1657, characters 2-97: - 1622 | ..match m with - 1623 | | Coq _ -> - 1624 | ( match l with - 1625 | | [] -> "nil" - 1626 | | x::[] -> "("^x^")" - ... - 1654 | ^ ( String.concat " <- " - 1655 | (List.map2 (fun s nl -> s ^ " " ^ nl) l list_nl) ) - 1656 | ^ final_append ) - 1657 | | Caml _ | Tex _ | Ascii _ | Hol _ | Lem _ | Isa _ | Lex _ | Menhir _ -> raise ThisCannotHappen - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Rdx _ - File "auxl.ml", lines 1809-1824, characters 4-42: - 1809 | ....( match stre with - 1810 | | Struct_md mvr -> "metavar def: "^mvr - 1811 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) - 1812 | | Struct_srs xs -> "subrule def: "^ - 1813 | (String.concat " " - ... - 1821 | | Struct_axs xs -> "aux def: "^ - 1822 | (String.concat " " xs) - 1823 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s - 1824 | | Struct_embed (_,h,_) -> "embed: "^h) - Error (warning 8): this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Struct_crs _ - make[2]: *** [Makefile:209: auxl.cmx] Error 2 - make[2]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' - make[1]: *** [Makefile:244: install] Error 2 - make[1]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' - make: *** [Makefile:39: world] Error 2 [ERROR] The compilation of ott.0.27 failed at "make world". #=== ERROR while compiling ott.0.27 ===========================================# # 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/ott.0.27 # command ~/.opam/opam-init/hooks/sandbox.sh build make world # exit-code 2 # env-file ~/.opam/log/ott-8-c5df3e.env # output-file ~/.opam/log/ott-8-c5df3e.out ### output ### # cd src; make install # make[1]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' # ocamllex grammar_lexer.mll # 374 states, 16439 transitions, table size 68000 bytes # 3397 additional bytes used for bindings # ocamlyacc -v grammar_parser.mly # 2 rules never reduced # ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend # mkdir ../bin # cd .. && tar -zxvf ocamlgraph-1.7.tar.gz # ocamlgraph-1.7/ # ocamlgraph-1.7/bin/ # ocamlgraph-1.7/src/ # ocamlgraph-1.7/src/blocks.ml # ocamlgraph-1.7/src/builder.ml # ocamlgraph-1.7/src/builder.mli # ocamlgraph-1.7/src/classic.ml # ocamlgraph-1.7/src/classic.mli # ocamlgraph-1.7/src/cliquetree.ml # ocamlgraph-1.7/src/cliquetree.mli # ocamlgraph-1.7/src/coloring.ml # ocamlgraph-1.7/src/coloring.mli # ocamlgraph-1.7/src/components.ml # ocamlgraph-1.7/src/components.mli # ocamlgraph-1.7/src/delaunay.ml # ocamlgraph-1.7/src/delaunay.mli # ocamlgraph-1.7/src/dot.ml # ocamlgraph-1.7/src/dot.mli # ocamlgraph-1.7/src/dot_ast.mli # ocamlgraph-1.7/src/dot_lexer.ml # ocamlgraph-1.7/src/dot_lexer.mll # ocamlgraph-1.7/src/dot_parser.ml # ocamlgraph-1.7/src/dot_parser.mli # ocamlgraph-1.7/src/dot_parser.mly # ocamlgraph-1.7/src/flow.ml # ocamlgraph-1.7/src/flow.mli # ocamlgraph-1.7/src/gmap.ml # ocamlgraph-1.7/src/gmap.mli # ocamlgraph-1.7/src/gml.ml # ocamlgraph-1.7/src/gml.mli # ocamlgraph-1.7/src/gml.mll # ocamlgraph-1.7/src/graphviz.ml # ocamlgraph-1.7/src/graphviz.mli # ocamlgraph-1.7/src/imperative.ml # ocamlgraph-1.7/src/imperative.mli # ocamlgraph-1.7/src/kruskal.ml # ocamlgraph-1.7/src/kruskal.mli # ocamlgraph-1.7/src/mcs_m.ml # ocamlgraph-1.7/src/mcs_m.mli # ocamlgraph-1.7/src/md.ml # ocamlgraph-1.7/src/md.mli # ocamlgraph-1.7/src/minsep.ml # ocamlgraph-1.7/src/minsep.mli # ocamlgraph-1.7/src/oper.ml # ocamlgraph-1.7/src/oper.mli # ocamlgraph-1.7/src/pack.ml # ocamlgraph-1.7/src/pack.mli # ocamlgraph-1.7/src/path.ml # ocamlgraph-1.7/src/path.mli # ocamlgraph-1.7/src/persistent.ml # ocamlgraph-1.7/src/persistent.mli # ocamlgraph-1.7/src/rand.ml # ocamlgraph-1.7/src/rand.mli # ocamlgraph-1.7/src/sig.mli # ocamlgraph-1.7/src/sig_pack.mli # ocamlgraph-1.7/src/strat.ml # ocamlgraph-1.7/src/strat.mli # ocamlgraph-1.7/src/topological.ml # ocamlgraph-1.7/src/topological.mli # ocamlgraph-1.7/src/traverse.ml # ocamlgraph-1.7/src/traverse.mli # ocamlgraph-1.7/src/util.ml # ocamlgraph-1.7/src/util.mli # ocamlgraph-1.7/src/version.ml # ocamlgraph-1.7/lib/ # ocamlgraph-1.7/lib/bitv.ml # ocamlgraph-1.7/lib/bitv.mli # ocamlgraph-1.7/lib/heap.ml # ocamlgraph-1.7/lib/heap.mli # ocamlgraph-1.7/lib/unionfind.ml # ocamlgraph-1.7/lib/unionfind.mli # ocamlgraph-1.7/Makefile.in # ocamlgraph-1.7/configure # ocamlgraph-1.7/configure.in # ocamlgraph-1.7/META.in # ocamlgraph-1.7/.depend # ocamlgraph-1.7/editor/ # ocamlgraph-1.7/editor/ed_display.ml # ocamlgraph-1.7/editor/ed_draw.ml # ocamlgraph-1.7/editor/ed_graph.ml # ocamlgraph-1.7/editor/ed_hyper.ml # ocamlgraph-1.7/editor/ed_main.ml # ocamlgraph-1.7/editor/Makefile # ocamlgraph-1.7/editor/tests/ # ocamlgraph-1.7/editor/tests/dep_ed.dot # ocamlgraph-1.7/editor/tests/dep_why.dot # ocamlgraph-1.7/editor/tests/fsm.dot # ocamlgraph-1.7/editor/tests/parcours.dot # ocamlgraph-1.7/editor/tests/softmaint.dot # ocamlgraph-1.7/editor/tests/transparency.dot # ocamlgraph-1.7/editor/tests/twopi2.dot # ocamlgraph-1.7/editor/tests/unix.dot # ocamlgraph-1.7/editor/tests/world.dot # ocamlgraph-1.7/editor/tests/de_bruijn4.gml # ocamlgraph-1.7/editor/tests/divisors12.gml # ocamlgraph-1.7/editor/tests/full10.gml # ocamlgraph-1.7/editor/tests/full20.gml # ocamlgraph-1.7/editor/tests/full30.gml # ocamlgraph-1.7/editor/tests/full50.gml # ocamlgraph-1.7/editor/tests/rand_100_10.gml # ocamlgraph-1.7/editor/tests/rand_100_300.gml # ocamlgraph-1.7/editor/tests/rand_10_10.gml # ocamlgraph-1.7/editor/tests/rand_10_40.gml # ocamlgraph-1.7/editor/tests/rand_50_300.gml # ocamlgraph-1.7/editor/tests/ring_100.gml # ocamlgraph-1.7/editor/tests/test.gml # ocamlgraph-1.7/editor/tests/test2,1_2.gml # ocamlgraph-1.7/editor/tests/test2,1_3.gml # ocamlgraph-1.7/editor/tests/test2,1_3tot.gml # ocamlgraph-1.7/editor/tests/test2_2.gml # ocamlgraph-1.7/view_graph/ # ocamlgraph-1.7/view_graph/viewGraph_core.ml # ocamlgraph-1.7/view_graph/viewGraph_select.ml # ocamlgraph-1.7/view_graph/viewGraph_test.ml # ocamlgraph-1.7/view_graph/viewGraph_utils.ml # ocamlgraph-1.7/view_graph/viewGraph_core.mli # ocamlgraph-1.7/view_graph/viewGraph_select.mli # ocamlgraph-1.7/view_graph/viewGraph_utils.mli # ocamlgraph-1.7/view_graph/README # ocamlgraph-1.7/view_graph/Makefile # ocamlgraph-1.7/dgraph/ # ocamlgraph-1.7/dgraph/dGraphContainer.ml # ocamlgraph-1.7/dgraph/dGraphMake.ml # ocamlgraph-1.7/dgraph/dGraphModel.ml # ocamlgraph-1.7/dgraph/dGraphRandModel.ml # ocamlgraph-1.7/dgraph/dGraphSubTree.ml # ocamlgraph-1.7/dgraph/dGraphTreeLayout.ml # ocamlgraph-1.7/dgraph/dGraphTreeModel.ml # ocamlgraph-1.7/dgraph/dGraphView.ml # ocamlgraph-1.7/dgraph/dGraphViewItem.ml # ocamlgraph-1.7/dgraph/dGraphViewer.ml # ocamlgraph-1.7/dgraph/xDot.ml # ocamlgraph-1.7/dgraph/xDotDraw.ml # ocamlgraph-1.7/dgraph/dGraphContainer.mli # ocamlgraph-1.7/dgraph/dGraphModel.mli # ocamlgraph-1.7/dgraph/dGraphRandModel.mli # ocamlgraph-1.7/dgraph/dGraphSubTree.mli # ocamlgraph-1.7/dgraph/dGraphTreeLayout.mli # ocamlgraph-1.7/dgraph/dGraphTreeModel.mli # ocamlgraph-1.7/dgraph/dGraphView.mli # ocamlgraph-1.7/dgraph/dGraphViewItem.mli # ocamlgraph-1.7/dgraph/xDot.mli # ocamlgraph-1.7/dgraph/xDotDraw.mli # ocamlgraph-1.7/examples/ # ocamlgraph-1.7/examples/color.ml # ocamlgraph-1.7/examples/demo.ml # ocamlgraph-1.7/examples/demo_planar.ml # ocamlgraph-1.7/examples/sudoku.ml # ocamlgraph-1.7/tests/ # ocamlgraph-1.7/tests/bench.ml # ocamlgraph-1.7/tests/check.ml # ocamlgraph-1.7/tests/dot.ml # ocamlgraph-1.7/tests/strat.ml # ocamlgraph-1.7/tests/test.ml # ocamlgraph-1.7/README # ocamlgraph-1.7/FAQ # ocamlgraph-1.7/CREDITS # ocamlgraph-1.7/INSTALL # ocamlgraph-1.7/COPYING # ocamlgraph-1.7/LICENSE # ocamlgraph-1.7/CHANGES # cd ../ocamlgraph-1.7 && patch -p1 < ../ocamlgraph-safe-string.patch # patching file lib/bitv.ml # Hunk #1 succeeded at 459 with fuzz 2 (offset 10 lines). # cd ../ocamlgraph-1.7 && ./configure # checking for ocamlc... ocamlc # ocaml version is 4.10.2 # ocaml library path is /home/opam/.opam/4.10/lib/ocaml # checking for ocamlopt... ocamlopt # checking ocamlopt version... ok # checking for ocamlc.opt... ocamlc.opt # checking ocamlc.opt version... ok # checking for ocamlopt.opt... ocamlopt.opt # checking ocamlc.opt version... ok # checking for ocamldep... ocamldep # checking for ocamllex... ocamllex # checking for ocamllex.opt... ocamllex.opt # checking for ocamlyacc... ocamlyacc # checking for ocamldoc... ocamldoc # checking for ocamldoc.opt... ocamldoc.opt # checking for ocamlweb... true # checking for ocamlfind... no # checking for /home/opam/.opam/4.10/lib/ocaml/lablgtk2/lablgtk.cmxa... no # checking Win32 platform... no # configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled # configure: creating ./config.status # config.status: creating Makefile # cd ../ocamlgraph-1.7 && \ # make OCAMLOPT='ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib' graph.cmxa # make[2]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/ocamlgraph-1.7' # sed -e s/VERSION/1.7/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ # META.in > META # rm -f src/version.ml # echo "let version = \""1.7"\"" > src/version.ml # echo "let date = \""`date`"\"" >> src/version.ml # rm -f .depend # ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ # lib/*.ml lib/*.mli \ # src/*.ml src/*.mli \ # editor/*.mli editor/*.ml \ # view_graph/*.mli view_graph/*.ml \ # dgraph/*.mli dgraph/*.ml > .depend # ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli # ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli # ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli # ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/unionfind.ml # ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/heap.ml # File "lib/heap.ml", line 54, characters 13-25: # 54 | let d' = Array.create n' d.(0) in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/heap.ml", line 61, characters 16-28: # 61 | h.data <- Array.create (- h.size) x; h.size <- 0 # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/bitv.ml # File "lib/bitv.ml", line 51, characters 15-27: # 51 | let low_mask = Array.create (succ bpi) 0 # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 68, characters 25-37: # 68 | { length = n; bits = Array.create (n / bpi) initv } # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 71, characters 12-24: # 71 | let b = Array.create (succ s) initv in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 113, characters 11-13: # 113 | if n < 0 or n >= v.length then invalid_arg "Bitv.get"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 118, characters 11-13: # 118 | if n < 0 or n >= v.length then invalid_arg "Bitv.set"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 205, characters 13-15: # 205 | if len < 0 or ofs1 < 0 or ofs1 + len > v1.length # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 205, characters 25-27: # 205 | if len < 0 or ofs1 < 0 or ofs1 + len > v1.length # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 206, characters 13-15: # 206 | or ofs2 < 0 or ofs2 + len > v2.length # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 206, characters 25-27: # 206 | or ofs2 < 0 or ofs2 + len > v2.length # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 214, characters 13-15: # 214 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.sub"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 214, characters 24-26: # 214 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.sub"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 289, characters 13-15: # 289 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.fill"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 289, characters 24-26: # 289 | if ofs < 0 or len < 0 or ofs + len > v.length then invalid_arg "Bitv.fill"; # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "lib/bitv.ml", line 368, characters 10-22: # 368 | let a = Array.create n 0 in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 380, characters 10-22: # 380 | let a = Array.create n 0 in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 392, characters 10-22: # 392 | let a = Array.create n 0 in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "lib/bitv.ml", line 401, characters 10-22: # 401 | let a = Array.create n 0 in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/version.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/util.ml # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/blocks.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/persistent.ml # File "src/persistent.ml", line 52, characters 20-38: # 52 | let compare x y = Pervasives.compare x.tag y.tag # ^^^^^^^^^^^^^^^^^^ # 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/persistent.ml", line 145, characters 10-25: # 145 | size = Pervasives.succ g.size } # ^^^^^^^^^^^^^^^ # 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/persistent.ml", line 158, characters 21-36: # 158 | { edges = e; size = Pervasives.pred g.size } # ^^^^^^^^^^^^^^^ # 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/persistent.ml", line 178, characters 10-25: # 178 | size = Pervasives.succ g.size } # ^^^^^^^^^^^^^^^ # 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/persistent.ml", line 197, characters 10-25: # 197 | size = Pervasives.pred g.size } # ^^^^^^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/imperative.ml # File "src/imperative.ml", line 68, characters 20-38: # 68 | let compare x y = Pervasives.compare x.tag y.tag # ^^^^^^^^^^^^^^^^^^ # 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/imperative.ml", line 169, characters 11-26: # 169 | g.size <- Pervasives.succ g.size; # ^^^^^^^^^^^^^^^ # 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/imperative.ml", line 185, characters 11-26: # 185 | g.size <- Pervasives.pred g.size # ^^^^^^^^^^^^^^^ # 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/imperative.ml", line 206, characters 11-26: # 206 | g.size <- Pervasives.succ g.size; # ^^^^^^^^^^^^^^^ # 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/imperative.ml", line 227, characters 11-26: # 227 | g.size <- Pervasives.pred g.size # ^^^^^^^^^^^^^^^ # 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/imperative.ml", line 371, characters 36-54: # 371 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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/imperative.ml", line 381, characters 36-54: # 381 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/delaunay.ml # File "src/delaunay.ml", line 260, characters 19-31: # 260 | let seen_arc = Array.create n false in # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/builder.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/classic.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/rand.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/oper.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/path.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/traverse.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/coloring.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/topological.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/components.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/kruskal.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/flow.ml # File "src/flow.ml", line 53, characters 54-56: # 53 | let fold_booleen f = List.fold_left (fun r x->(f x) or r) false # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "src/flow.ml", line 137, characters 6-8: # 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "src/flow.ml", line 136, characters 44-46: # 136 | G.fold_succ_e (fun e r->pousser g e l or r) g x false # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "src/flow.ml", line 137, characters 47-49: # 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # File "src/flow.ml", line 141, characters 40-42: # 141 | (fold_booleen (elever g p) !todo) or # ^^ # Alert deprecated: Stdlib.or # Use (||) instead. # ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/graphviz.ml # File "src/graphviz.ml", line 27, characters 5-15: # 27 | open Pervasives (* for compatibility with ocaml 3.12.0+dev17 # ^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gml.ml # File "src/gml.ml", line 418, characters 27-39: # 418 | lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ; __ocaml_lex_file_rec lexbuf 0 # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # File "src/gml.ml", line 455, characters 27-39: # 455 | lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ; __ocaml_lex_value_list_rec lexbuf 7 # ^^^^^^^^^^^^ # Alert deprecated: Stdlib.Array.create # Use Array.make instead. # ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_parser.ml # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_lexer.ml # File "src/dot_lexer.mll", line 39, characters 21-37: # Alert deprecated: Stdlib.String.lowercase # Use String.lowercase_ascii instead. # ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot.ml # File "src/dot.ml", line 61, characters 41-59: # 61 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/pack.ml # File "src/pack.ml", line 51, characters 34-52: # 51 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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/pack.ml", line 64, characters 34-52: # 64 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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/pack.ml", line 89, characters 34-52: # 89 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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/pack.ml", line 170, characters 32-50: # 170 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gmap.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/minsep.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/cliquetree.ml # File "src/cliquetree.ml", line 110, characters 39-57: # 110 | let compare : t -> t -> int = Pervasives.compare # ^^^^^^^^^^^^^^^^^^ # 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/cliquetree.ml", line 120, characters 40-58: # 120 | let compare (x, _ : t) (y, _ : t) = Pervasives.compare x y # ^^^^^^^^^^^^^^^^^^ # 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/cliquetree.ml", line 171, characters 3-21: # 171 | (Pervasives.compare : int -> int -> int) (number y) (number x)) # ^^^^^^^^^^^^^^^^^^ # 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 # ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/mcs_m.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/md.ml # ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/strat.ml # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/path.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/components.cmx src/kruskal.cmx src/flow.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -I src -I lib -a -o graph.cmxa graph.cmx # make[2]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/ocamlgraph-1.7' # make opt # make[2]: Entering directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c location.ml # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c types.ml # File "types.ml", line 484, characters 67-85: # 484 | module NtrSet = Set.Make(struct type t = nontermroot let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 "types.ml", line 490, characters 83-101: # 490 | module NtrPairSet = Set.Make(struct type t = nontermroot*nontermroot let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 "types.ml", line 497, characters 87-105: # 497 | module NtSet = Set.Make(struct type t = nontermroot * nonterm * prod_env let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 "types.ml", line 504, characters 93-111: # 504 | module NtsubSet = Set.Make(struct type t = nontermroot * nontermroot * nonterm let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 "types.ml", line 510, characters 68-86: # 510 | module MvrSet = Set.Make(struct type t = metavarroot let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 "types.ml", line 517, characters 88-106: # 517 | module MvSet = Set.Make(struct type t = metavarroot * metavar * prod_env let compare = Pervasives.compare end);; # ^^^^^^^^^^^^^^^^^^ # 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 # ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c auxl.ml # File "auxl.ml", lines 396-403, characters 7-19: # 396 | .......( match hse with # 397 | | Hom_index _ | Hom_terminal _ -> [] # 398 | | Hom_string s -> # 399 | let strs = Str.split (Str.regexp "[ \t]+") s in # 400 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in # 401 | if promote # 402 | then List.map (promote_ntr xd) ntrs_hom # 403 | else ntrs_hom ). # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Hom_ln_free_index (_, _) # File "auxl.ml", lines 458-462, characters 7-59: # 458 | .......( match hse with # 459 | | Hom_index _ | Hom_terminal _ -> [] # 460 | | Hom_string s -> # 461 | let strs = Str.split (Str.regexp "[ \t]+") s in # 462 | List.filter (fun st -> List.mem st defined_mvrs) strs ). # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Hom_ln_free_index (_, _) # File "auxl.ml", lines 791-795, characters 2-61: # 791 | ..match m with # 792 | | Coq _ | Hol _ | Lem _ | Isa _ | Caml _ -> "(** "^s^" *)\n" # 793 | | Twf _ -> "%%% "^s^" %%%\n\n" # 794 | | Tex _ -> "% "^s^"\n" # 795 | | Menhir _ | Lex _ | Ascii _ -> errorm m "big_line_comment" # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", line 1492, characters 47-64: # 1492 | let map_prod_names = List.map (fun pn -> (pn,String.capitalize pn)) prod_name_list in # ^^^^^^^^^^^^^^^^^ # Alert deprecated: Stdlib.String.capitalize # Use String.capitalize_ascii instead. # File "auxl.ml", line 1502, characters 47-66: # 1502 | let map_prod_names = List.map (fun pn -> (pn,String.uncapitalize pn)) prod_name_list in # ^^^^^^^^^^^^^^^^^^^ # Alert deprecated: Stdlib.String.uncapitalize # Use String.uncapitalize_ascii instead. # File "auxl.ml", line 1511, characters 51-70: # 1511 | let map_nontermroots = List.map (fun ntr -> (ntr,String.uncapitalize ntr)) nontermroots_list in # ^^^^^^^^^^^^^^^^^^^ # Alert deprecated: Stdlib.String.uncapitalize # Use String.uncapitalize_ascii instead. # File "auxl.ml", line 1520, characters 51-70: # 1520 | let map_metavarroots = List.map (fun mvr -> (mvr,String.uncapitalize mvr)) metavarroots_list in # ^^^^^^^^^^^^^^^^^^^ # Alert deprecated: Stdlib.String.uncapitalize # Use String.uncapitalize_ascii instead. # File "auxl.ml", line 1544, characters 19-36: # 1544 | st_prod_name = String.capitalize stnb.st_prod_name; # ^^^^^^^^^^^^^^^^^ # Alert deprecated: Stdlib.String.capitalize # Use String.capitalize_ascii instead. # File "auxl.ml", lines 1569-1578, characters 2-68: # 1569 | ..match m with # 1570 | | Isa _ -> "True" # 1571 | | Coq co -> # 1572 | if co.coq_expand_lists || in_prop # 1573 | then "True" # 1574 | else "true" # 1575 | | Hol _ -> "T" # 1576 | | Caml _ -> "true" # 1577 | | Lem _ -> "true" # 1578 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_true" # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", lines 1581-1590, characters 2-69: # 1581 | ..match m with # 1582 | | Isa _ -> "False" # 1583 | | Coq co -> # 1584 | if co.coq_expand_lists || in_prop # 1585 | then "False" # 1586 | else "false" # 1587 | | Hol _ -> "F" # 1588 | | Caml _ -> "false" # 1589 | | Lem _ -> "false" # 1590 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_false" # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", lines 1593-1602, characters 2-67: # 1593 | ..match m with # 1594 | | Isa _ -> " & " # 1595 | | Caml _ -> " && " # 1596 | | Lem _ -> " && " # 1597 | | Coq co -> # 1598 | if co.coq_expand_lists || in_prop # 1599 | then " /\\ " # 1600 | else " && " # 1601 | | Hol _ -> " /\\ " # 1602 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_and" # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", lines 1605-1614, characters 2-66: # 1605 | ..match m with # 1606 | | Isa _ -> " | " # 1607 | | Coq co -> # 1608 | if co.coq_expand_lists || in_prop # 1609 | then " \\/ " # 1610 | else " || " # 1611 | | Hol _ -> " \\/ " # 1612 | | Caml _ -> " || " # 1613 | | Lem _ -> " || " # 1614 | | Ascii _ | Tex _ | Twf _ | Lex _ | Menhir _ -> errorm m "pp_or" # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", lines 1622-1657, characters 2-97: # 1622 | ..match m with # 1623 | | Coq _ -> # 1624 | ( match l with # 1625 | | [] -> "nil" # 1626 | | x::[] -> "("^x^")" # ... # 1654 | ^ ( String.concat " <- " # 1655 | (List.map2 (fun s nl -> s ^ " " ^ nl) l list_nl) ) # 1656 | ^ final_append ) # 1657 | | Caml _ | Tex _ | Ascii _ | Hol _ | Lem _ | Isa _ | Lex _ | Menhir _ -> raise ThisCannotHappen # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Rdx _ # File "auxl.ml", lines 1809-1824, characters 4-42: # 1809 | ....( match stre with # 1810 | | Struct_md mvr -> "metavar def: "^mvr # 1811 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) # 1812 | | Struct_srs xs -> "subrule def: "^ # 1813 | (String.concat " " # ... # 1821 | | Struct_axs xs -> "aux def: "^ # 1822 | (String.concat " " xs) # 1823 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s # 1824 | | Struct_embed (_,h,_) -> "embed: "^h) # Error (warning 8): this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # Struct_crs _ # make[2]: *** [Makefile:209: auxl.cmx] Error 2 # make[2]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' # make[1]: *** [Makefile:244: install] Error 2 # make[1]: Leaving directory '/home/opam/.opam/4.10/.opam-switch/build/ott.0.27/src' # make: *** [Makefile:39: world] Error 2 <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build ott 0.27 +- - No changes have been performed # Run eval $(opam env) to update the current shell environment 'opam install -vy ott.0.27' failed. "/usr/bin/env" "bash" "-c" " opam remove -y "ott.0.27" opam install -vy "ott.0.27" res=$? if [ $res = 31 ]; then if opam show -f x-ci-accept-failures: "ott.0.27" | 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