OCamllabs icon Home|Differences with the last checks|Previous runs


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