Building on phoebe.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:a20618cee40a09b4c7604919411db28c4ae473b9780730085f91824e8dd5f205) 2022-09-03 19:41.00 ---> using "00583e82ec888c922d57db664b8acb62b642829c5a4a94b17a44e5693b1db2de" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-09-03 19:41.00 ---> using "f816199fc982412d3ea70ae1ae1bab135eea82bc7670ac5d731bc57d0733e3c4" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 418227c38ed4e28a0827786e5e9e50b9547c0b27")) 2022-09-03 19:41.00 ---> using "4cabcce7a0cb6de31986471b51abc9f1f3fec6a75be6e83e549da867c7605e5a" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2022-09-03 19:41.00 ---> using "d451da695ab21573c7bdead4176eec083b0218f568c4ccf5f5b38b162d64d4d7" from cache /: (run (network host) (shell "git clone -q 'https://github.com/kit-ty-kate/opam-alpha-repository' ~/'alpha' && git -C ~/'alpha' checkout -q 6c5c682bd9208419bc24faaa163e42e74cb4e9a5")) 2022-09-03 19:41.00 ---> using "6df2c126a9b1ccede02c2b3fd26d0561e2107be8c6304477ccb8de0a479f33c1" from cache /: (run (shell "opam repository add --dont-select 'alpha' ~/'alpha'")) [alpha] Initialised 2022-09-03 19:41.00 ---> using "36c2866864e62ed4ca7db324088339d0b6f8bfe49e44038af6b20b9d54e88efd" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=alpha,default '4.14+alpha-repo' '4.14.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.14.0"} | "ocaml-system" {= "4.14.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.14.0 (cached) -> installed ocaml-base-compiler.4.14.0 -> installed ocaml-config.2 -> installed ocaml.4.14.0 Done. # Run eval $(opam env --switch=4.14+alpha-repo) to update the current shell environment 2022-09-03 19:41.00 ---> using "c4692a753251ef834d56ed11e20d2c91af59273d6ca6d18da1fd34a1f359b94a" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [192 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-09-02-1404.47-F-2022-08-29-1405.22.pdiff [271 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-09-02-1404.47-F-2022-08-29-1405.22.pdiff [271 kB] - Fetched 527 kB in 3s (194 kB/s) - Reading package lists... - 2022-09-03 19:41.00 ---> using "170e89697fc2dd4a69b93ffa18df3f1cb5fe18824d55c125a3776e5262e84491" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"ott.0.29\"\ \nopam install -vy \"ott.0.29\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"ott.0.29\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] ott.0.29 is not installed. Nothing to do. The following actions will be performed: === install 1 package - install ott 0.29 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: -> retrieved ott.0.29 (cached) Processing 2/3: [ott: make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "world" (CWD=/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29) - cd src; make install - make[1]: Entering directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/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 - File "grammar_pp.ml", line 1399, characters 17-19: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1399, characters 28-30: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1399, characters 87-89: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 17-19: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 28-30: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 87-89: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - 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.14.0 - ocaml library path is /home/opam/.opam/4.14+alpha-repo/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.14+alpha-repo/lib/ocaml/lablgtk2/lablgtk.cmxa... no - checking Win32 platform... no - configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled - configure: creating ./config.status - config.status: creating Makefile - cd ../ocamlgraph-1.7 && \ - make OCAMLOPT='ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib' graph.cmxa - make[2]: Entering directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/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 p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/unionfind.ml - ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/heap.ml - File "lib/heap.ml", line 54, characters 13-25: - 54 | let d' = Array.create n' d.(0) in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make/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 p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph lib/bitv.ml - File "lib/bitv.ml", line 51, characters 15-27: - 51 | let low_mask = Array.create (succ bpi) 0 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make/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 p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/version.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/util.ml - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/blocks.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/persistent.ml - File "src/persistent.ml", line 52, characters 20-38: - 52 | let compare x y = Pervasives.compare x.tag y.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/persistent.ml", line 145, characters 10-25: - 145 | size = Pervasives.succ g.size } - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/persistent.ml", line 158, characters 21-36: - 158 | { edges = e; size = Pervasives.pred g.size } - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/persistent.ml", line 178, characters 10-25: - 178 | size = Pervasives.succ g.size } - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/persistent.ml", line 197, characters 10-25: - 197 | size = Pervasives.pred g.size } - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/imperative.ml - File "src/imperative.ml", line 68, characters 20-38: - 68 | let compare x y = Pervasives.compare x.tag y.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 169, characters 11-26: - 169 | g.size <- Pervasives.succ g.size; - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 185, characters 11-26: - 185 | g.size <- Pervasives.pred g.size - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 206, characters 11-26: - 206 | g.size <- Pervasives.succ g.size; - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 227, characters 11-26: - 227 | g.size <- Pervasives.pred g.size - ^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 371, characters 36-54: - 371 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/imperative.ml", line 381, characters 36-54: - 381 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/delaunay.ml - File "src/delaunay.ml", line 260, characters 19-31: - 260 | let seen_arc = Array.create n false in - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make/ArrayLabels.make instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/builder.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/classic.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/rand.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/oper.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/path.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/traverse.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/coloring.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/topological.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/components.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/kruskal.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/flow.ml - File "src/flow.ml", line 53, characters 54-56: - 53 | let fold_booleen f = List.fold_left (fun r x->(f x) or r) false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 137, characters 6-8: - 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 136, characters 44-46: - 136 | G.fold_succ_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 137, characters 47-49: - 137 | or G.fold_pred_e (fun e r->pousser g e l or r) g x false - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "src/flow.ml", line 141, characters 40-42: - 141 | (fold_booleen (elever g p) !todo) or - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/graphviz.ml - File "src/graphviz.ml", line 27, characters 5-15: - 27 | open Pervasives (* for compatibility with ocaml 3.12.0+dev17 - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gml.ml - File "src/gml.ml", line 418, characters 27-39: - 418 | lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ; __ocaml_lex_file_rec lexbuf 0 - ^^^^^^^^^^^^ - Alert deprecated: Stdlib.Array.create - Use Array.make/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 p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_parser.ml - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot_lexer.ml - File "src/dot_lexer.mll", line 39, characters 21-37: - Alert deprecated: Stdlib.String.lowercase - Use String.lowercase_ascii/StringLabels.lowercase_ascii instead. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/dot.ml - File "src/dot.ml", line 61, characters 41-59: - 61 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/pack.ml - File "src/pack.ml", line 51, characters 34-52: - 51 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/pack.ml", line 64, characters 34-52: - 64 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/pack.ml", line 89, characters 34-52: - 89 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/pack.ml", line 170, characters 32-50: - 170 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/gmap.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/minsep.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/cliquetree.ml - File "src/cliquetree.ml", line 110, characters 39-57: - 110 | let compare : t -> t -> int = Pervasives.compare - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/cliquetree.ml", line 120, characters 40-58: - 120 | let compare (x, _ : t) (y, _ : t) = Pervasives.compare x y - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "src/cliquetree.ml", line 171, characters 3-21: - 171 | (Pervasives.compare : int -> int -> int) (number y) (number x)) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/mcs_m.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/md.ml - ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -c -I src -I lib -for-pack Graph src/strat.ml - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/path.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/components.cmx src/kruskal.cmx src/flow.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx - ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib -I src -I lib -a -o graph.cmxa graph.cmx - make[2]: Leaving directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/ocamlgraph-1.7' - make opt - make[2]: Entering directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/src' - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c location.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c types.ml - File "types.ml", line 484, characters 67-85: - 484 | module NtrSet = Set.Make(struct type t = nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 490, characters 83-101: - 490 | module NtrPairSet = Set.Make(struct type t = nontermroot*nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 497, characters 87-105: - 497 | module NtSet = Set.Make(struct type t = nontermroot * nonterm * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 504, characters 93-111: - 504 | module NtsubSet = Set.Make(struct type t = nontermroot * nontermroot * nonterm let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 510, characters 68-86: - 510 | module MvrSet = Set.Make(struct type t = metavarroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 517, characters 88-106: - 517 | module MvSet = Set.Make(struct type t = metavarroot * metavar * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c auxl.ml - File "auxl.ml", line 1533, characters 68-85: - 1533 | 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 1542, characters 68-87: - 1542 | 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 1551, characters 61-80: - 1551 | 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 1560, characters 61-80: - 1560 | 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 1584, characters 19-36: - 1584 | st_prod_name = String.capitalize stnb.st_prod_name; - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - ocamlc -g -w p -w y -c location.ml - ocamlc -g -w p -w y -c types.ml - File "types.ml", line 484, characters 67-85: - 484 | module NtrSet = Set.Make(struct type t = nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 490, characters 83-101: - 490 | module NtrPairSet = Set.Make(struct type t = nontermroot*nontermroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 497, characters 87-105: - 497 | module NtSet = Set.Make(struct type t = nontermroot * nonterm * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 504, characters 93-111: - 504 | module NtsubSet = Set.Make(struct type t = nontermroot * nontermroot * nonterm let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 510, characters 68-86: - 510 | module MvrSet = Set.Make(struct type t = metavarroot let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "types.ml", line 517, characters 88-106: - 517 | module MvSet = Set.Make(struct type t = metavarroot * metavar * prod_env let compare = Pervasives.compare end);; - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c merge.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c merge.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c global_option.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c grammar_parser.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_parser.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_lexer.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c version.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c grammar_pp.ml - File "grammar_pp.ml", line 1399, characters 17-19: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1399, characters 28-30: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1399, characters 87-89: - 1399 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 17-19: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 28-30: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 1415, characters 87-89: - 1415 | | Isa _ -> " \<comment> \<open>" ^ String.concat "" (apply_hom_spec m xd hs ss) ^ "\<close>" - ^^ - Warning 14 [illegal-backslash]: illegal backslash escape in string. - File "grammar_pp.ml", line 972, characters 19-36: - 972 | | Twf _,false -> String.capitalize s - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 1363, characters 22-39: - 1363 | | 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", line 2407, characters 8-26: - 2407 | 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 2417, characters 8-26: - 2417 | 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 2549, characters 25-42: - 2549 | | 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 2550, characters 28-45: - 2550 | | 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 2556, characters 25-42: - 2556 | | 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 2557, characters 28-45: - 2557 | | 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 2773, characters 22-23: - 2773 | & match m with Isa _ | Coq _ | Hol _ | Lem _ | Caml _ -> true | _ -> false) - ^ - Alert deprecated: Stdlib.& - Use (&&) instead. - File "grammar_pp.ml", line 3560, characters 20-37: - 3560 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3564, characters 25-42: - 3564 | ^ (String.capitalize promoted_pn)^" " - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3571, characters 20-37: - 3571 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3575, characters 25-42: - 3575 | ^ (String.capitalize promoted_pn)^" " - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - ocamlopt -w p -w y -unsafe -inline 9 -c -I ../ocamlgraph-1.7 parse_table.ml - ocamlopt -w p -w y -unsafe -inline 9 -c -I ../ocamlgraph-1.7 glr.ml - 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 p -w y -unsafe -inline 9 -c -I ../ocamlgraph-1.7 new_term_parser.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c term_parser.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c term_parser.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c dependency.mli - ocamlopt -w p -w y -unsafe -inline 9 -c -I ../ocamlgraph-1.7 dependency.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c bounds.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c bounds.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c context_pp.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c quotient_rules.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c grammar_typecheck.mli - ocamlopt -w p -w y -unsafe -inline 9 -c -I ../ocamlgraph-1.7 grammar_typecheck.ml - 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 -w p -w y -I ../ocamlgraph-1.7 -c transform.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c transform.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c substs_pp.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c substs_pp.ml - 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. - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c subrules_pp.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c subrules_pp.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c embed_pp.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c embed_pp.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c defns.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c defns.ml - 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 1061, characters 32-46: - 1061 | let cc = Char.code (Char.lowercase c) in - ^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Char.lowercase - Use Char.lowercase_ascii instead. - File "defns.ml", line 1065, characters 32-46: - 1065 | let cc = Char.code (Char.lowercase c) in - ^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.Char.lowercase - Use Char.lowercase_ascii instead. - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c ln_transform.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c coq_induct.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c coq_induct.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c system_pp.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c system_pp.ml - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c lex_menhir_pp.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c lex_menhir_pp.ml - File "lex_menhir_pp.ml", line 274, characters 12-36: - 274 | | Some ocamllex_hom, false -> - ^^^^^^^^^^^^^^^^^^^^^^^^ - Warning 11 [redundant-case]: this match case is unused. - File "lex_menhir_pp.ml", line 556, characters 2-19: - 556 | String.capitalize p.prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 575, characters 78-95: - 575 | 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 600, characters 4-21: - 600 | String.capitalize p.prod_name - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "lex_menhir_pp.ml", line 801, characters 20-37: - 801 | "string \"" ^ String.capitalize p.prod_name ^ "\"" - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - ocamlc -g -w p -w y -I ../ocamlgraph-1.7 -c align.mli - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c align.ml - ocamlopt -w p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c main.ml - File "main.ml", line 448, characters 13-30: - 448 | | [n] -> String.capitalize (Filename.chop_extension n) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "main.ml", line 467, characters 13-30: - 467 | | [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.29/' \ - -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 p -w y -unsafe -inline 9 -v - The OCaml native-code compiler, version 4.14.0 - Standard library directory: /home/opam/.opam/4.14+alpha-repo/lib/ocaml - ocamlopt -w p -w y -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 - ln -s -f ott.opt ott - make[2]: Leaving directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/src' - cp ./ott ../bin/ott - make[1]: Leaving directory '/home/opam/.opam/4.14+alpha-repo/.opam-switch/build/ott.0.29/src' -> compiled ott.0.29 -> installed ott.0.29 Done. # Run eval $(opam env) to update the current shell environment 2022-09-03 19:41.19 ---> saved as "cfdd4fa27eb969006d149114778ed3722b30429b4ada87a9705eddf6bb5c1100" Job succeeded