Building on x86-bm-9.ocamllabs.io (from ocurrent/opam:debian-unstable) ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMDEPEXTYES 1) /: (env OPAMUTF8 never) /: (run (network host) (shell "\ \n set -e\ \n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\ \n git -C /tmp/opam checkout -q 'dcdba1db7b6ad3d18cc0b07e8337d02c160c62b3'\ \n opam remote set-url default git://github.com/ocaml/opam-repository.git\ \n opam pin add -yn /tmp/opam > /dev/null\ \n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\ \n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\ \n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\ \n if ! test -d ~/opam-repository; then\ \n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\ \n else\ \n git -C ~/opam-repository pull -q origin master\ \n fi\ \n git -C ~/opam-repository checkout -q '7af4b295dc2de0b2b594c05ab4af40ef963bbc5c'\ \n ")) [default] Initialised <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD The following actions will be performed: - install ocamlfind 1.9.1 - install seq base [required by fmt] - install cmdliner 1.0.4 [required by opam-0install-cudf, opam-devel] - install dune 2.8.5 [required by opam-0install-cudf, opam-devel] - install ocamlbuild 0.14.0 [required by cudf, fmt] - install base-bytes base [required by extlib] - install stdlib-shims 0.3.0 [required by fmt] - install re 1.9.0 [required by opam-client] - install opam-file-format 2.3.0* [required by opam-format] - install cppo 1.6.7 [required by extlib] - install 0install-solver 2.17 [required by opam-0install-cudf] - install topkg 1.0.3 [required by fmt] - install ocamlgraph 2.0.0 [required by dose3] - install extlib 1.7.7-1 [required by cudf, opam-client] - install fmt 0.8.9 [required by opam-0install-cudf] - install opam-core 2.1.0~beta4* [required by opam-format] - install cudf 0.9-1 [required by opam-0install-cudf] - install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver] - install opam-0install-cudf 0.4 - install mccs 1.1+12 [required by opam-solver] - install dose3 5.0.1-1 [required by opam-solver] - install opam-repository 2.1.0~beta4* [required by opam-client] - install opam-solver 2.1.0~beta4* [required by opam-client] - install opam-state 2.1.0~beta4* [required by opam-client] - install opam-client 2.1.0~beta4* [required by opam-devel] - install opam-devel 2.1.0~beta4* ===== 26 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz [0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz [cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz [cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz [dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz [dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz [fmt.0.8.9] downloaded from https://erratique.ch/software/fmt/releases/fmt-0.8.9.tbz [mccs.1.1+12] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+12.tar.gz [extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz [ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz [ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz [ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz [opam-0install-cudf.0.4] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4/opam-0install-cudf-v0.4.tbz [re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz [stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz [topkg.1.0.3] downloaded from http://erratique.ch/software/topkg/releases/topkg-1.0.3.tbz [opam-file-format.2.3.0] synchronised from git+https://github.com/rjbou/opam-file-format#endpos <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed cmdliner.1.0.4 -> installed ocamlfind.1.9.1 -> installed base-bytes.base -> installed ocamlbuild.0.14.0 -> installed dune.2.8.5 -> installed stdlib-shims.0.3.0 -> installed topkg.1.0.3 -> installed 0install-solver.2.17 -> installed cppo.1.6.7 -> installed opam-file-format.2.3.0 -> installed re.1.9.0 -> installed ocamlgraph.2.0.0 -> installed fmt.0.8.9 -> installed extlib.1.7.7-1 -> installed opam-core.2.1.0~beta4 -> installed cudf.0.9-1 -> installed opam-0install-cudf.0.4 -> installed mccs.1.1+12 -> installed opam-format.2.1.0~beta4 -> installed opam-repository.2.1.0~beta4 -> installed dose3.5.0.1-1 -> installed opam-state.2.1.0~beta4 -> installed opam-solver.2.1.0~beta4 -> installed opam-client.2.1.0~beta4 -> installed opam-devel.2.1.0~beta4 Done. <><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><> => The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin If you just want to give it a try without altering your current installation, you could use instead: alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam" # Run eval $(opam env) to update the current shell environment ---> using "310fb7594d9f0873efc277b6742d0667f048239b4a32d1032c7317df22d8acfe" from cache /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --disable-sandboxing ~/opam-repository")) Configuring from /home/opam/.opamrc and then 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. ---> using "6e0e4cb8d83a997aa93a89995166c703e50432ac925f85088097ad965e1b2fdd" from cache /: (run (network host) (shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89")) ---> using "fec8f0ca87dd016419bfc26712d0aae42451d64e2ffbfdfa9fb56f27d891d00e" from cache /: (run (shell "opam repository add --dont-select 'beta' ~/'beta'")) [beta] Initialised ---> using "9db56549e55b576bd26307f46fea6c6449257ac7eeae4cd6652544efa56b5957" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=beta,default 4.13.0+trunk")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-variants" {= "4.13.0+trunk"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-variants.4.13.0+trunk (https://github.com/ocaml/ocaml/archive/trunk.tar.gz) -> installed ocaml-variants.4.13.0+trunk -> installed ocaml-config.2 -> installed ocaml.4.13.0 Done. # Run eval $(opam env --switch=4.13.0+trunk) to update the current shell environment ---> using "bd80f57634e7ef44a9768cf6c559d45e1d10923dcd5e47eb4338e3442fe5e146" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [157 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8625 kB] - Fetched 8846 kB in 4s (2332 kB/s) - Reading package lists... - ---> using "2fdecf8c56df623f8e262d7515ca088486685d6a2556e25b5276676aa64e4b5d" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam install -vy \"ott.0.31\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"ott.0.31\" | 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\ \n\ \nfi\ \nexit $res\ \n")) The following actions will be performed: - install ott 0.31 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: [ott.0.31: http] Processing 1/3: -> retrieved ott.0.31 (https://github.com/ott-lang/ott/archive/0.31.tar.gz) Processing 2/3: [ott: make world] + /usr/bin/make "world" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31) - cd src; /usr/bin/make install - make[1]: Entering directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/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.13.0+dev0-2020-10-19 - ocaml library path is /home/opam/.opam/4.13.0+trunk/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.13.0+trunk/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 && \ - /usr/bin/make OCAMLOPT='ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib' graph.cmxa - make[2]: Entering directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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/ArrayLabels.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/ArrayLabels.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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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/ArrayLabels.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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/blocks.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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/ArrayLabels.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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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/ArrayLabels.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/ArrayLabels.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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "src/dot_lexer.mll", line 39, characters 21-37: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - 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 - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I src -I lib -I src -I lib -a -o graph.cmxa graph.cmx - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - make[2]: Leaving directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/ocamlgraph-1.7' - /usr/bin/make opt - make[2]: Entering directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/src' - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c location.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c types.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "types.ml", line 483, characters 67-85: - 483 | 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 489, characters 83-101: - 489 | 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 496, characters 87-105: - 496 | 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 503, characters 93-111: - 503 | 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 509, characters 68-86: - 509 | 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 516, characters 88-106: - 516 | 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 "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "auxl.ml", lines 405-412, characters 7-19: - 405 | .......( match hse with - 406 | | Hom_index _ | Hom_terminal _ -> [] - 407 | | Hom_string s -> - 408 | let strs = Str.split (Str.regexp "[ \t]+") s in - 409 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in - 410 | if promote - 411 | then List.map (promote_ntr xd) ntrs_hom - 412 | else ntrs_hom ). - Warning 8 [partial-match]: 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 467-471, characters 7-59: - 467 | .......( match hse with - 468 | | Hom_index _ | Hom_terminal _ -> [] - 469 | | Hom_string s -> - 470 | let strs = Str.split (Str.regexp "[ \t]+") s in - 471 | List.filter (fun st -> List.mem st defined_mvrs) strs ). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - File "auxl.ml", line 1523, characters 68-85: - 1523 | let map_prod_names = List.map (fun p -> (p.prod_loc, p.prod_name, String.capitalize p.prod_name)) prod_list in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "auxl.ml", line 1532, characters 68-87: - 1532 | let map_prod_names = List.map (fun p -> (p.prod_loc, p.prod_name, String.uncapitalize p.prod_name)) prod_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "auxl.ml", line 1541, characters 61-80: - 1541 | let map_nontermroots = List.map (fun (loc,ntr) -> (loc,ntr,String.uncapitalize ntr)) nontermroots_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "auxl.ml", line 1550, characters 61-80: - 1550 | let map_metavarroots = List.map (fun (loc,mvr) -> (loc,mvr,String.uncapitalize mvr)) metavarroots_list in - ^^^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uncapitalize - Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. - File "auxl.ml", line 1574, characters 19-36: - 1574 | st_prod_name = String.capitalize stnb.st_prod_name; - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "auxl.ml", lines 1839-1854, characters 4-42: - 1839 | ....( match stre with - 1840 | | Struct_md mvr -> "metavar def: "^mvr - 1841 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) - 1842 | | Struct_srs xs -> "subrule def: "^ - 1843 | (String.concat " " - ... - 1851 | | Struct_axs xs -> "aux def: "^ - 1852 | (String.concat " " xs) - 1853 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s - 1854 | | Struct_embed (_,h,_) -> "embed: "^h) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Struct_crs _ - ocamlc -g -dtypes -c location.ml - ocamlc -g -dtypes -c types.ml - File "types.ml", line 483, characters 67-85: - 483 | 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 489, characters 83-101: - 489 | 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 496, characters 87-105: - 496 | 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 503, characters 93-111: - 503 | 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 509, characters 68-86: - 509 | 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 516, characters 88-106: - 516 | 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 - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c merge.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c merge.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c global_option.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c grammar_parser.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_parser.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_lexer.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c version.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "grammar_pp.ml", line 974, characters 19-36: - 974 | | Twf _,false -> String.capitalize s - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 1357, characters 22-39: - 1357 | | Caml _ | Lem _ -> String.capitalize (pp_maybe_quote_ident m xd pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", lines 1875-2131, characters 6-25: - 1875 | ......( match m with - 1876 | | Lex _ | Menhir _ -> Auxl.errorm m "pp_mse" - 1877 | | Ascii ao -> - 1878 | pp_auxfn m xd f ^ ""^pp_LPAREN ^ "" - 1879 | ^ pp_ntlist - ... - 2128 | else - 2129 | ( "(flat_map (fun "^pat_fun^" => "^pp_body^ pat_fun_end ^ ") " - 2130 | ^ de1i.de1_compound_id - 2131 | ^ ")", [], [] ) ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _) - (However, some guarded clause may match this value.) - File "grammar_pp.ml", line 2393, characters 8-26: - 2393 | if (Pervasives.compare mv emv = 0) - ^^^^^^^^^^^^^^^^^^ - 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 "grammar_pp.ml", line 2403, characters 8-26: - 2403 | if (Pervasives.compare nt ent = 0) - ^^^^^^^^^^^^^^^^^^ - 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 "grammar_pp.ml", line 2517, characters 25-42: - 2517 | | None -> Some (String.capitalize p.prod_name ^ pp_com) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 2518, characters 28-45: - 2518 | | Some s -> Some ((String.capitalize p.prod_name) ^ " of " ^ s ^ pp_com) ) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 2524, characters 25-42: - 2524 | | None -> Some (String.capitalize p.prod_name ^ pp_com) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 2525, characters 28-45: - 2525 | | Some s -> Some ((String.capitalize p.prod_name) ^ " of " ^ s ^ pp_com) ) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 2726, characters 22-23: - 2726 | & match m with Isa _ | Coq _ | Hol _ | Lem _ | Caml _ -> true | _ -> false) - ^ - Alert deprecated: Stdlib.& - Use (&&) instead. - File "grammar_pp.ml", line 3492, characters 20-37: - 3492 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3496, characters 25-42: - 3496 | ^ (String.capitalize promoted_pn)^" " - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3503, characters 20-37: - 3503 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3507, characters 25-42: - 3507 | ^ (String.capitalize promoted_pn)^" " - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", lines 4022-4025, characters 16-45: - 4022 | ................(match hse with - 4023 | | Hom_string _ -> arity_of_homspec hs' - 4024 | | Hom_index i -> max (1+i) (arity_of_homspec hs') - 4025 | | Hom_terminal _ -> arity_of_homspec hs') - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Hom_ln_free_index (_, _) - ocamlopt -w y -g -dtypes -unsafe -inline 9 -c -I ../ocamlgraph-1.7 parse_table.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "parse_table.ml", line 914, characters 42-56: - 914 | prod_action = (fun [r] -> r); - ^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_ - ocamlopt -w y -g -dtypes -unsafe -inline 9 -c -I ../ocamlgraph-1.7 glr.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "glr.ml", line 455, characters 24-42: - 455 | let compare x y = Pervasives.compare x.sn_index y.sn_index - ^^^^^^^^^^^^^^^^^^ - 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 -c -I ../ocamlgraph-1.7 new_term_parser.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "new_term_parser.ml", lines 150-177, characters 10-30: - 150 | ..........(function - 151 | | "[" -> "lbrac" - 152 | | "]" -> "rbrac" - 153 | | "!" -> "excl" - 154 | | "\"" -> "doublequote" - ... - 174 | | "}" -> "rcurly" - 175 | | "|" -> "bar" - 176 | | "~" -> "tilde" - 177 | | "-" -> "minus") - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "new_term_parser.ml", lines 289-290, characters 14-18: - 289 | ..............[Res_char c; Res_charl l] = - 290 | Res_charl (c::l).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char _::Res_charl _::_::_ - File "new_term_parser.ml", lines 292-293, characters 20-46: - 292 | ....................[Res_char c; Res_charl l] = - 293 | Res_string (Auxl.string_of_char_list (c::l)).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char _::Res_charl _::_::_ - File "new_term_parser.ml", line 295, characters 14-58: - 295 | let res_stlil [Res_stli a; Res_stlil b] = Res_stlil (a::b);; - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli _::Res_stlil _::_::_ - File "new_term_parser.ml", lines 342-346, characters 67-66: - 342 | ...................................................................function - 343 | [] -> [] - 344 | | Res_ignore::rl -> process_prod_res rl - 345 | | Res_ste ste::rl -> ste::process_prod_res rl - 346 | | Res_st st::rl -> Ste_st (dummy_loc, st)::process_prod_res rl - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Res_none|Res_stli _|Res_stlil _|Res_char _|Res_charl _|Res_string _| - Res_int _|Res_si _|Res_sil _)::_ - File "new_term_parser.ml", line 382, characters 14-42: - 382 | (fun [Res_stlil x] -> elc x); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stlil _::_::_ - File "new_term_parser.ml", line 401, characters 8-42: - 401 | (fun [Res_stli x]-> Res_stlil [x]); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli _::_::_ - File "new_term_parser.ml", line 416, characters 16-51: - 416 | (fun [x; _; y] -> res_stlil [x; y]) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_::_::_ - File "new_term_parser.ml", lines 463-467, characters 26-65: - 463 | ..........................(fun [Res_stli (Stli_single (_, es1)); - 464 | _; - 465 | Res_int n'; - 466 | Res_stli (Stli_single (_, es2))] -> - 467 | process_dot_listform_res es1 n' es2). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli (Stli_single (_, _))::_::Res_int _::Res_stli (Stli_single (_, _)):: - _::_ - File "new_term_parser.ml", lines 476-482, characters 26-65: - 476 | ..........................(fun [Res_stli (Stli_single (_, es1)); - 477 | _; - 478 | _; - 479 | Res_int n'; - 480 | _; - 481 | Res_stli (Stli_single (_, es2))] -> - 482 | process_dot_listform_res es1 n' es2) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli (Stli_single (_, _))::_::_::Res_int _::_:: - Res_stli (Stli_single (_, _))::_::_ - File "new_term_parser.ml", lines 488-500, characters 18-53: - 488 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 489 | _] -> - 490 | let es'' = - 491 | List.map - 492 | (Merge.abstract_indexvar_symterm_element ivr 0) - ... - 497 | stl_elements = es''; - 498 | stl_loc = dummy_loc} - 499 | in - 500 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::_ - File "new_term_parser.ml", lines 508-523, characters 18-53: - 508 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 509 | _; - 510 | _; Res_string ivr'; - 511 | _] -> - 512 | let es'' = - ... - 520 | let stlb = {stl_bound = b; - 521 | stl_elements = es''; - 522 | stl_loc = dummy_loc} in - 523 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_:: - _::_ - File "new_term_parser.ml", lines 536-557, characters 18-53: - 536 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; - 537 | _; - 538 | _; - 539 | Res_string lower; - 540 | _; - ... - 554 | let stlb = {stl_bound = b; - 555 | stl_elements = es''; - 556 | stl_loc = dummy_loc} in - 557 | Res_stli (Stli_listform stlb)). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_:: - Res_int _::_::Res_si _::_::_::_ - File "new_term_parser.ml", line 560, characters 18-53: - 560 | (fun [Res_stli x] -> Res_stlil [x])); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_stli _::_::_ - File "new_term_parser.ml", line 574, characters 24-59: - 574 | (fun [x; _; y] -> res_stlil [x; y])); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_::_::_ - File "new_term_parser.ml", line 603, characters 15-44: - 603 | (fun (_::rl) -> build_res rl) in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "new_term_parser.ml", line 609, characters 15-44: - 609 | (fun (_::rl) -> build_res rl) in - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "new_term_parser.ml", line 628, characters 12-29: - 628 | (fun [_; x] -> x) - ^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_::_ - File "new_term_parser.ml", lines 638-639, characters 13-63: - 638 | .............(fun [_; Res_sil l] -> - 639 | Res_st (St_nonterm (dummy_loc, ntr, (nt', l)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil _::_::_ - File "new_term_parser.ml", lines 649-653, characters 18-55: - 649 | ..................(fun [_; Res_sil l] -> - 650 | Res_st (St_nontermsub (dummy_loc, - 651 | ntl, - 652 | Auxl.promote_ntr xd ntr, - 653 | (nt', l)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil _::_::_ - File "new_term_parser.ml", lines 664-665, characters 6-59: - 664 | ......(fun [_; Res_sil x] -> - 665 | Res_ste (Ste_metavar (dummy_loc, name, (mvr, x)))) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil _::_::_ - File "new_term_parser.ml", line 695, characters 14-100: - 695 | (fun (_::Res_string s::_) -> Res_ste (Ste_metavar (dummy_loc, mvd.mvd_name, (s, [])))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _:: - (Res_ignore|Res_none|Res_st _|Res_ste _|Res_stli _|Res_stlil _|Res_char _| - Res_charl _|Res_int _|Res_si _|Res_sil _)::_ - File "new_term_parser.ml", lines 703-707, characters 16-68: - 703 | ................(fun [_; Res_string s] -> - 704 | if is_tm s then - 705 | raise Reject_parse - 706 | else - 707 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_string _::_::_ - File "new_term_parser.ml", lines 710-711, characters 16-66: - 710 | ................(fun [_; Res_string s] -> - 711 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_string _::_::_ - File "new_term_parser.ml", lines 715-719, characters 16-23: - 715 | ................(fun [((Res_ste (Ste_var (_, _, s))) as x)] -> - 716 | if is_tm s then - 717 | raise Reject_parse - 718 | else - 719 | x) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_ste (Ste_var (_, _, _))::_::_ - File "new_term_parser.ml", line 742, characters 6-41: - 742 | (fun [Res_char c] -> Res_charl [c]); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_char _::_::_ - File "new_term_parser.ml", line 748, characters 6-68: - 748 | (fun [Res_charl s] -> Res_string (Auxl.string_of_char_list s)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl _::_::_ - File "new_term_parser.ml", line 761, characters 6-53: - 761 | (fun [Res_si s; Res_sil sl] -> Res_sil (s::sl)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_si _::Res_sil _::_::_ - File "new_term_parser.ml", line 767, characters 6-73: - 767 | (fun [Res_charl l] -> Res_si (Si_num (Auxl.string_of_char_list l))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl _::_::_ - File "new_term_parser.ml", line 771, characters 6-24: - 771 | (fun [rsi] -> rsi); - ^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_ - File "new_term_parser.ml", line 794, characters 6-47: - 794 | (fun [Res_charl c] -> Res_charl ('_'::c)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl _::_::_ - File "new_term_parser.ml", line 796, characters 6-48: - 796 | (fun [Res_charl c] -> Res_charl ('\''::c)); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_charl _::_::_ - File "new_term_parser.ml", line 831, characters 6-52: - 831 | (fun [Res_string s] -> Res_si (Si_var (s, 0))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_string _::_::_ - File "new_term_parser.ml", line 835, characters 6-53: - 835 | (fun [Res_string s] -> Res_si (Si_var (s, -1))); - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Res_string _::_::_ - File "new_term_parser.ml", lines 846-847, characters 13-61: - 846 | .............(fun [_; Res_sil x] -> - 847 | Res_st (St_nonterm (dummy_loc, "", (nt, x)))). - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::Res_sil _::_::_ - File "new_term_parser.ml", line 858, characters 13-27: - 858 | (fun [x] -> x); - ^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - _::_::_ - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c term_parser.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c term_parser.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "term_parser.ml", lines 1139-1172, characters 2-11: - 1139 | ..let Ascii oldopts = pp_ascii_opts_default in - 1140 | let opts = Ascii {oldopts with ppa_colour = !Auxl.colour} in - 1141 | let sts = parse_complete lookup ntr concrete s in - 1142 | let sts = transform sts in - 1143 | match sts with - ... - 1169 | begin - 1170 | report_error (Some l) (sstart ^ concat "" intermed); - 1171 | St_uninterpreted(l, "multiple parses") - 1172 | end - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq - {coq_quantified_vars_from_de=_; coq_non_local_hyp_defn=_; - coq_non_local_hyp_defn_vars=_; coq_list_types=_; - coq_list_aux_defns={defined=_; newly_defined=_}; - coq_library={contents=(_, _)}; coq_locally_nameless=_; _ }| - Isa {isa_library={contents=(_, _)}; _ }|Hol {hol_library={contents=(_, _)}}| - Lem {lem_library={contents=(_, _)}}| - Twf {twf_current_defn=_; twf_library={contents=(_, _)}}|Tex _| - Caml {caml_library={contents=(_, _)}; _ }| - Lex {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }| - Menhir {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }) - File "term_parser.ml", line 1222, characters 25-54: - 1222 | List.map (fun (Ntp.Gtp.Res_st s) -> s) res - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Res_ignore|Res_none|Res_ste _|Res_stli _|Res_stlil _|Res_char _|Res_charl _| - Res_string _|Res_int _|Res_si _|Res_sil _) - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c dependency.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -c -I ../ocamlgraph-1.7 dependency.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "dependency.ml", lines 571-579, characters 2-74: - 571 | ..match m with - 572 | | Isa io when io.ppi_isa_primrec -> isa_primrec_collapse m xd funcs - 573 | | Isa io when not io.ppi_isa_primrec -> isa_fun_collapse m xd funcs - 574 | | Hol _ -> hol_collapse m xd funcs - 575 | | Lem _ -> lem_collapse m xd funcs - 576 | | Coq _ -> coq_collapse m xd funcs - 577 | | Twf _ -> twf_collapse m xd funcs - 578 | | Caml _ -> caml_collapse m xd funcs - 579 | | Tex _ | Ascii _ -> Auxl.error None "internal: collapse of Tex-Ascii\n" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Isa _|Lex _|Menhir _) - (However, some guarded clause may match this value.) - File "dependency.ml", lines 584-714, characters 2-53: - 584 | ..match m with - 585 | | Tex _ | Ascii _ -> Auxl.error None "internal: print of Tex-Ascii\n" - 586 | | Isa io -> - 587 | let print_lemma block = - 588 | if ( List.exists - ... - 711 | (* (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ "FOO1" ^ h2 ^ "FOO2"^ h3 ^ "FOO3"^s) block))*) - 712 | (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ h2 ^ h3 ^ s ^ " end\n") block)) - 713 | ^ "\n") in - 714 | String.concat "" (List.map print_block sorting) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lex _|Menhir _) - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c bounds.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c bounds.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c context_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c quotient_rules.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c grammar_typecheck.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -c -I ../ocamlgraph-1.7 grammar_typecheck.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "grammar_typecheck.ml", lines 54-56, characters 4-82: - 54 | ....match (xs,keys) with - 55 | | ([],[]) -> None - 56 | | (x::xs, key::keys) -> if (List.mem key keys) then Some x else helper xs keys. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ([], _::_) - File "grammar_typecheck.ml", line 128, characters 86-103: - 128 | { raw_prod_name = (if rr.raw_rule_pn_wrapper<>"" then rr.raw_rule_pn_wrapper else String.capitalize rr.raw_rule_ntr_name ^"_") ^ "aux"; - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c transform.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c transform.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c substs_pp.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c substs_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "substs_pp.ml", lines 333-336, characters 10-11: - 333 | ..........(match m with - 334 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr ^ " list" - 335 | | Lem _ -> "list " ^Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr - 336 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - File "substs_pp.ml", line 1240, characters 16-33: - 1240 | String.capitalize lhs_stnb.st_prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "substs_pp.ml", line 1248, characters 16-33: - 1248 | String.capitalize lhs_stnb.st_prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "substs_pp.ml", lines 1400-1412, characters 3-4: - 1400 | ...(match m with - 1401 | | Caml _ -> - 1402 | "(" - 1403 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that - 1404 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this - ... - 1409 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that - 1410 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this - 1411 | ^ ")" - 1412 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - File "substs_pp.ml", lines 1747-1876, characters 3-8: - 1747 | ...( match m with - 1748 | | Ascii _ | Tex _ | Lex _ | Menhir _ -> Auxl.error (Some p.prod_loc) "pp_fv_symterm_list_body" - 1749 | | Isa io when io.ppi_isa_primrec -> - 1750 | let args = - 1751 | String.concat "_" - ... - 1873 | ("(flat_map (fun (pat_:"^de1i.de1_coq_type_of_pattern^") => match pat_ with " ^ de1i.de1_pattern ^ " => "^pp_body^" end) " - 1874 | ^ de1i.de1_compound_id - 1875 | ^ ")"), funcs - 1876 | ).. - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Twf _) - (However, some guarded clause may match this value.) - File "substs_pp.ml", lines 2030-2033, characters 5-6: - 2030 | .....(match m with - 2031 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that ^ " list" - 2032 | | Lem _ -> " list " ^ Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that - 2033 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c subrules_pp.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c subrules_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "subrules_pp.ml", lines 167-368, characters 8-2: - 167 | ........( match m with - 168 | | Isa io when io.ppi_isa_primrec -> - 169 | let typ = - 170 | Auxl.the (Grammar_pp.pp_elements - 171 | m xd ((Si_punct "_")::sie) elbu.elb_es true false true true) ^ " list" in - ... - 365 | [ " %{ TWELF NOT IMPLEMENTED }%"], deps, [] - 366 | | Tex _ | Ascii _ | Lex _ | Menhir _ -> Auxl.errorm m "pp_subelement" - 367 | - 368 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Coq _|Isa _) - (However, some guarded clause may match this value.) - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c embed_pp.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c embed_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c defns.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c defns.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "defns.ml", line 81, characters 30-46: - 81 | (( match m with Twf _ -> String.uppercase ntr' - ^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii/StringLabels.uppercase_ascii instead. - File "defns.ml", line 1020, characters 32-46: - 1020 | let cc = Char.code (Char.lowercase c) in - ^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Char.lowercase - Use Char.lowercase_ascii instead. - File "defns.ml", line 1024, characters 32-46: - 1024 | let cc = Char.code (Char.lowercase c) in - ^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Char.lowercase - Use Char.lowercase_ascii instead. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c ln_transform.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "ln_transform.ml", lines 1057-1067, characters 4-7: - 1057 | ....match mse with - 1058 | | Empty -> - 1059 | "0",[] - 1060 | | MetaVarExp mv -> - 1061 | "1",[] (* FZ is this correct in the general case? *) - ... - 1064 | | Aux (f1,nt1) -> - 1065 | let name = arity_name f1 (Auxl.promote_ntr xd_transformed (Auxl.primary_ntr_of_ntr xd_transformed (fst nt1))) in - 1066 | name ^ " " ^ Grammar_pp.pp_nonterm m xd_transformed nt1, - 1067 | [name] - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (NonTermExp _|MetaVarListExp (_, _)|NonTermListExp (_, _)|AuxList (_, _, _)) - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c coq_induct.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c coq_induct.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c system_pp.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c system_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c lex_menhir_pp.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c lex_menhir_pp.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "lex_menhir_pp.ml", lines 274-285, characters 10-11: - 274 | ..........(match ocamllex_hom_opt, ocamllex_remove_hom with - 275 | | Some ocamllex_hom, false -> - 276 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, Some ocamllex_hom, ocamllex_of_string_hom_opt)) - 277 | | None, false -> - 278 | (* hack: default to ocamllex-remove *) - ... - 282 | Auxl.error (Some mvd.mvd_loc) ("ocamllex output: both ocamllex and ocamllex-remove hom for "^mvd.mvd_name^"\n") - 283 | | None, true -> - 284 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, None, ocamllex_of_string_hom_opt)) - 285 | ) - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Some _, true) - File "lex_menhir_pp.ml", line 281, characters 12-36: - 281 | | Some ocamllex_hom, false -> - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 11 [redundant-case]: this match case is unused. - File "lex_menhir_pp.ml", lines 331-335, characters 13-42: - 331 | .............(match ocaml_type with - 332 | | "string" -> "" - 333 | | "int" -> "int_of_string" - 334 | | "float" -> "float_of_string" - 335 | | "bool" -> "bool_of_string") - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "lex_menhir_pp.ml", line 604, characters 2-19: - 604 | String.capitalize p.prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 623, characters 78-95: - 623 | let aux_prod_name = (if r.rule_pn_wrapper<>"" then r.rule_pn_wrapper else String.capitalize r.rule_ntr_name ^"_") ^ "aux" in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 648, characters 4-21: - 648 | String.capitalize p.prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 924, characters 14-31: - 924 | "| " ^ String.capitalize p.prod_name ^ " " ^ Grammar_pp.pp_hom_spec (Menhir yo) xd hs ^"\n" - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 934, characters 25-42: - 934 | "string \"" ^ String.capitalize p.prod_name ^ "\"" - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 982, characters 14-31: - 982 | "| " ^ String.capitalize p.prod_name ^ " " ^ Grammar_pp.pp_hom_spec (Menhir yo) xd hs ^"\n" - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - ocamlc -g -dtypes -I ../ocamlgraph-1.7 -c align.mli - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c align.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ocamlopt -w y -g -dtypes -unsafe -inline 9 -I ../ocamlgraph-1.7 -c main.ml - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - File "main.ml", line 457, characters 13-30: - 457 | | [n] -> String.capitalize (Filename.chop_extension n) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "main.ml", line 476, characters 13-30: - 476 | | [n] -> String.capitalize (Filename.chop_extension n) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - sed -e 's/__VERSION__/0.31/' \ - -e '/__DATE__/r tmp_date.txt' \ - -e '/__DATE__/d' <version_src.tex >version.tex - echo Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex - Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex - ocamlopt -w y -g -dtypes -unsafe -inline 9 -v - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - The OCaml native-code compiler, version 4.13.0+dev0-2020-10-19 - Standard library directory: /home/opam/.opam/4.13.0+trunk/lib/ocaml - ocamlopt -w y -g -dtypes -unsafe -inline 9 -o ott.opt str.cmxa ../ocamlgraph-1.7/graph.cmxa location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx - File "_none_", line 1: - Alert ocaml_deprecated_cli: Setting a warning with single lowercase or uppercase letters, like 'y' or 'Y', - is deprecated. - Use the equivalent signed form: -y. - Hint: Enabling or disabling a warning by its mnemonic name requires a + or - prefix. - ln -s -f ott.opt ott - make[2]: Leaving directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/src' - cp ./ott ../bin/ott - make[1]: Leaving directory '/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31/src' Processing 2/3: [ott: make ott.install] + /usr/bin/make "ott.install" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/ott.0.31) - cp ott.install.nodoc ott.install - echo "doc : [" >> ott.install - echo "\"README.md\" { \"README.md\" }" >> ott.install - echo "\"LICENCE\" { \"LICENSE\" }" >> ott.install - echo "\"built_doc/top2.pdf\" { \"doc/ott_manual.pdf\" }" >> ott.install - echo "\"built_doc/top2.html\" { \"doc/ott_manual.html\" }" >> ott.install - echo "\"built_doc/top2001.png\"" "\"built_doc/top2002.png\"" "\"built_doc/top2003.png\"" "\"built_doc/top2004.png\"" "\"built_doc/top2005.png\"" "\"built_doc/top2006.png\"" "\"built_doc/top2007.png\"" "\"built_doc/top2008.png\"" "\"built_doc/top2009.png\"" "\"built_doc/top2010.png\"" "\"built_doc/top2011.png\"" "\"built_doc/top2012.png\"" "\"built_doc/top2013.png\"" "\"built_doc/top2014.png\"" "\"built_doc/top2015.png\"" "\"built_doc/top2016.png\"" "\"built_doc/top2017.png\"" "\"built_doc/top2018.png\"" "\"built_doc/top2019.png\"" "\"built_doc/top2020.png\"" "\"built_doc/top2021.png\"" "\"built_doc/top2022.png\"" "\"built_doc/top2023.png\"" "\"built_doc/top2024.png\"" "\"built_doc/top2025.png\"" "\"built_doc/top2026.png\"" "\"built_doc/top2027.png\"" "\"built_doc/top2028.png\"" "\"built_doc/top2029.png\"" "\"built_doc/top2030.png\"" "\"built_doc/top2031.png\"" "\"built_doc/top2032.png\"" "\"built_doc/top2033.png\"" "\"built_doc/top2034.png\"" "\"built_doc/top2035.png\"" "\"built_doc/top2036.png\"" "\"built_doc/top2037.png\"" >> ott.install - echo "]" >> ott.install -> compiled ott.0.31 -> installed ott.0.31 Done. # Run eval $(opam env) to update the current shell environment ---> saved as "3d15e75e3b8e5fbac544fabbb0f982fedfe09247dc9777b6d050e7e5a3a41fa7" Job succeeded