Build:
- 0
2026-06-24 11:02.51: New job: build ott.0.29 (d06a0eac30db)
2026-06-24 11:02.51: Waiting for resource in pool day11-builds
2026-06-24 11:05.26: Got resource from pool day11-builds
2026-06-24 11:05.26: [profile full] build ott.0.29
2026-06-24 11:05.26: build ott.0.29 (d06a0eac30db)
=== DEPENDENCIES (3 transitive) ===
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-config.2 2d9c209f5590
=== STDOUT ===
Processing: [default: loading data]
[ott.0.29: dl]
[ott.0.29: extract]
-> retrieved ott.0.29 (https://opam.ocaml.org/cache)
[ott: make world]
+ /usr/bin/make "world" (CWD=/home/opam/.opam/default/.opam-switch/build/ott.0.29)
- cd src; /usr/bin/make install
- make[1]: Entering directory '/home/opam/.opam/default/.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.4
- ocaml library path is /home/opam/.opam/default/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/default/lib/ocaml/lablgtk2/lablgtk.cmxa... no
- checking Win32 platform... no
- configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled
- configure: creating ./config.status
- config.status: creating Makefile
- cd ../ocamlgraph-1.7 && \
- /usr/bin/make OCAMLOPT='ocamlopt -w p -w y -unsafe -inline 9 -I src -I lib' graph.cmxa
- make[2]: Entering directory '/home/opam/.opam/default/.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/default/.opam-switch/build/ott.0.29/ocamlgraph-1.7'
- /usr/bin/make opt
- make[2]: Entering directory '/home/opam/.opam/default/.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.4
- Standard library directory: /home/opam/.opam/default/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/default/.opam-switch/build/ott.0.29/src'
- cp ./ott ../bin/ott
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/ott.0.29/src'
-> compiled ott.0.29
-> installed ott.0.29
=== STDERR ===
2026-06-24 11:06.15: OK: build ott.0.29 (runc: 22.1s, disk: 56KB)
2026-06-24 11:06.15: Job succeeded