Building on asteria.caelum.ci.dev (from ocaml/opam:debian-unstable) 2023-11-05 13:23.34 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2023-11-05 13:23.34 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 3d81474197deaaac83f9ce67a8b0408b2f62afed")) 2023-11-05 13:23.34 ---> using "7833a1f27486d976be13ca27fc1a37526508a8366ba84cdc09e01832df644ed5" 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: [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. ~/.profile is already up-to-date. 2023-11-05 13:23.34 ---> using "ce4483d26c084641c4fc4333fa83fd87280570a036da73461958027cb634264b" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.13' '4.13.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed ocaml-options-vanilla.1 -> retrieved ocaml-base-compiler.4.13.1 (cached) -> installed ocaml-base-compiler.4.13.1 -> installed ocaml-config.2 -> installed ocaml.4.13.1 Done. # Run eval $(opam env --switch=4.13) to update the current shell environment 2023-11-05 13:23.34 ---> using "29480c317b3adf1be8db63b905cec4135df3ed7397f11daa8ecadf18a63bd9a8" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [198 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-04-2003.48-F-2023-11-02-2005.08.pdiff [127 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2023-11-04-2003.48-F-2023-11-02-2005.08.pdiff [127 kB] - Fetched 388 kB in 1s (288 kB/s) - Reading package lists... 2023-11-05 13:23.34 ---> using "e11a2b07ff6b4d4b1bbbeb13648daa51284195f458b7fd262ba02497aa36dbf2" from cache /: (env OCAMLPARAM warn-error=+8,_) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"ott.0.30\"\ \nopam install -vy \"ott.0.30\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"ott.0.30\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) Nothing to do. [NOTE] ott.0.30 is not installed. The following actions will be performed: === install 1 package - install ott 0.30 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: -> retrieved ott.0.30 (cached) Processing 2/3: [ott: make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "world" (CWD=/home/opam/.opam/4.13/.opam-switch/build/ott.0.30) - cd src; make install - make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ott.0.30/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 1390, characters 17-19: - 1390 | | 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 1390, characters 28-30: - 1390 | | 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 1390, characters 87-89: - 1390 | | 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 1405, characters 17-19: - 1405 | | 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 1405, characters 28-30: - 1405 | | 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 1405, characters 87-89: - 1405 | | 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.13.1 - ocaml library path is /home/opam/.opam/4.13/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/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.13/.opam-switch/build/ott.0.30/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.13/.opam-switch/build/ott.0.30/ocamlgraph-1.7' - make opt - make[2]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/ott.0.30/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 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 p -w y -unsafe -inline 9 -I ../ocamlgraph-1.7 -c auxl.ml - 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. - ocamlc -g -w p -w y -c location.ml - ocamlc -g -w p -w y -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 -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 1390, characters 17-19: - 1390 | | 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 1390, characters 28-30: - 1390 | | 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 1390, characters 87-89: - 1390 | | 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 1405, characters 17-19: - 1405 | | 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 1405, characters 28-30: - 1405 | | 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 1405, characters 87-89: - 1405 | | 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 971, characters 19-36: - 971 | | Twf _,false -> String.capitalize s - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 1354, characters 22-39: - 1354 | | 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 2390, characters 8-26: - 2390 | 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 2400, characters 8-26: - 2400 | 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 2514, characters 25-42: - 2514 | | 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 2515, characters 28-45: - 2515 | | 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 2521, characters 25-42: - 2521 | | 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 2522, characters 28-45: - 2522 | | 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 2723, characters 22-23: - 2723 | & match m with Isa _ | Coq _ | Hol _ | Lem _ | Caml _ -> true | _ -> false) - ^ - Alert deprecated: Stdlib.& - Use (&&) instead. - File "grammar_pp.ml", line 3489, characters 20-37: - 3489 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3493, characters 25-42: - 3493 | ^ (String.capitalize promoted_pn)^" " - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3500, characters 20-37: - 3500 | | [] -> (String.capitalize promoted_pn) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "grammar_pp.ml", line 3504, characters 25-42: - 3504 | ^ (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 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 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 447, characters 13-30: - 447 | | [n] -> String.capitalize (Filename.chop_extension n) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: Stdlib.String.capitalize - Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. - File "main.ml", line 466, characters 13-30: - 466 | | [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.30/' \ - -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.13.1 - Standard library directory: /home/opam/.opam/4.13/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.13/.opam-switch/build/ott.0.30/src' - cp ./ott ../bin/ott - make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/ott.0.30/src' -> compiled ott.0.30 -> installed ott.0.30 Done. # Run eval $(opam env) to update the current shell environment 2023-11-05 13:23.49 ---> saved as "69a807c56e748f02194f3aa28450fc66f983bbc635c65a5595cb54f3c9100fc7" Job succeeded