2026-09-03 22:53.41: New job: build coqide.8.13.0 (0c79355b6cb1)
2026-09-03 22:53.41: Waiting for resource in pool day11-builds
2026-09-03 23:40.38: Got resource from pool day11-builds
2026-09-03 23:40.38: [profile full] build coqide.8.13.0
2026-09-03 23:40.38: build coqide.8.13.0 (0c79355b6cb1)
=== DEPENDENCIES (24 transitive) ===
  base-bigarray.base                                 31ac6860ef52
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cairo2.0.6.5                                       7b1b6da16db9
  camlp-streams.5.0.1                                9517edcc2643
  conf-adwaita-icon-theme.2                          2df4351f623b
  conf-cairo.1                                       9e32499642c2
  conf-findutils.1                                   ae9b487ad27c
  conf-gmp.5                                         eac5259e412f
  conf-gtk3.18                                       29bc2ce5fb33
  conf-gtksourceview3.0+2                            89f7273ce96d
  conf-pkg-config.5                                  74f50f3cfe72
  coq.8.13.0                                         56c192781602
  csexp.1.5.2                                        3520bcf70246
  dune.3.23.1                                        b3dc676669f4
  dune-configurator.3.23.1                           6e9ee12329f0
  lablgtk3.3.1.5                                     94cc5651b130
  lablgtk3-sourceview3.3.1.5                         78b011ac5aa8
  num.1.6                                            fe036226102b
  ocaml.4.14.4                                       c7d6265b51fe
  ocaml-base-compiler.4.14.4                         7a409b6ffbef
  ocaml-config.2                                     85edea6ac168
  ocamlfind.1.9.8                                    3cae95bed0a0
  zarith.1.14                                        fc3f7a60e6b3
=== STDOUT ===
Processing: [default: loading data]
[coqide.8.13.0: extract]
[coqide.8.13.0/coqide.install: dl]
-> retrieved coqide.8.13.0  (cached)
[coqide: ./configure no]
+ /home/opam/.opam/default/.opam-switch/build/coqide.8.13.0/./configure "-configdir" "/home/opam/.opam/default/lib/coq/config" "-prefix" "/home/opam/.opam/default" "-mandir" "/home/opam/.opam/default/man" "-docdir" "/home/opam/.opam/default/doc" "-libdir" "/home/opam/.opam/default/lib/coq" "-datadir" "/home/opam/.opam/default/share/coq" "-native-compiler" "no" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0)
- You have OCaml 4.14.4. Good!
- You have OCamlfind 1.9.8. Good!
- You have native-code compilation. Good!
- You have the Zarith library 1.14 installed. Good!
- LablGtk3 and LablGtkSourceView3 found (3.1.5), with native threads:
- => native CoqIde will be built.
- 
-   Architecture                : Linux
-   Sys.os_type                 : Unix
-   Coq VM bytecode link flags  : -dllib -lcoqrun -dllpath /home/opam/.opam/default/lib/coq/kernel/byterun
-   Other bytecode link flags   : 
-   OCaml version               : 4.14.4
-   OCaml binaries in           : /home/opam/.opam/default/bin/
-   OCaml library in            : /home/opam/.opam/default/lib/ocaml
-   OCaml flambda flags         : 
-   Native dynamic link support : true
-   Lablgtk3 library in         : /home/opam/.opam/default/lib/lablgtk3-sourceview3
-   CoqIde                      : opt
-   Documentation               : None
-   Web browser                 : firefox -remote "OpenURL(%s,new-tab)" || firefox %s &
-   Coq web site                : http://coq.inria.fr/
-   Bytecode VM enabled         : true
-   Native Compiler enabled     : no
- 
-   Paths for true installation:
-   - the Coq binaries will be copied in /home/opam/.opam/default/bin
-   - the Coq library will be copied in /home/opam/.opam/default/lib/coq
-   - the Coqide configuration files will be copied in /home/opam/.opam/default/lib/coq/config
-   - the Coqide data files will be copied in /home/opam/.opam/default/share/coq
-   - the Coq man pages will be copied in /home/opam/.opam/default/man
-   - the Coq documentation will be copied in /home/opam/.opam/default/doc
-   - the Coqdoc LaTeX files will be copied in /home/opam/.opam/default/share/texmf/tex/latex/misc
- 
- If anything is wrong above, please restart './configure'.
- 
- *Warning* To compile the system for a new architecture
-           don't forget to do a 'make clean' before './configure'.
[coqide: make coqide-files]
+ /usr/bin/make "COQ_USE_DUNE=" "-j39" "coqide-files" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0)
- rm -f  
- cp -a "kernel/.merlin.in" "kernel/.merlin"
- cp -a "plugins/.merlin.in" "plugins/.merlin"
- cp -a "ide/.merlin.in" "ide/.merlin"
- cp -a ".merlin.in" ".merlin"
- cp -a "test-suite/unit-tests/.merlin.in" "test-suite/unit-tests/.merlin"
- cp -a "META.coq.in" "META.coq"
- mkdir bin
- /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build coqide-files
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
- OCAMLDEP  checker/MLFILES checker/MLIFILES
- OCAMLLEX  tools/ocamllibdep.mll
- make[1]: Circular coqpp/coqpp_parse.cmi <- coqpp/coqpp_parse.cmo dependency dropped.
- OCAMLYACC  coqpp/coqpp_parse.mly
- OCAMLC    coqpp/coqpp_ast.mli
- OCAMLLEX  coqpp/coqpp_lex.mll
- 14 states, 417 transitions, table size 1752 bytes
- mkdir -p gramlib/.pack
- OCAMLLEX  tools/coqdoc/cpretty.mll
- OCAMLLEX  tools/coqwc.mll
- OCAMLLEX  tools/coqdep_lexer.mll
- OCAMLLEX  ide/coqide/utf8_convert.mll
- rm -f ide/coqide/coqide_os_specific.ml && cp ide/coqide/coqide_X11.ml.in ide/coqide/coqide_os_specific.ml && chmod a-w ide/coqide/coqide_os_specific.ml
- OCAMLLEX  ide/coqide/config_lexer.mll
- OCAMLLEX  ide/coqide/coq_lex.mll
- OCAMLLEX  ide/coqide/protocol/xml_lexer.mll
- OCAMLC    kernel/genOpcodeFiles.ml
- 15 states, 827 transitions, table size 3398 bytes
- rm -f kernel/uint63.ml && cp kernel/uint63_63.ml kernel/uint63.ml && chmod a-w kernel/uint63.ml
- rm -f kernel/float64.ml && cp kernel/float64_63.ml kernel/float64.ml && chmod a-w kernel/float64.ml
- printf '# 1 "%s"\n' gramlib/ploc.ml > gramlib/.pack/gramlib__Ploc.ml
- printf '# 1 "%s"\n' gramlib/plexing.ml > gramlib/.pack/gramlib__Plexing.ml
- printf '# 1 "%s"\n' gramlib/gramext.ml > gramlib/.pack/gramlib__Gramext.ml
- printf '# 1 "%s"\n' gramlib/grammar.ml > gramlib/.pack/gramlib__Grammar.ml
- cat gramlib/ploc.ml >> gramlib/.pack/gramlib__Ploc.ml
- cat gramlib/plexing.ml >> gramlib/.pack/gramlib__Plexing.ml
- cat gramlib/gramext.ml >> gramlib/.pack/gramlib__Gramext.ml
- echo " \
- module Ploc    = Gramlib__Ploc \
- module Plexing = Gramlib__Plexing \
- module Gramext = Gramlib__Gramext \
- module Grammar = Gramlib__Grammar" > gramlib/.pack/gramlib.ml
- printf '# 1 "%s"\n' gramlib/ploc.mli > gramlib/.pack/gramlib__Ploc.mli
- cat gramlib/grammar.ml >> gramlib/.pack/gramlib__Grammar.ml
- cat gramlib/ploc.mli >> gramlib/.pack/gramlib__Ploc.mli
- printf '# 1 "%s"\n' gramlib/plexing.mli > gramlib/.pack/gramlib__Plexing.mli
- printf '# 1 "%s"\n' gramlib/gramext.mli > gramlib/.pack/gramlib__Gramext.mli
- printf '# 1 "%s"\n' gramlib/grammar.mli > gramlib/.pack/gramlib__Grammar.mli
- 80 states, 774 transitions, table size 3576 bytes
- 30 states, 1657 transitions, table size 6808 bytes
- 6052 additional bytes used for bindings
- 124 states, 1808 transitions, table size 7976 bytes
- cat gramlib/plexing.mli >> gramlib/.pack/gramlib__Plexing.mli
- cat gramlib/gramext.mli >> gramlib/.pack/gramlib__Gramext.mli
- cat gramlib/grammar.mli >> gramlib/.pack/gramlib__Grammar.mli
- File "kernel/genOpcodeFiles.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    clib/segmenttree.mli
- OCAMLC    clib/unicode.mli
- OCAMLC    tools/coqdep_lexer.mli
- OCAMLC    tools/coqdep_common.mli
- 217 states, 2223 transitions, table size 10194 bytes
- 244 states, 858 transitions, table size 4896 bytes
- OCAMLC    tools/ocamllibdep.ml
- WRITE kernel/vmopcodes.ml
- OCAMLC    coqpp/coqpp_parse.mli
- WRITE kernel/byterun/coq_instruct.h
- WRITE kernel/byterun/coq_jumptbl.h
- CCDEP     kernel/byterun/coq_fix_code.c
- CCDEP     kernel/byterun/coq_values.c
- CCDEP     kernel/byterun/coq_memory.c
- 240 states, 15992 transitions, table size 65408 bytes
- CCDEP     kernel/byterun/coq_float64.c
- CCDEP     kernel/byterun/coq_interp.c
- OCAMLOPT  clib/segmenttree.ml
- OCAMLC    clib/segmenttree.ml
- OCAMLC    tools/coqdep_boot.ml
- File "tools/ocamllibdep.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    coqpp/coqpp_parse.ml
- File "tools/coqdep_boot.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    clib/unicodetable.ml
- OCAMLOPT  tools/ocamllibdep.ml
- 2719 states, 8742 transitions, table size 51282 bytes
- 17643 additional bytes used for bindings
- OCAMLBEST -o bin/ocamllibdep
- OCAMLC    coqpp/coqpp_lex.ml
- File "coqpp/coqpp_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC -a bin/coqpp
- File "clib/unicodetable.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  clib/unicodetable.ml
- OCAMLC    clib/unicode.ml
- File "coqpp/coqpp_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- COQPP   toplevel/g_toplevel.mlg
- COQPP   parsing/g_prim.mlg
- COQPP   vernac/g_vernac.mlg
- COQPP   parsing/g_constr.mlg
- COQPP   vernac/g_proofs.mlg
- COQPP   plugins/ltac/g_eqdecide.mlg
- COQPP   plugins/ltac/g_class.mlg
- COQPP   plugins/ltac/g_ltac.mlg
- COQPP   plugins/ltac/extraargs.mlg
- COQPP   plugins/ltac/coretactics.mlg
- COQPP   plugins/ltac/extratactics.mlg
- COQPP   plugins/ltac/g_obligations.mlg
- COQPP   plugins/ltac/profile_ltac_tactics.mlg
- COQPP   plugins/ltac/g_auto.mlg
- COQPP   plugins/ltac/g_rewrite.mlg
- COQPP   plugins/ltac/g_tactic.mlg
- COQPP   plugins/btauto/g_btauto.mlg
- COQPP   plugins/syntax/g_number_string.mlg
- COQPP   plugins/micromega/g_zify.mlg
- COQPP   plugins/micromega/g_micromega.mlg
- COQPP   plugins/extraction/g_extraction.mlg
- COQPP   plugins/firstorder/g_ground.mlg
- COQPP   plugins/cc/g_congruence.mlg
- COQPP   plugins/omega/g_omega.mlg
- COQPP   plugins/funind/g_indfun.mlg
- COQPP   plugins/ssrmatching/g_ssrmatching.mlg
- COQPP   plugins/ssr/ssrvernac.mlg
- COQPP   user-contrib/Ltac2/g_ltac2.mlg
- COQPP   plugins/ssr/ssrparser.mlg
- COQPP   plugins/ssrsearch/g_search.mlg
- COQPP   plugins/derive/g_derive.mlg
- COQPP   plugins/nsatz/g_nsatz.mlg
- COQPP   plugins/ring/g_ring.mlg
- COQPP   plugins/rtauto/g_rtauto.mlg
- OCAMLLIBDEP  checker/MLLIBFILES checker/MLPACKFILES
- OCAMLC    clib/minisys.ml
- File "clib/minisys.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLLIBDEP  MLLIBFILES MLPACKFILES
- OCAMLDEP  MLFILES MLIFILES
- OCAMLLIBDEP  plugins/MLLIBFILES plugins/MLPACKFILES
- OCAMLDEP  plugins/MLFILES plugins/MLIFILES
- OCAMLLIBDEP  user-contrib/MLLIBFILES user-contrib/MLPACKFILES
- OCAMLDEP  user-contrib/MLFILES user-contrib/MLIFILES
- OCAMLOPT  clib/unicode.ml
- OCAMLOPT  clib/minisys.ml
- OCAMLOPT  tools/coqdep_lexer.ml
- OCAMLOPT  tools/coqdep_common.ml
- OCAMLOPT  tools/coqdep_boot.ml
- OCAMLBEST -o bin/coqdep_boot
- COQDEP    VFILES
- rm coqpp/coqpp_parse.mli
- OCAMLC    gramlib/.pack/gramlib.ml
- make[1]: Circular coqpp/coqpp_parse.cmi <- coqpp/coqpp_parse.cmo dependency dropped.
- File "gramlib/.pack/gramlib.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    tools/ocamllibdep.ml
- OCAMLC    coqpp/coqpp_ast.mli
- OCAMLOPT  gramlib/.pack/gramlib.ml
- OCAMLC    clib/segmenttree.mli
- OCAMLC    clib/unicode.mli
- OCAMLC    tools/coqdep_common.mli
- OCAMLC    tools/coqdep_lexer.mli
- OCAMLYACC  coqpp/coqpp_parse.mly
- File "tools/ocamllibdep.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    clib/segmenttree.ml
- OCAMLC    tools/coqdep_boot.ml
- OCAMLC    coqpp/coqpp_parse.mli
- OCAMLOPT  tools/ocamllibdep.ml
- OCAMLOPT  clib/segmenttree.ml
- OCAMLC    clib/unicodetable.ml
- OCAMLBEST -o bin/ocamllibdep
- File "tools/coqdep_boot.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    coqpp/coqpp_parse.ml
- OCAMLC    coqpp/coqpp_lex.ml
- File "coqpp/coqpp_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC -a bin/coqpp
- File "coqpp/coqpp_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- COQPP   parsing/g_constr.mlg
- COQPP   toplevel/g_toplevel.mlg
- COQPP   parsing/g_prim.mlg
- COQPP   vernac/g_vernac.mlg
- COQPP   vernac/g_proofs.mlg
- COQPP   plugins/ltac/g_class.mlg
- COQPP   plugins/ltac/g_ltac.mlg
- COQPP   plugins/ltac/g_eqdecide.mlg
- COQPP   plugins/ltac/extraargs.mlg
- COQPP   plugins/ltac/extratactics.mlg
- COQPP   plugins/ltac/coretactics.mlg
- COQPP   plugins/ltac/g_obligations.mlg
- COQPP   plugins/ltac/g_rewrite.mlg
- COQPP   plugins/ltac/g_auto.mlg
- COQPP   plugins/ltac/profile_ltac_tactics.mlg
- COQPP   plugins/ltac/g_tactic.mlg
- COQPP   plugins/funind/g_indfun.mlg
- COQPP   plugins/cc/g_congruence.mlg
- COQPP   plugins/btauto/g_btauto.mlg
- COQPP   plugins/firstorder/g_ground.mlg
- COQPP   plugins/extraction/g_extraction.mlg
- COQPP   plugins/micromega/g_micromega.mlg
- COQPP   plugins/micromega/g_zify.mlg
- COQPP   plugins/syntax/g_number_string.mlg
- COQPP   plugins/ssrmatching/g_ssrmatching.mlg
- COQPP   plugins/ssr/ssrparser.mlg
- COQPP   plugins/ssr/ssrvernac.mlg
- COQPP   plugins/ssrsearch/g_search.mlg
- COQPP   plugins/omega/g_omega.mlg
- COQPP   plugins/derive/g_derive.mlg
- COQPP   plugins/nsatz/g_nsatz.mlg
- COQPP   plugins/ring/g_ring.mlg
- COQPP   plugins/rtauto/g_rtauto.mlg
- COQPP   user-contrib/Ltac2/g_ltac2.mlg
- OCAMLDEP  MLFILES MLIFILES
- OCAMLDEP  plugins/MLFILES plugins/MLIFILES
- OCAMLDEP  user-contrib/MLFILES user-contrib/MLIFILES
- File "clib/unicodetable.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  clib/unicodetable.ml
- OCAMLC    clib/unicode.ml
- OCAMLC    clib/minisys.ml
- File "clib/minisys.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  clib/unicode.ml
- OCAMLOPT  clib/minisys.ml
- OCAMLOPT  tools/coqdep_lexer.ml
- OCAMLOPT  tools/coqdep_common.ml
- OCAMLOPT  tools/coqdep_boot.ml
- OCAMLBEST -o bin/coqdep_boot
- rm coqpp/coqpp_parse.mli
- make[1]: Circular coqpp/coqpp_parse.cmi <- coqpp/coqpp_parse.cmo dependency dropped.
- "/home/opam/.opam/default/bin/ocamlfind" ocamlc -thread -rectypes -w +a-4-9-27-41-42-44-45-48-58-67   -safe-string -strict-sequence  ide/coqide/default_bindings_src.ml -o ide/coqide/default_bindings_src.exe
- File "ide/coqide/default_bindings_src.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ide/coqide/default_bindings_src.exe ide/coqide/default.bindings
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
[coqide: make coqide-opt]
+ /usr/bin/make "COQ_USE_DUNE=" "-j39" "coqide-opt" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0)
- rm -f  
- /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build coqide-opt
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
- make[1]: Circular coqpp/coqpp_parse.cmi <- coqpp/coqpp_parse.cmo dependency dropped.
- OCAMLC    clib/cObj.mli
- OCAMLC    config/coq_config.mli
- OCAMLC    clib/cEphemeron.mli
- OCAMLC    clib/hashset.mli
- OCAMLC    clib/cSig.mli
- OCAMLC    clib/orderedType.mli
- OCAMLC    clib/range.mli
- OCAMLC    clib/cArray.mli
- OCAMLC    clib/option.mli
- OCAMLC    clib/cUnix.mli
- OCAMLC    clib/cThread.mli
- OCAMLC    clib/trie.mli
- OCAMLC    clib/heap.mli
- OCAMLC    clib/predicate.mli
- OCAMLC    clib/store.mli
- OCAMLC    clib/unionfind.mli
- OCAMLC    clib/exninfo.mli
- OCAMLC    clib/terminal.mli
- OCAMLC    clib/iStream.mli
- OCAMLC    clib/monad.mli
- OCAMLC    clib/diff2.mli
- OCAMLC    lib/hook.mli
- OCAMLC    lib/flags.mli
- OCAMLC    lib/pp.mli
- OCAMLC    lib/control.mli
- OCAMLC    lib/xml_datatype.mli
- OCAMLC    lib/cProfile.mli
- OCAMLC    lib/remoteCounter.mli
- OCAMLC    lib/spawn.mli
- OCAMLC    lib/envars.mli
- OCAMLC    lib/coqProject_file.mli
- OCAMLC    ide/coqide/configwin_messages.ml
- OCAMLC    ide/coqide/protocol/xml_lexer.mli
- OCAMLC    ide/coqide/configwin.mli
- OCAMLC    ide/coqide/configwin_types.ml
- OCAMLC    ide/coqide/tags.mli
- OCAMLC    ide/coqide/wg_Notebook.mli
- OCAMLC    ide/coqide/utf8_convert.mli
- OCAMLC    ide/coqide/unicode_bindings.mli
- OCAMLC    ide/coqide/coq_lex.mli
- OCAMLC    ide/coqide/sentence.mli
- OCAMLC    ide/coqide/gtk_parsing.mli
- OCAMLC    ide/coqide/wg_Segment.mli
- OCAMLC    ide/coqide/wg_Detachable.mli
- OCAMLC    ide/coqide/wg_Find.mli
- OCAMLC    ide/coqide/coqide_ui.mli
- OCAMLC    ide/coqide/coq_commands.mli
- OCAMLC    ide/coqide/coqide.mli
- OCAMLC    kernel/uint63.mli
- OCAMLC    ide/coqide/coqide_os_specific.mli
- OCAMLC    kernel/vmopcodes.ml
- OCAMLC    interp/numTok.mli
- OCAMLC    gramlib/.pack/gramlib__Gramext.mli
- OCAMLC    tactics/dnet.mli
- File "ide/coqide/configwin_messages.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    tactics/dn.mli
- OCAMLC    stm/spawned.mli
- OCAMLC    stm/dag.mli
- OCAMLC    stm/tQueue.mli
- OCAMLC    stm/coqworkmgrApi.mli
- OCAMLC    stm/vio_checking.mli
- OCAMLC    toplevel/usage.mli
- OCAMLC    toplevel/workerLoop.mli
- OCAMLC    toplevel/coqc.mli
- OCAMLC    kernel/byterun/coq_fix_code.c
- OCAMLC    kernel/byterun/coq_values.c
- OCAMLC    kernel/byterun/coq_interp.c
- OCAMLOPT  config/coq_config.ml
- OCAMLOPT  clib/cObj.ml
- OCAMLC    kernel/byterun/coq_float64.c
- OCAMLC    kernel/byterun/coq_memory.c
- File "kernel/vmopcodes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    clib/cMap.mli
- OCAMLOPT  clib/cEphemeron.ml
- OCAMLC    clib/hashcons.mli
- OCAMLC    clib/cList.mli
- OCAMLOPT  clib/option.ml
- OCAMLOPT  clib/predicate.ml
- OCAMLOPT  clib/trie.ml
- OCAMLOPT  clib/heap.ml
- OCAMLOPT  clib/unionfind.ml
- OCAMLOPT  clib/cThread.ml
- OCAMLC    clib/dyn.mli
- OCAMLOPT  clib/iStream.ml
- OCAMLOPT  clib/terminal.ml
- OCAMLOPT  clib/monad.ml
- OCAMLOPT  clib/diff2.ml
- OCAMLOPT  lib/hook.ml
- File "interp/numTok.mli", line 85, characters 19-27:
- 85 |   val parse : char Stream.t -> t
-                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    lib/pp_diff.mli
- OCAMLC    lib/loc.mli
- OCAMLC    lib/rtree.mli
- OCAMLC    lib/system.mli
- OCAMLC    lib/explore.mli
- OCAMLC    lib/future.mli
- OCAMLC    lib/genarg.mli
- File "ide/coqide/configwin_types.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  ide/coqide/protocol/xml_lexer.ml
- OCAMLC    ide/coqide/protocol/xml_parser.mli
- OCAMLC    ide/coqide/protocol/xml_printer.mli
- OCAMLC    ide/coqide/protocol/richpp.mli
- OCAMLC    ide/coqide/minilib.mli
- OCAMLOPT  ide/coqide/tags.ml
- OCAMLOPT  ide/coqide/utf8_convert.ml
- OCAMLOPT  ide/coqide/gtk_parsing.ml
- OCAMLOPT  ide/coqide/coq_commands.ml
- OCAMLOPT  ide/coqide/coqide_os_specific.ml
- OCAMLOPT  kernel/uint63.ml
- coq_memory.c: In function 'init_coq_vm':
- coq_memory.c:121:13: warning: "scan_roots_hook" is deprecated: use "caml_scan_roots_hook" instead
-   121 |       coq_prev_scan_roots_hook = scan_roots_hook;
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                    
- coq_memory.c:122:13: warning: "scan_roots_hook" is deprecated: use "caml_scan_roots_hook" instead
-   122 |     scan_roots_hook = coq_scan_roots;
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~                                                
- coq_fix_code.c: In function 'coq_stat_alloc':
- coq_fix_code.c:92:13: warning: "raise_out_of_memory" is deprecated: use "caml_raise_out_of_memory" instead
-    92 |   if (result == NULL) raise_out_of_memory ();
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                                                
- OCAMLC    kernel/parray.mli
- OCAMLC    kernel/float64_common.mli
- OCAMLC    kernel/float64.mli
- OCAMLC    kernel/evar.mli
- OCAMLC    engine/logic_monad.mli
- OCAMLC    library/summary.mli
- OCAMLOPT  kernel/vmopcodes.ml
- OCAMLC    interp/deprecation.mli
- OCAMLC    gramlib/.pack/gramlib__Ploc.mli
- OCAMLOPT  gramlib/.pack/gramlib__Gramext.ml
- OCAMLC    stm/vcs.mli
- OCAMLOPT  tactics/dnet.ml
- OCAMLOPT  stm/coqworkmgrApi.ml
- OCAMLC    stm/workerPool.mli
- OCAMLOPT  toplevel/usage.ml
- OCAMLOPT  clib/cMap.ml
- OCAMLC    clib/int.mli
- OCAMLOPT -a -o config/config.cmxa
- OCAMLC    clib/cSet.mli
- OCAMLC    clib/cString.mli
- OCAMLC    clib/hMap.mli
- OCAMLC    lib/cErrors.mli
- OCAMLC    lib/cWarnings.mli
- OCAMLC    lib/stateid.mli
- OCAMLC    lib/cAst.mli
- OCAMLOPT  ide/coqide/protocol/xml_printer.ml
- OCAMLC    lib/aux_file.mli
- OCAMLC    ide/coqide/protocol/serialize.mli
- OCAMLOPT  ide/coqide/configwin_messages.ml
- OCAMLOPT  ide/coqide/configwin_types.ml
- OCAMLC    ide/coqide/configwin_ihm.mli
- OCAMLC    lib/acyclicGraph.mli
- OCAMLOPT  ide/coqide/protocol/xml_parser.ml
- OCAMLC    lib/objFile.mli
- OCAMLC    lib/util.mli
- OCAMLOPT  ide/coqide/wg_Detachable.ml
- OCAMLC    lib/dAst.mli
- OCAMLOPT  kernel/float64_common.ml
- File "lib/util.mli", line 81, characters 27-35:
- 81 | val stream_nth : int -> 'a Stream.t -> 'a
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/util.mli", line 82, characters 29-37:
- 82 | val stream_njunk : int -> 'a Stream.t -> unit
-                                   ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  ide/coqide/coq_lex.ml
- OCAMLOPT  kernel/float64.ml
- File "ide/coqide/protocol/xml_parser.ml", line 54, characters 2-31:
- 54 |   mutable concat_pcdata : bool;
-        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field concat_pcdata is never read.
- (However, this field is used to build or mutate values.)
- OCAMLC    lib/feedback.mli
- OCAMLC    ide/coqide/document.mli
- File "ide/coqide/configwin_messages.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    ide/coqide/ideutils.mli
- OCAMLC    stm/asyncTaskQueue.mli
- OCAMLOPT  ide/coqide/sentence.ml
- OCAMLC    ide/coqide/protocol/interface.ml
- OCAMLC    ide/coqide/config_lexer.mli
- OCAMLC    ide/coqide/preferences.mli
- OCAMLC    kernel/names.mli
- OCAMLC    kernel/esubst.mli
- OCAMLC    gramlib/.pack/gramlib__Plexing.mli
- OCAMLC    parsing/tok.mli
- OCAMLC    stm/partac.mli
- File "ide/coqide/protocol/interface.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    ide/coqide/protocol/xmlprotocol.mli
- OCAMLC    ide/coqide/coq.mli
- OCAMLC    ide/coqide/wg_ProofView.mli
- File "ide/coqide/configwin_types.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gramlib/plexing.mli", line 13, characters 41-49:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/plexing.mli", line 13, characters 57-65:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    gramlib/.pack/gramlib__Grammar.mli
- OCAMLC    parsing/cLexer.mli
- File "gramlib/grammar.mli", line 30, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.mli", line 42, characters 63-71:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.mli", line 43, characters 40-48:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  clib/int.ml
- OCAMLC    ide/coqide/wg_ScriptView.mli
- OCAMLC    ide/coqide/wg_Completion.mli
- OCAMLC    ide/coqide/wg_MessageView.mli
- OCAMLC    ide/coqide/fileOps.mli
- OCAMLC    kernel/transparentState.mli
- OCAMLC    kernel/univ.mli
- OCAMLC    library/libnames.mli
- OCAMLC    engine/evar_kinds.mli
- OCAMLC    pretyping/locus.ml
- OCAMLC    proofs/goal_select.mli
- OCAMLC    tactics/declareScheme.mli
- OCAMLC    vernac/canonical.mli
- OCAMLC    library/coqlib.mli
- OCAMLC    interp/decls.mli
- File "pretyping/locus.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    vernac/loadpath.mli
- OCAMLC    pretyping/locusops.mli
- OCAMLC    kernel/conv_oracle.mli
- OCAMLC    ide/coqide/wg_RoutedMessageViews.mli
- OCAMLC    kernel/uGraph.mli
- OCAMLC    kernel/sorts.mli
- OCAMLC    engine/univNames.mli
- OCAMLC    tactics/declareUctx.mli
- OCAMLOPT  clib/hashset.ml
- OCAMLOPT  stm/dag.ml
- OCAMLOPT  clib/orderedType.ml
- OCAMLOPT  clib/cList.ml
- OCAMLOPT  clib/range.ml
- OCAMLOPT  clib/hMap.ml
- OCAMLOPT  clib/dyn.ml
- OCAMLC    ide/coqide/coqOps.mli
- OCAMLC    kernel/context.mli
- OCAMLC    kernel/vmvalues.mli
- OCAMLC    ide/coqide/wg_Command.mli
- OCAMLOPT  clib/store.ml
- OCAMLOPT  clib/hashcons.ml
- OCAMLC    ide/coqide/session.mli
- OCAMLOPT  clib/cSet.ml
- OCAMLC    ide/coqide/microPG.mli
- OCAMLC    kernel/constr.mli
- OCAMLC    kernel/vm.mli
- OCAMLOPT  clib/exninfo.ml
- OCAMLC    kernel/vars.mli
- OCAMLC    kernel/term.mli
- OCAMLC    kernel/cPrimitives.mli
- OCAMLC    kernel/nativevalues.mli
- OCAMLC    engine/univSubst.mli
- OCAMLC    engine/univProblem.mli
- OCAMLC    engine/univops.mli
- OCAMLC    pretyping/keys.mli
- OCAMLC    engine/nameops.mli
- OCAMLC    pretyping/pattern.ml
- File "pretyping/pattern.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  lib/flags.ml
- OCAMLOPT  lib/control.ml
- OCAMLOPT  lib/loc.ml
- OCAMLC    engine/univMinim.mli
- File "clib/cList.ml", line 147, characters 2-12:
- 147 |   head : 'a;
-         ^^^^^^^^^^
- Warning 69 [unused-field]: record field head is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  lib/cAst.ml
- OCAMLOPT  gramlib/.pack/gramlib__Ploc.ml
- OCAMLC    kernel/retroknowledge.mli
- OCAMLC    kernel/vmbytecodes.mli
- OCAMLOPT  lib/dAst.ml
- OCAMLC    kernel/mod_subst.mli
- OCAMLC    kernel/vmemitcodes.mli
- OCAMLC    kernel/opaqueproof.mli
- OCAMLC    tactics/term_dnet.mli
- OCAMLC    library/globnames.mli
- OCAMLC    library/libobject.mli
- OCAMLC    library/nametab.mli
- OCAMLC    kernel/declarations.ml
- OCAMLC    vernac/library.mli
- File "kernel/declarations.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    kernel/entries.ml
- OCAMLC    kernel/environ.mli
- OCAMLC    kernel/cooking.mli
- OCAMLOPT  clib/cString.ml
- OCAMLOPT  clib/cArray.ml
- File "kernel/entries.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    kernel/declareops.mli
- OCAMLC    kernel/primred.mli
- OCAMLC    kernel/cClosure.mli
- OCAMLC    kernel/reduction.mli
- OCAMLC    kernel/vmlambda.mli
- OCAMLC    kernel/nativelambda.mli
- OCAMLC    kernel/vmbytegen.mli
- OCAMLC    kernel/modops.mli
- OCAMLC    kernel/type_errors.mli
- OCAMLC    kernel/vmsymtable.mli
- OCAMLC    kernel/inductive.mli
- OCAMLC    kernel/typeops.mli
- OCAMLC    kernel/inferCumulativity.mli
- OCAMLC    kernel/indTyping.mli
- OCAMLC    kernel/indtypes.mli
- OCAMLC    kernel/term_typing.mli
- OCAMLC    kernel/subtyping.mli
- OCAMLC    library/goptions.mli
- OCAMLC    kernel/section.mli
- OCAMLC    kernel/mod_typing.mli
- OCAMLC    pretyping/arguments_renaming.mli
- OCAMLC    engine/univGen.mli
- OCAMLC    pretyping/heads.mli
- OCAMLC    vernac/printmod.mli
- OCAMLC    kernel/relevanceops.mli
- OCAMLC    library/lib.mli
- OCAMLC    vernac/attributes.mli
- OCAMLOPT  ide/coqide/protocol/serialize.ml
- OCAMLOPT  clib/cUnix.ml
- OCAMLC    kernel/nativecode.mli
- OCAMLOPT  lib/util.ml
- OCAMLOPT  lib/pp.ml
- OCAMLOPT  kernel/parray.ml
- OCAMLC    kernel/nativelib.mli
- OCAMLC    kernel/nativelibrary.mli
- OCAMLOPT -a -o clib/clib.cmxa
- OCAMLOPT  lib/coqProject_file.ml
- OCAMLC    kernel/safe_typing.mli
- File "lib/util.ml", line 126, characters 16-28:
- 126 |   try List.nth (Stream.npeek (n+1) st) n
-                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/util.ml", line 127, characters 26-40:
- 127 |   with Failure _ -> raise Stream.Failure
-                                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/util.ml", line 130, characters 11-22:
- 130 |   repeat n Stream.junk st
-                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 94, characters 35-46:
- 94 | let rec parse_string buf s = match Stream.next s with
-                                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 99, characters 12-26:
- 99 | | exception Stream.Failure -> buffer buf
-                  ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 101, characters 32-43:
- 101 | and parse_string2 buf s = match Stream.next s with
-                                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 106, characters 12-26:
- 106 | | exception Stream.Failure -> raise (Parsing_error "unterminated string")
-                   ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 108, characters 33-44:
- 108 | and parse_skip_comment s = match Stream.next s with
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 111, characters 12-26:
- 111 | | exception Stream.Failure -> ()
-                   ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 113, characters 34-45:
- 113 | and parse_args buf accu s = match Stream.next s with
-                                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 125, characters 12-26:
- 125 | | exception Stream.Failure -> accu
-                   ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "lib/coqProject_file.ml", line 130, characters 31-48:
- 130 |   let res = parse_args buf [] (Stream.of_channel c) in
-                                      ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    library/global.mli
- OCAMLC    engine/uState.mli
- OCAMLC    kernel/vconv.mli
- OCAMLC    kernel/nativeconv.mli
- OCAMLOPT  gramlib/.pack/gramlib__Plexing.ml
- OCAMLOPT  tactics/dn.ml
- OCAMLOPT  lib/envars.ml
- OCAMLOPT  ide/coqide/config_lexer.ml
- OCAMLOPT  ide/coqide/wg_Notebook.ml
- OCAMLOPT  kernel/esubst.ml
- OCAMLOPT  lib/stateid.ml
- OCAMLOPT  lib/pp_diff.ml
- OCAMLOPT  lib/cErrors.ml
- File "gramlib/plexing.ml", line 6, characters 41-49:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/plexing.ml", line 6, characters 57-65:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  lib/rtree.ml
- OCAMLOPT  ide/coqide/protocol/richpp.ml
- OCAMLOPT  kernel/evar.ml
- OCAMLOPT  interp/numTok.ml
- OCAMLC    engine/evd.mli
- OCAMLOPT  lib/feedback.ml
- OCAMLOPT  ide/coqide/document.ml
- File "interp/numTok.ml", line 124, characters 33-44:
- 124 |     let rec number len s = match Stream.peek s with
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 125, characters 32-43:
- 125 |       | Some ('0'..'9' as c) -> Stream.junk s; number (store len c) s
-                                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 126, characters 40-51:
- 126 |       | Some ('_' as c) when len > 0 -> Stream.junk s; number (store len c) s
-                                               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 129, characters 37-48:
- 129 |     let rec hex_number len s = match Stream.peek s with
-                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 131, characters 9-20:
- 131 |          Stream.junk s; hex_number (store len c) s
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 133, characters 9-20:
- 133 |          Stream.junk s; hex_number (store len c) s
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 137, characters 12-24:
- 137 |       match Stream.npeek 3 s with
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 139, characters 9-20:
- 139 |          Stream.junk s; Stream.junk s; Stream.junk s;
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 139, characters 24-35:
- 139 |          Stream.junk s; Stream.junk s; Stream.junk s;
-                               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 139, characters 39-50:
- 139 |          Stream.junk s; Stream.junk s; Stream.junk s;
-                                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 144, characters 17-29:
- 144 |       match hex, Stream.npeek 2 s with
-                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 146, characters 9-20:
- 146 |          Stream.junk s; Stream.junk s; get_buff (hex_number (store 0 c) s)
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 146, characters 24-35:
- 146 |          Stream.junk s; Stream.junk s; get_buff (hex_number (store 0 c) s)
-                               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 148, characters 9-20:
- 148 |          Stream.junk s; Stream.junk s; get_buff (number (store 0 c) s)
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 148, characters 24-35:
- 148 |          Stream.junk s; Stream.junk s; get_buff (number (store 0 c) s)
-                               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 151, characters 17-29:
- 151 |       match hex, Stream.npeek 2 s with
-                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 154, characters 9-20:
- 154 |          Stream.junk s; Stream.junk s; get_buff (number (store (store 0 e) c) s)
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 154, characters 24-35:
- 154 |          Stream.junk s; Stream.junk s; get_buff (number (store (store 0 e) c) s)
-                               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 157, characters 21-33:
- 157 |          begin match Stream.npeek 3 s with
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 159, characters 12-23:
- 159 |             Stream.junk s; Stream.junk s; Stream.junk s;
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 159, characters 27-38:
- 159 |             Stream.junk s; Stream.junk s; Stream.junk s;
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 159, characters 42-53:
- 159 |             Stream.junk s; Stream.junk s; Stream.junk s;
-                                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 174, characters 17-33:
- 174 |       let strm = Stream.of_string (s ^ "  ") in
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 176, characters 9-21:
- 176 |       if Stream.count strm >= String.length s then Some n else None
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 260, characters 17-33:
- 260 |       let strm = Stream.of_string (s ^ "  ") in
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 262, characters 18-29:
- 262 |         | '-' -> (Stream.junk strm; SMinus)
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 263, characters 18-29:
- 263 |         | '+' -> (Stream.junk strm; SPlus)
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "interp/numTok.ml", line 266, characters 9-21:
- 266 |       if Stream.count strm >= String.length s then Some (sign,n) else None
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  lib/acyclicGraph.ml
- OCAMLOPT  lib/spawn.ml
- OCAMLOPT  lib/cProfile.ml
- OCAMLOPT  lib/future.ml
- OCAMLOPT  lib/genarg.ml
- OCAMLOPT  kernel/names.ml
- OCAMLOPT  lib/remoteCounter.ml
- OCAMLOPT  stm/tQueue.ml
- OCAMLOPT  stm/vcs.ml
- OCAMLOPT  stm/workerPool.ml
- File "stm/workerPool.ml", line 35, characters 2-21:
- 35 |   manager : Thread.t;
-        ^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field manager is never read.
- (However, this field is used to build or mutate values.)
- File "stm/workerPool.ml", line 36, characters 2-26:
- 36 |   process : Model.process;
-        ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field process is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  lib/cWarnings.ml
- OCAMLOPT  lib/explore.ml
- OCAMLOPT  lib/aux_file.ml
- OCAMLOPT  ide/coqide/protocol/interface.ml
- OCAMLOPT  engine/logic_monad.ml
- OCAMLOPT  gramlib/.pack/gramlib__Grammar.ml
- OCAMLC    engine/eConstr.mli
- OCAMLC    engine/proofview_monad.mli
- OCAMLC    pretyping/indrec.mli
- File "stm/tQueue.ml", line 36, characters 11-42:
- 36 |   let push ({ contents = (xs, rel) } as t) x =
-                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "lib/spawn.ml", line 160, characters 2-24:
- 160 |   gchan : ML.async_chan;
-         ^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field gchan is never read.
- (However, this field is used to build or mutate values.)
- File "stm/tQueue.ml", line 91, characters 9-51:
- 91 | let push { queue = q; lock = m; cond = c; release } x =
-               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- OCAMLOPT  parsing/tok.ml
- File "lib/cWarnings.ml", line 16, characters 2-20:
- 16 |   category : string;
-        ^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field category is never read.
- (However, this field is used to build or mutate values.)
- File "lib/cProfile.ml", line 288, characters 25-40:
- 288 |   let l = List.sort (fun (_,{tottime=p}) (_,{tottime=p'}) -> p' - p) table in
-                                ^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "gramlib/grammar.ml", line 20, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 32, characters 63-71:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 33, characters 40-48:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 117, characters 24-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  lib/system.ml
- OCAMLOPT  library/summary.ml
- OCAMLOPT  interp/deprecation.ml
- File "ide/coqide/protocol/interface.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "parsing/tok.ml", line 124, characters 21-35:
- 124 |   let err () = raise Stream.Failure in
-                            ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  ide/coqide/protocol/xmlprotocol.ml
- OCAMLOPT  stm/spawned.ml
- OCAMLOPT  parsing/cLexer.ml
- OCAMLC    engine/namegen.mli
- OCAMLC    pretyping/reductionops.mli
- OCAMLC    engine/termops.mli
- OCAMLC    pretyping/pretype_errors.mli
- OCAMLC    pretyping/inductiveops.mli
- OCAMLC    engine/proofview.mli
- OCAMLC    pretyping/retyping.mli
- OCAMLC    pretyping/cbv.mli
- OCAMLC    pretyping/vnorm.mli
- OCAMLC    pretyping/nativenorm.mli
- OCAMLC    pretyping/evardefine.mli
- OCAMLC    pretyping/typing.mli
- OCAMLC    pretyping/typeclasses.mli
- OCAMLC    pretyping/typeclasses_errors.mli
- OCAMLC    pretyping/coercionops.mli
- OCAMLC    pretyping/program.mli
- OCAMLC    proofs/goal.mli
- OCAMLC    tactics/btermdn.mli
- OCAMLC    tactics/hipattern.mli
- OCAMLC    tactics/cbn.mli
- OCAMLOPT  ide/coqide/minilib.ml
- OCAMLC    engine/evarutil.mli
- OCAMLC    pretyping/glob_term.ml
- OCAMLC    proofs/tactypes.ml
- File "parsing/cLexer.ml", line 163, characters 11-23:
- 163 |   let bp = Stream.count cs in
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 164, characters 2-13:
- 164 |   Stream.junk cs; (* consume the char to avoid read it and fail again *)
-         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  ide/coqide/configwin_ihm.ml
- OCAMLOPT  lib/objFile.ml
- OCAMLC    engine/ftactic.mli
- OCAMLC    proofs/refine.mli
- File "parsing/cLexer.ml", line 176, characters 28-39:
- 176 | let njunk n = Util.repeat n Stream.junk
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    proofs/logic.mli
- OCAMLC    proofs/tacmach.mli
- OCAMLC    tactics/ind_tables.mli
- File "proofs/tactypes.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    tactics/eqdecide.mli
- File "parsing/cLexer.ml", line 189, characters 12-24:
- 189 |       match Stream.npeek 2 cs with
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 195, characters 12-24:
- 195 |       match Stream.npeek 3 cs with
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 202, characters 17-29:
- 202 |       else match Stream.npeek 4 cs with
-                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    tactics/abstract.mli
- File "pretyping/glob_term.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    pretyping/find_subterm.mli
- OCAMLC    vernac/retrieveObl.mli
- OCAMLC    pretyping/evarsolve.mli
- OCAMLC    proofs/miscprint.mli
- OCAMLC    tactics/tacticals.mli
- File "parsing/cLexer.ml", line 214, characters 8-19:
- 214 |   match Stream.peek cs with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    tactics/elim.mli
- OCAMLC    tactics/contradiction.mli
- OCAMLC    tactics/inv.mli
- OCAMLC    interp/constrexpr.ml
- OCAMLC    pretyping/recordops.mli
- OCAMLC    proofs/proof.mli
- OCAMLC    pretyping/geninterp.mli
- File "parsing/cLexer.ml", line 224, characters 30-41:
- 224 |   let rec loop_symb s = match Stream.peek s with
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 226, characters 8-19:
- 226 |         Stream.junk s;
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 231, characters 23-34:
- 231 |         | AsciiChar -> Stream.junk s; loop_symb s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 234, characters 13-29:
- 234 |   loop_symb (Stream.of_string str)
-                    ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 237, characters 35-46:
- 237 |   let rec loop_id intail s = match Stream.peek s with
-                                          ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 239, characters 8-19:
- 239 |         Stream.junk s;
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 242, characters 8-19:
- 242 |         Stream.junk s;
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 253, characters 17-33:
- 253 |   loop_id false (Stream.of_string str)
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 295, characters 39-50:
- 295 |   if n>0 then nstore (n-1) (store len (Stream.next cs)) cs else len
-                                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    tactics/eqschemes.mli
- OCAMLC    tactics/elimschemes.mli
- OCAMLC    vernac/himsg.mli
- OCAMLC    vernac/auto_ind_decl.mli
- OCAMLC    pretyping/evarconv.mli
- File "interp/constrexpr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "parsing/cLexer.ml", line 307, characters 37-48:
- 307 | let rec ident_tail loc len s = match Stream.peek s with
-                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/notation_term.ml
- OCAMLC    interp/smartlocate.mli
- OCAMLC    interp/constrexpr_ops.mli
- OCAMLC    interp/impargs.mli
- OCAMLC    interp/modintern.mli
- OCAMLC    parsing/pcoq.mli
- OCAMLC    printing/pputils.mli
- OCAMLC    printing/ppconstr.mli
- OCAMLC    vernac/declareUniv.mli
- File "parsing/cLexer.ml", line 309, characters 6-17:
- 309 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    vernac/declaremods.mli
- OCAMLC    vernac/comPrimitive.mli
- OCAMLC    vernac/prettyp.mli
- OCAMLC    printing/genprint.mli
- OCAMLC    pretyping/ltac_pretype.ml
- OCAMLC    proofs/proof_bullet.mli
- File "parsing/cLexer.ml", line 317, characters 62-74:
- 317 |           let u = String.concat "" (List.map (String.make 1) (Stream.npeek n s)) in
-                                                                     ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 331, characters 48-59:
- 331 | let rec string loc ~comm_level bp len s = match Stream.peek s with
-                                                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 333, characters 6-17:
- 333 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 335, characters 14-25:
- 335 |         match Stream.peek s with
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 336, characters 22-33:
- 336 |           Some '"' -> Stream.junk s; true
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    pretyping/coercion.mli
- File "parsing/cLexer.ml", line 341, characters 6-17:
- 341 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 342, characters 22-33:
- 342 |       (fun s -> match Stream.peek s with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 344, characters 8-19:
- 344 |         Stream.junk s;
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 352, characters 6-17:
- 352 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 353, characters 22-33:
- 353 |       (fun s -> match Stream.peek s with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 355, characters 12-23:
- 355 |             Stream.junk s;
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 366, characters 4-15:
- 366 |     Stream.junk s;
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 367, characters 13-25:
- 367 |     let ep = Stream.count s in
-                    ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 377, characters 6-17:
- 377 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 380, characters 14-26:
- 380 |       let _ = Stream.empty s in
-                     ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 381, characters 15-27:
- 381 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 434, characters 12-24:
- 434 |   let bp2 = Stream.count s in
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 435, characters 8-19:
- 435 |   match Stream.peek s with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 437, characters 6-17:
- 437 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 440, characters 16-27:
- 440 |           match Stream.peek s with
-                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 442, characters 14-25:
- 442 |               Stream.junk s;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 445, characters 13-27:
- 445 |         with Stream.Failure -> raise (Stream.Error "")
-                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 445, characters 38-50:
- 445 |         with Stream.Failure -> raise (Stream.Error "")
-                                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 449, characters 6-17:
- 449 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 451, characters 14-25:
- 451 |         match Stream.peek s with
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 452, characters 22-33:
- 452 |           Some ')' -> Stream.junk s; push_string "*)"; loc
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 454, characters 11-25:
- 454 |       with Stream.Failure -> raise (Stream.Error "")
-                  ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 454, characters 36-48:
- 454 |       with Stream.Failure -> raise (Stream.Error "")
-                                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 457, characters 6-17:
- 457 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 462, characters 20-32:
- 462 |     match try Some (Stream.empty s) with Stream.Failure -> None with
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 462, characters 41-55:
- 462 |     match try Some (Stream.empty s) with Stream.Failure -> None with
-                                                ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 464, characters 15-27:
- 464 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1076, characters 15-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1085, characters 15-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 468, characters 16-27:
- 468 |           match Stream.peek s with
-                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 470, characters 14-25:
- 470 |               Stream.junk s;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 471, characters 23-35:
- 471 |               let ep = Stream.count s in
-                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 474, characters 14-25:
- 474 |               Stream.junk s;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 476, characters 23-37:
- 476 |           | _ -> raise Stream.Failure
-                              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 483, characters 54-66:
- 483 |   try progress_from_byte loc last nj tt cs (List.nth (Stream.npeek (nj+1) cs) nj)
-                                                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 502, characters 36-48:
- 502 |       match Util.List.skipn (nj+1) (Stream.npeek (nj+n) cs) with
-                                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1094, characters 27-41:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1094, characters 61-75:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1097, characters 5-17:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1098, characters 13-27:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1100, characters 45-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1104, characters 6-20:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1104, characters 31-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1109, characters 16-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1111, characters 4-18:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1113, characters 42-50:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1113, characters 61-75:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1115, characters 11-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1125, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1126, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "pretyping/ltac_pretype.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "interp/notation_term.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "parsing/cLexer.ml", line 516, characters 8-19:
- 516 |   match Stream.peek cs with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 527, characters 16-30:
- 527 |     | exception Stream.Failure -> n, List.make n b, List.make n e
-                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 530, characters 24-38:
- 530 |   if len = 0 then raise Stream.Failure
-                               ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/genintern.mli
- File "parsing/cLexer.ml", line 539, characters 17-31:
- 539 |     | _ -> raise Stream.Failure
-                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 544, characters 14-25:
- 544 |       let c = Stream.next s in
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/notation_ops.mli
- File "parsing/cLexer.ml", line 547, characters 10-24:
- 547 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 547, characters 35-47:
- 547 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/notation.mli
- OCAMLC    parsing/extend.mli
- OCAMLC    interp/syntax_def.mli
- OCAMLC    interp/reserve.mli
- OCAMLC    printing/proof_diffs.mli
- File "gramlib/grammar.ml", line 1149, characters 32-40:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1149, characters 51-65:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1150, characters 40-48:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1152, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1156, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1158, characters 53-67:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    pretyping/glob_ops.mli
- File "parsing/cLexer.ml", line 549, characters 40-52:
- 549 |       get_buff len, set_loc_pos loc bp (Stream.count s)
-                                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    pretyping/patternops.mli
- OCAMLC    pretyping/tacred.mli
- OCAMLC    pretyping/constr_matching.mli
- OCAMLC    pretyping/detyping.mli
- OCAMLC    printing/printer.mli
- OCAMLC    pretyping/globEnv.mli
- OCAMLC    proofs/evar_refiner.mli
- File "gramlib/grammar.ml", line 1173, characters 27-35:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1174, characters 22-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1178, characters 17-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1179, characters 26-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 557, characters 43-54:
- 557 |       let commit1 c = Buffer.add_char b c; Stream.junk s in
-                                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 560, characters 14-26:
- 560 |         match Stream.npeek lenmarker s with
-                     ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 569, characters 48-60:
- 569 |               let loc = bump_loc_line_last loc (Stream.count s) in
-                                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 573, characters 63-77:
- 573 |               if not dot_gobbling && blank_or_eof s then raise Stream.Failure;
-                                                                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 578, characters 22-36:
- 578 |         | [] -> raise Stream.Failure
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 581, characters 45-57:
- 581 |       Buffer.contents b, set_loc_pos loc bp (Stream.count s)
-                                                    ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 588, characters 15-27:
- 588 |       let l' = Stream.npeek (i + 1) s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 598, characters 6-17:
- 598 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 607, characters 15-27:
- 607 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 615, characters 10-21:
- 615 |     match Stream.peek cs with
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 616, characters 30-41:
- 616 |     | Some c' when c == c' -> Stream.junk cs; aux (n+1) cs
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 617, characters 57-69:
- 617 |     | _ -> BULLET (String.make n c), set_loc_pos loc bp (Stream.count cs)
-                                                                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/implicit_quantifiers.mli
- File "parsing/cLexer.ml", line 624, characters 11-23:
- 624 |   let ep = Stream.count cs in
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    parsing/g_prim.ml
- OCAMLC    parsing/g_constr.ml
- File "parsing/cLexer.ml", line 645, characters 50-61:
- 645 | let parse_after_dot ~diff_mode loc c bp s = match Stream.peek s with
-                                                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 647, characters 6-17:
- 647 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 650, characters 10-24:
- 650 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 650, characters 35-47:
- 650 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    parsing/ppextend.mli
- OCAMLC    vernac/declareInd.mli
- File "gramlib/grammar.ml", line 1200, characters 25-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1201, characters 22-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1202, characters 43-57:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1205, characters 49-63:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1208, characters 34-46:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1219, characters 26-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 655, characters 17-29:
- 655 |         let ep = Stream.count s in
-                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 664, characters 21-33:
- 664 |             let ep = Stream.count s in
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 672, characters 8-19:
- 672 |   match Stream.peek s with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/dumpglob.mli
- OCAMLC    interp/constrextern.mli
- File "gramlib/grammar.ml", line 1220, characters 31-45:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    parsing/notation_gram.ml
- File "parsing/cLexer.ml", line 684, characters 11-23:
- 684 |   let bp = Stream.count s in
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 685, characters 8-19:
- 685 |   match Stream.peek s with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 687, characters 6-17:
- 687 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 688, characters 15-27:
- 688 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 691, characters 6-17:
- 691 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1223, characters 50-58:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1225, characters 4-18:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 694, characters 6-17:
- 694 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 697, characters 10-24:
- 697 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 697, characters 35-47:
- 697 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 705, characters 21-33:
- 705 |             let ep = Stream.count s in
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 713, characters 6-17:
- 713 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 720, characters 6-17:
- 720 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 721, characters 15-27:
- 721 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 725, characters 6-17:
- 725 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1238, characters 29-40:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1239, characters 22-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1241, characters 18-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1242, characters 15-27:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1244, characters 41-55:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1246, characters 23-35:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1256, characters 25-39:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1258, characters 33-41:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 728, characters 10-24:
- 728 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 728, characters 35-47:
- 728 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 734, characters 17-29:
- 734 |         let ep = Stream.count s in
-                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 738, characters 15-27:
- 738 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 742, characters 6-17:
- 742 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 745, characters 10-24:
- 745 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 745, characters 35-47:
- 745 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 747, characters 15-27:
- 747 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/notation_gram.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    toplevel/coqcargs.mli
- File "parsing/cLexer.ml", line 751, characters 6-17:
- 751 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 753, characters 14-25:
- 753 |         match Stream.peek s with
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    parsing/notgram_ops.mli
- File "parsing/cLexer.ml", line 755, characters 12-23:
- 755 |             Stream.junk s;
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 756, characters 21-33:
- 756 |             let ep = Stream.count s in
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 759, characters 12-23:
- 759 |             Stream.junk s;
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 764, characters 11-25:
- 764 |       with Stream.Failure -> raise (Stream.Error "")
-                  ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    vernac/egramcoq.mli
- File "parsing/cLexer.ml", line 764, characters 36-48:
- 764 |       with Stream.Failure -> raise (Stream.Error "")
-                                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1268, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1269, characters 43-57:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/g_prim.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "parsing/g_constr.mlg", line 46, characters 19-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1273, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1278, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1279, characters 40-54:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1283, characters 16-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1284, characters 25-37:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1289, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1290, characters 44-58:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    interp/stdarg.mli
- OCAMLC    tactics/genredexpr.ml
- OCAMLC    pretyping/cases.mli
- OCAMLC    pretyping/pretyping.mli
- File "parsing/cLexer.ml", line 767, characters 6-17:
- 767 |       Stream.junk s;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 768, characters 15-27:
- 768 |       let ep = Stream.count s in
-                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 782, characters 23-35:
- 782 |               let ep = Stream.count s in
-                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 785, characters 53-64:
- 785 |             let t = process_chars ~diff_mode loc bp (Stream.next s) s in
-                                                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1296, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1297, characters 40-54:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1300, characters 44-58:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1307, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1308, characters 44-58:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/cLexer.ml", line 844, characters 4-15:
- 844 |     Stream.from
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1313, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1314, characters 43-57:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1318, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1324, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1325, characters 40-54:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1329, characters 16-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1332, characters 22-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1333, characters 31-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1340, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1346, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1347, characters 40-54:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1350, characters 44-58:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1356, characters 20-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1363, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1368, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1369, characters 41-55:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tactics/genredexpr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "gramlib/grammar.ml", line 1374, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1375, characters 18-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    tactics/redops.mli
- OCAMLC    tactics/redexpr.mli
- File "gramlib/grammar.ml", line 1377, characters 18-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    tactics/ppred.mli
- File "gramlib/grammar.ml", line 1379, characters 33-41:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1381, characters 23-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1382, characters 30-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1383, characters 30-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLC    vernac/assumptions.mli
- File "gramlib/grammar.ml", line 1390, characters 10-21:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1391, characters 35-46:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1392, characters 20-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1399, characters 32-40:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1399, characters 51-65:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1421, characters 33-41:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1422, characters 26-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1424, characters 26-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1431, characters 34-42:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1432, characters 27-39:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1433, characters 50-64:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1435, characters 31-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1442, characters 37-45:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1442, characters 56-70:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1457, characters 30-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1459, characters 16-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1461, characters 27-39:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1469, characters 33-41:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1470, characters 37-51:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1471, characters 43-51:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1471, characters 62-76:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1474, characters 9-21:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1519, characters 25-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1520, characters 25-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1536, characters 18-30:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1539, characters 16-27:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1543, characters 43-55:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1543, characters 60-72:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1548, characters 6-20:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1552, characters 6-18:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1551, characters 22-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1557, characters 16-28:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1557, characters 33-45:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1594, characters 31-39:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1594, characters 50-64:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1602, characters 55-63:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1606, characters 31-39:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1606, characters 50-64:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1688, characters 35-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1688, characters 54-68:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1689, characters 42-50:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "gramlib/grammar.ml", line 1689, characters 61-75:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/g_constr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    pretyping/unification.mli
- OCAMLC    interp/constrintern.mli
- OCAMLOPT -a -o lib/lib.cmxa
- OCAMLC    proofs/clenv.mli
- OCAMLOPT -a -o ide/coqide/protocol/ideprotocol.cmxa
- OCAMLOPT -a -o ide/coqide/ide_common.cmxa
- OCAMLC    tactics/tactics.mli
- OCAMLC    tactics/hints.mli
- OCAMLC    tactics/auto.mli
- OCAMLC    tactics/eauto.mli
- OCAMLC    tactics/class_tactics.mli
- OCAMLC    vernac/vernacexpr.ml
- File "vernac/vernacexpr.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    tactics/equality.mli
- OCAMLC    vernac/pvernac.mli
- OCAMLC    vernac/vernacprop.mli
- OCAMLC    vernac/locality.mli
- OCAMLC    vernac/egramml.mli
- OCAMLC    vernac/ppvernac.mli
- OCAMLC    vernac/proof_using.mli
- OCAMLC    vernac/metasyntax.mli
- OCAMLC    vernac/indschemes.mli
- OCAMLC    vernac/comHints.mli
- OCAMLC    vernac/search.mli
- OCAMLC    vernac/comSearch.mli
- OCAMLC    vernac/comInductive.mli
- OCAMLC    vernac/record.mli
- OCAMLC    vernac/mltop.mli
- OCAMLC    vernac/topfmt.mli
- OCAMLC    vernac/comArguments.mli
- OCAMLC    vernac/g_vernac.ml
- OCAMLC    vernac/declare.mli
- OCAMLC    vernac/comAssumption.mli
- OCAMLC    toplevel/g_toplevel.ml
- OCAMLC    tactics/autorewrite.mli
- File "toplevel/g_toplevel.mlg", line 34, characters 19-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "toplevel/g_toplevel.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLC    vernac/vernacextend.mli
- OCAMLC    vernac/recLemmas.mli
- OCAMLC    vernac/comCoercion.mli
- OCAMLC    vernac/comDefinition.mli
- OCAMLC    vernac/classes.mli
- OCAMLC    vernac/comProgramFixpoint.mli
- OCAMLC    vernac/comFixpoint.mli
- OCAMLC    vernac/vernacstate.mli
- OCAMLC    vernac/comTactic.mli
- OCAMLC    stm/vernac_classifier.mli
- OCAMLC    vernac/vernacentries.mli
- OCAMLC    vernac/vernacinterp.mli
- OCAMLC    stm/stm.mli
- OCAMLC    stm/proofBlockDelimiter.mli
- OCAMLC    toplevel/vernac.mli
- OCAMLC    toplevel/coqargs.mli
- OCAMLOPT -a -o gramlib/.pack/gramlib.cmxa
- OCAMLC    toplevel/coqinit.mli
- OCAMLC    toplevel/coqloop.mli
- OCAMLC    toplevel/ccompile.mli
- OCAMLC    toplevel/coqtop.mli
- OCAMLOPT  kernel/transparentState.ml
- OCAMLOPT  kernel/univ.ml
- OCAMLOPT  library/libnames.ml
- OCAMLOPT  engine/evar_kinds.ml
- OCAMLOPT  pretyping/locus.ml
- OCAMLOPT  kernel/conv_oracle.ml
- OCAMLOPT  pretyping/locusops.ml
- File "vernac/g_vernac.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  ide/coqide/configwin.ml
- OCAMLOPT  ide/coqide/preferences.ml
- OCAMLC    vernac/g_proofs.ml
- OCAMLOPT  kernel/uGraph.ml
- File "vernac/g_proofs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- OCAMLOPT  kernel/sorts.ml
- OCAMLOPT  kernel/context.ml
- OCAMLOPT  kernel/vmvalues.ml
- OCAMLOPT  kernel/constr.ml
- OCAMLOPT  engine/nameops.ml
- cd kernel/byterun/ && \
- "/home/opam/.opam/default/bin/ocamlfind" ocamlmklib -oc coqrun coq_fix_code.o coq_float64.o coq_memory.o coq_values.o coq_interp.o
- OCAMLOPT  ide/coqide/wg_Segment.ml
- OCAMLOPT  ide/coqide/ideutils.ml
- OCAMLOPT  ide/coqide/coqide_ui.ml
- OCAMLOPT  ide/coqide/unicode_bindings.ml
- OCAMLOPT  ide/coqide/coq.ml
- OCAMLOPT  ide/coqide/wg_MessageView.ml
- OCAMLOPT  ide/coqide/wg_Find.ml
- OCAMLOPT  ide/coqide/fileOps.ml
- OCAMLOPT  kernel/nativevalues.ml
- OCAMLOPT  kernel/vars.ml
- OCAMLOPT  kernel/cPrimitives.ml
- OCAMLOPT  engine/univSubst.ml
- OCAMLOPT  pretyping/pattern.ml
- OCAMLOPT  ide/coqide/wg_RoutedMessageViews.ml
- OCAMLOPT  kernel/term.ml
- OCAMLOPT  ide/coqide/wg_ProofView.ml
- OCAMLOPT  ide/coqide/wg_Completion.ml
- OCAMLOPT  ide/coqide/wg_Command.ml
- OCAMLOPT  engine/univProblem.ml
- OCAMLOPT  kernel/retroknowledge.ml
- OCAMLOPT  kernel/vmbytecodes.ml
- OCAMLOPT  kernel/mod_subst.ml
- OCAMLOPT  kernel/vmemitcodes.ml
- OCAMLOPT  kernel/opaqueproof.ml
- OCAMLOPT  library/globnames.ml
- OCAMLOPT  library/nametab.ml
- OCAMLOPT  library/libobject.ml
- OCAMLOPT  ide/coqide/wg_ScriptView.ml
- OCAMLOPT  engine/univNames.ml
- OCAMLOPT  kernel/declarations.ml
- OCAMLOPT  kernel/cooking.ml
- OCAMLOPT  kernel/entries.ml
- OCAMLOPT  kernel/declareops.ml
- OCAMLOPT  kernel/environ.ml
- OCAMLOPT  kernel/primred.ml
- OCAMLOPT  kernel/section.ml
- OCAMLOPT  ide/coqide/coqOps.ml
- OCAMLOPT  kernel/cClosure.ml
- OCAMLOPT  ide/coqide/session.ml
- OCAMLOPT  kernel/relevanceops.ml
- OCAMLOPT  kernel/reduction.ml
- OCAMLOPT  ide/coqide/microPG.ml
- OCAMLOPT  kernel/vmlambda.ml
- OCAMLOPT  kernel/nativelambda.ml
- OCAMLOPT  pretyping/heads.ml
- OCAMLOPT  kernel/type_errors.ml
- OCAMLOPT  kernel/inductive.ml
- OCAMLOPT  kernel/inferCumulativity.ml
- OCAMLOPT  kernel/nativecode.ml
- OCAMLOPT  kernel/vmbytegen.ml
- OCAMLOPT  ide/coqide/coqide.ml
- OCAMLOPT  kernel/vmsymtable.ml
- OCAMLOPT  kernel/modops.ml
- OCAMLOPT  kernel/vm.ml
- OCAMLOPT  kernel/vconv.ml
- OCAMLOPT  kernel/subtyping.ml
- OCAMLOPT -a -o ide/coqide/ide.cmxa
- OCAMLOPT  kernel/nativelib.ml
- OCAMLOPT  kernel/nativelibrary.ml
- OCAMLOPT -o bin/coqide
- OCAMLOPT  kernel/nativeconv.ml
- OCAMLOPT  kernel/typeops.ml
- OCAMLOPT  kernel/term_typing.ml
- OCAMLOPT  kernel/indTyping.ml
- OCAMLOPT  kernel/mod_typing.ml
- OCAMLOPT  kernel/indtypes.ml
- OCAMLOPT  kernel/safe_typing.ml
- OCAMLOPT -a -o kernel/kernel.cmxa
- OCAMLOPT  library/global.ml
- OCAMLOPT  library/lib.ml
- OCAMLOPT  engine/univGen.ml
- OCAMLOPT  tactics/declareUctx.ml
- OCAMLOPT  stm/asyncTaskQueue.ml
- File "stm/asyncTaskQueue.ml", line 268, characters 4-30:
- 268 |     cleaner : Thread.t option;
-           ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field cleaner is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  library/goptions.ml
- OCAMLOPT  library/coqlib.ml
- OCAMLOPT  pretyping/keys.ml
- OCAMLOPT  interp/decls.ml
- OCAMLOPT  tactics/declareScheme.ml
- OCAMLOPT  engine/univMinim.ml
- OCAMLOPT -a -o library/library.cmxa
- OCAMLOPT  proofs/goal_select.ml
- OCAMLOPT  vernac/attributes.ml
- OCAMLOPT  engine/uState.ml
- OCAMLOPT  engine/evd.ml
- OCAMLOPT  engine/univops.ml
- OCAMLOPT  engine/eConstr.ml
- OCAMLOPT  engine/proofview_monad.ml
- OCAMLOPT  engine/namegen.ml
- OCAMLOPT  pretyping/typeclasses_errors.ml
- OCAMLOPT  engine/termops.ml
- OCAMLOPT  pretyping/glob_term.ml
- OCAMLOPT  proofs/tactypes.ml
- OCAMLOPT  proofs/miscprint.ml
- OCAMLOPT  interp/constrexpr.ml
- OCAMLOPT  interp/notation_term.ml
- OCAMLOPT  parsing/extend.ml
- OCAMLOPT  engine/evarutil.ml
- OCAMLOPT  pretyping/typeclasses.ml
- OCAMLOPT  tactics/term_dnet.ml
- File "engine/evarutil.ml", line 131, characters 10-18:
- 131 |   let m = E.create () in
-                 ^^^^^^^^
- Alert old_ephemeron_api: E.create
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 132, characters 19-29:
- 132 |   fun x y -> match E.get_key1 m, E.get_key2 m with
-                          ^^^^^^^^^^
- Alert old_ephemeron_api: E.get_key1
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 132, characters 33-43:
- 132 |   fun x y -> match E.get_key1 m, E.get_key2 m with
-                                        ^^^^^^^^^^
- Alert old_ephemeron_api: E.get_key2
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 133, characters 60-70:
- 133 |   | Some x', Some y' when x == x' && y == y' -> Option.get (E.get_data m)
-                                                                   ^^^^^^^^^^
- Alert old_ephemeron_api: E.get_data
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 134, characters 26-36:
- 134 |   | _ -> let r = f x y in E.set_key1 m x; E.set_key2 m y; E.set_data m r; r
-                                 ^^^^^^^^^^
- Alert old_ephemeron_api: E.set_key1
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 134, characters 42-52:
- 134 |   | _ -> let r = f x y in E.set_key1 m x; E.set_key2 m y; E.set_data m r; r
-                                                 ^^^^^^^^^^
- Alert old_ephemeron_api: E.set_key2
- This function won't be available in 5.0
- File "engine/evarutil.ml", line 134, characters 58-68:
- 134 |   | _ -> let r = f x y in E.set_key1 m x; E.set_key2 m y; E.set_data m r; r
-                                                                 ^^^^^^^^^^
- Alert old_ephemeron_api: E.set_data
- This function won't be available in 5.0
- OCAMLOPT  interp/dumpglob.ml
- OCAMLOPT  pretyping/reductionops.ml
- OCAMLOPT  engine/proofview.ml
- OCAMLOPT  pretyping/program.ml
- OCAMLOPT  engine/ftactic.ml
- OCAMLOPT  tactics/ind_tables.ml
- OCAMLOPT -a -o engine/engine.cmxa
- OCAMLOPT  pretyping/geninterp.ml
- OCAMLOPT  pretyping/pretype_errors.ml
- OCAMLOPT  pretyping/inductiveops.ml
- OCAMLOPT  pretyping/cbv.ml
- OCAMLOPT  pretyping/recordops.ml
- OCAMLOPT  tactics/cbn.ml
- OCAMLOPT  pretyping/ltac_pretype.ml
- OCAMLOPT  interp/stdarg.ml
- OCAMLOPT  printing/genprint.ml
- OCAMLOPT  pretyping/find_subterm.ml
- OCAMLOPT  pretyping/evardefine.ml
- OCAMLOPT  proofs/goal.ml
- OCAMLOPT  vernac/retrieveObl.ml
- OCAMLOPT  parsing/pcoq.ml
- File "parsing/pcoq.ml", line 22, characters 21-35:
- 22 |   let err () = raise Stream.Failure
-                           ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/pcoq.ml", line 24, characters 61-69:
- 24 |   type t = Gramlib.Plexing.location_function -> int -> Tok.t Stream.t -> int option
-                                                                   ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/pcoq.ml", line 33, characters 12-24:
- 33 |     let n = Stream.count strm in
-                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "parsing/pcoq.ml", line 202, characters 13-29:
- 202 |   let strm = Stream.of_string x in
-                    ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/canonical.ml
- OCAMLOPT  printing/pputils.ml
- OCAMLOPT  pretyping/arguments_renaming.ml
- OCAMLOPT  pretyping/nativenorm.ml
- OCAMLOPT  pretyping/glob_ops.ml
- OCAMLOPT  parsing/g_prim.ml
- OCAMLOPT  interp/impargs.ml
- OCAMLOPT  pretyping/retyping.ml
- OCAMLOPT  pretyping/evarsolve.ml
- OCAMLOPT  pretyping/vnorm.ml
- OCAMLOPT  pretyping/patternops.ml
- OCAMLOPT  pretyping/indrec.ml
- OCAMLOPT  pretyping/globEnv.ml
- OCAMLOPT  tactics/elimschemes.ml
- OCAMLOPT  tactics/eqschemes.ml
- OCAMLOPT  tactics/btermdn.ml
- OCAMLOPT  pretyping/constr_matching.ml
- OCAMLOPT  pretyping/detyping.ml
- OCAMLOPT  tactics/hipattern.ml
- OCAMLOPT  pretyping/evarconv.ml
- OCAMLOPT  interp/genintern.ml
- OCAMLOPT  interp/notation_ops.ml
- OCAMLOPT  tactics/genredexpr.ml
- OCAMLOPT  tactics/redops.ml
- OCAMLOPT  tactics/ppred.ml
- OCAMLOPT  pretyping/typing.ml
- OCAMLOPT  pretyping/tacred.ml
- OCAMLOPT  proofs/refine.ml
- OCAMLOPT  proofs/logic.ml
- OCAMLOPT  pretyping/coercionops.ml
- OCAMLOPT  tactics/redexpr.ml
- OCAMLOPT  pretyping/coercion.ml
- OCAMLOPT  proofs/tacmach.ml
- OCAMLOPT  tactics/tacticals.ml
- OCAMLOPT  interp/notation.ml
- OCAMLOPT  interp/reserve.ml
- OCAMLOPT  pretyping/cases.ml
- OCAMLOPT  interp/syntax_def.ml
- OCAMLOPT  parsing/notation_gram.ml
- OCAMLOPT  parsing/notgram_ops.ml
- OCAMLOPT  parsing/ppextend.ml
- OCAMLOPT  vernac/egramcoq.ml
- OCAMLOPT  interp/smartlocate.ml
- OCAMLOPT  interp/constrexpr_ops.ml
- File "interp/constrexpr_ops.ml", line 569, characters 24-36:
- 569 |         Loc.raise ?loc (Stream.Error "pattern with quote not allowed after fix")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  pretyping/pretyping.ml
- OCAMLOPT  parsing/g_constr.ml
- OCAMLOPT  interp/implicit_quantifiers.ml
- File "parsing/g_constr.mlg", line 46, characters 19-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  pretyping/unification.ml
- OCAMLOPT  interp/constrintern.ml
- OCAMLOPT  proofs/evar_refiner.ml
- OCAMLOPT  proofs/proof.ml
- File "interp/constrintern.ml", line 580, characters 22-34:
- 580 |       Loc.raise ?loc (Stream.Error "pattern with quote not allowed here")
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT -a -o parsing/parsing.cmxa
- OCAMLOPT  proofs/proof_bullet.ml
- OCAMLOPT -a -o pretyping/pretyping.cmxa
- OCAMLOPT  proofs/clenv.ml
- OCAMLOPT  interp/modintern.ml
- OCAMLOPT  interp/constrextern.ml
- OCAMLOPT  vernac/declareUniv.ml
- File "interp/constrextern.ml", line 198, characters 30-35:
- 198 | let toggle_notation_printing ?scope ~notation ~activate =
-                                     ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- OCAMLOPT  vernac/declaremods.ml
- OCAMLOPT  vernac/library.ml
- OCAMLOPT -a -o proofs/proofs.cmxa
- OCAMLOPT -a -o interp/interp.cmxa
- OCAMLOPT  printing/ppconstr.ml
- OCAMLOPT  printing/proof_diffs.ml
- File "printing/proof_diffs.ml", line 94, characters 12-23:
- 94 |     let e = Stream.next str in
-                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "printing/proof_diffs.ml", line 102, characters 15-31:
- 102 |     let istr = Stream.of_string s in
-                      ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "printing/proof_diffs.ml", line 218, characters 25-38:
- 218 | type 'a reified_goal = { name: string; ty: 'a; hyps: 'a hyp list; env : Environ.env; sigma: Evd.evar_map }
-                                ^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field name is never read.
- (However, this field is used to build or mutate values.)
- File "printing/proof_diffs.ml", line 218, characters 85-104:
- 218 | type 'a reified_goal = { name: string; ty: 'a; hyps: 'a hyp list; env : Environ.env; sigma: Evd.evar_map }
-                                                                                            ^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field sigma is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  printing/printer.ml
- OCAMLOPT -a -o printing/printing.cmxa
- OCAMLOPT  tactics/tactics.ml
- OCAMLOPT  tactics/hints.ml
- OCAMLOPT  vernac/himsg.ml
- OCAMLOPT  vernac/assumptions.ml
- File "vernac/himsg.ml", line 1394, characters 4-16:
- 1394 |   | Stream.Error txt -> hov 0 (str "Syntax error: " ++ str txt ++ str ".")
-            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/vernacexpr.ml
- OCAMLOPT  vernac/pvernac.ml
- OCAMLOPT  vernac/locality.ml
- OCAMLOPT  vernac/mltop.ml
- OCAMLOPT  vernac/vernacprop.ml
- OCAMLOPT  vernac/comArguments.ml
- OCAMLOPT  vernac/g_vernac.ml
- OCAMLOPT  vernac/egramml.ml
- OCAMLOPT  toplevel/g_toplevel.ml
- File "toplevel/g_toplevel.mlg", line 34, characters 19-33:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/ppvernac.ml
- OCAMLOPT  vernac/loadpath.ml
- OCAMLOPT  tactics/abstract.ml
- OCAMLOPT  tactics/elim.ml
- OCAMLOPT  tactics/equality.ml
- OCAMLOPT  tactics/contradiction.ml
- OCAMLOPT  tactics/auto.ml
- File "tactics/elim.ml", line 25, characters 2-19:
- 25 |   branchnum  : int;         (* the branch number *)
-        ^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field branchnum is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  vernac/metasyntax.ml
- OCAMLOPT  vernac/topfmt.ml
- OCAMLOPT  tactics/eauto.ml
- OCAMLOPT  toplevel/coqcargs.ml
- OCAMLOPT  tactics/inv.ml
- OCAMLOPT  tactics/eqdecide.ml
- OCAMLOPT  tactics/autorewrite.ml
- OCAMLOPT  tactics/class_tactics.ml
- File "tactics/class_tactics.ml", line 512, characters 6-29:
- 512 |       last_tac : Pp.t Lazy.t;
-             ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field last_tac is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  vernac/g_proofs.ml
- OCAMLOPT  vernac/proof_using.ml
- OCAMLOPT -a -o tactics/tactics.cmxa
- File "vernac/proof_using.ml", line 171, characters 94-110:
- 171 | let using_from_string us = Pcoq.Entry.parse G_vernac.section_subset_expr (Pcoq.Parsable.make (Stream.of_string us))
-                                                                                                     ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/declare.ml
- OCAMLOPT  vernac/vernacextend.ml
- OCAMLOPT  vernac/comHints.ml
- OCAMLOPT  vernac/recLemmas.ml
- OCAMLOPT  vernac/comCoercion.ml
- OCAMLOPT  vernac/auto_ind_decl.ml
- OCAMLOPT  vernac/comDefinition.ml
- OCAMLOPT  vernac/classes.ml
- OCAMLOPT  vernac/comFixpoint.ml
- OCAMLOPT  vernac/comPrimitive.ml
- OCAMLOPT  vernac/vernacstate.ml
- OCAMLOPT  vernac/printmod.ml
- File "vernac/comCoercion.ml", line 265, characters 28-41:
- 265 | let declare_coercion coef ?(local = false) ~isid ~src:cls ~target:clt ~params:ps =
-                                   ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- OCAMLOPT  vernac/comProgramFixpoint.ml
- OCAMLOPT  vernac/indschemes.ml
- OCAMLOPT  vernac/comAssumption.ml
- OCAMLOPT  vernac/declareInd.ml
- OCAMLOPT  vernac/search.ml
- OCAMLOPT  vernac/comInductive.ml
- OCAMLOPT  vernac/prettyp.ml
- File "vernac/comInductive.ml", line 365, characters 20-32:
- 365 |     Loc.raise ?loc (Stream.Error "pattern with quote not allowed here")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/record.ml
- File "vernac/record.ml", line 119, characters 20-32:
- 119 |     Loc.raise ?loc (Stream.Error "pattern with quote not allowed in record parameters")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  vernac/comSearch.ml
- OCAMLOPT  vernac/vernacentries.ml
- File "vernac/vernacentries.ml", line 58, characters 4-38:
- 58 |     deprecated : Deprecation.t option;
-          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field deprecated is never read.
- (However, this field is used to build or mutate values.)
- OCAMLOPT  vernac/comTactic.ml
- OCAMLOPT  vernac/vernacinterp.ml
- File "vernac/vernacinterp.ml", line 187, characters 66-83:
- 187 |     Pcoq.Parsable.make ~loc:(Loc.initial (Loc.InFile longfname)) (Stream.of_channel in_chan) in
-                                                                         ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  stm/partac.ml
- OCAMLOPT -a -o vernac/vernac.cmxa
- OCAMLOPT  stm/vernac_classifier.ml
- OCAMLOPT  stm/stm.ml
- File "stm/stm.ml", line 1736, characters 24-27:
- 1736 |   let build_proof ~doc ?loc ~drop_pt ~exn_info ~block_start ~block_stop ~name:pname =
-                                ^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "stm/stm.ml", line 210, characters 2-49:
- 210 |   mutable proof_mode : Pvernac.proof_mode option;
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field proof_mode is never mutated.
- OCAMLOPT  stm/proofBlockDelimiter.ml
- OCAMLOPT  stm/vio_checking.ml
- OCAMLOPT  toplevel/vernac.ml
- File "toplevel/vernac.ml", line 92, characters 7-24:
- 92 |       (Stream.of_channel in_chan) in
-             ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  toplevel/coqinit.ml
- OCAMLOPT -a -o stm/stm.cmxa
- OCAMLOPT  toplevel/coqargs.ml
- OCAMLOPT  toplevel/coqloop.ml
- OCAMLOPT  toplevel/ccompile.ml
- File "toplevel/coqloop.ml", line 79, characters 37-48:
- 79 |   ibuf.tokens <- Pcoq.Parsable.make (Stream.from (prompt_char doc ic ibuf));
-                                           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "toplevel/coqloop.ml", line 233, characters 33-47:
- 233 |     tokens = Pcoq.Parsable.make (Stream.of_list []);
-                                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "toplevel/coqloop.ml", line 245, characters 29-40:
- 245 |   let rec dot tok st = match Stream.next st with
-                                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- OCAMLOPT  toplevel/coqtop.ml
- OCAMLOPT  toplevel/workerLoop.ml
- OCAMLOPT  toplevel/coqc.ml
- OCAMLOPT -a -o toplevel/toplevel.cmxa
- COQMKTOP -o bin/coqidetop.opt
- File "ide/coqide/idetop.ml", line 94, characters 31-47:
- 94 |   let pa = Pcoq.Parsable.make (Stream.of_string s) in
-                                     ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "ide/coqide/idetop.ml", line 130, characters 31-47:
- 130 |   let pa = Pcoq.Parsable.make (Stream.of_string s) in
-                                      ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "ide/coqide/idetop.ml", line 136, characters 31-47:
- 136 |   let pa = Pcoq.Parsable.make (Stream.of_string phrase) in
-                                      ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "ide/coqide/idetop.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- rm -f bin/coqidetop && cp bin/coqidetop.opt bin/coqidetop
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
-> compiled  coqide.8.13.0
[coqide: make install-ide-bin]
+ /usr/bin/make "COQ_USE_DUNE=" "install-ide-bin" "install-ide-files" "install-ide-info" "install-ide-devfiles" (CWD=/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0)
- rm -f  
- /usr/bin/make --warn-undefined-variable --no-builtin-rules -f Makefile.build install-ide-bin install-ide-files install-ide-info install-ide-devfiles
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
- make[1]: Circular coqpp/coqpp_parse.cmi <- coqpp/coqpp_parse.cmo dependency dropped.
- install -d "/home/opam/.opam/default/bin"
- install bin/coqide "/home/opam/.opam/default/bin"
- install -d "/home/opam/.opam/default/share/coq"
- install -m 644 ide/coqide/coq.png ide/coqide/*.lang ide/coqide/coq_style.xml ide/coqide/default.bindings "/home/opam/.opam/default/share/coq"
- install -d "/home/opam/.opam/default/lib/coq/config"
- install -d "/home/opam/.opam/default/doc"
- install -m 644 ide/coqide/FAQ "/home/opam/.opam/default/doc"/FAQ-CoqIde
- install -d "/home/opam/.opam/default/lib/coq"
- ./install.sh "/home/opam/.opam/default/lib/coq" \
-   ide/coqide/minilib.cmi ide/coqide/configwin_messages.cmi ide/coqide/configwin_ihm.cmi ide/coqide/configwin.cmi ide/coqide/tags.cmi ide/coqide/wg_Notebook.cmi ide/coqide/config_lexer.cmi ide/coqide/utf8_convert.cmi ide/coqide/preferences.cmi ide/coqide/ideutils.cmi ide/coqide/unicode_bindings.cmi ide/coqide/coq.cmi ide/coqide/coq_lex.cmi ide/coqide/sentence.cmi ide/coqide/gtk_parsing.cmi ide/coqide/wg_Segment.cmi ide/coqide/wg_ProofView.cmi ide/coqide/wg_MessageView.cmi ide/coqide/wg_RoutedMessageViews.cmi ide/coqide/wg_Detachable.cmi ide/coqide/wg_Find.cmi ide/coqide/wg_Completion.cmi ide/coqide/wg_ScriptView.cmi ide/coqide/coq_commands.cmi ide/coqide/fileOps.cmi ide/coqide/document.cmi ide/coqide/coqOps.cmi ide/coqide/wg_Command.cmi ide/coqide/session.cmi ide/coqide/coqide_ui.cmi ide/coqide/microPG.cmi ide/coqide/coqide.cmi
- ./install.sh "/home/opam/.opam/default/lib/coq" ide/coqide/ide.cmxa ide/coqide/ide.a
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coqide.8.13.0'
- make: 'install-ide-files' is up to date.
- make: 'install-ide-info' is up to date.
- make: 'install-ide-devfiles' is up to date.
-> installed coqide.8.13.0
[WARNING] Opam packages conf-adwaita-icon-theme.2, conf-cairo.1, conf-gmp.5, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: adwaita-icon-theme libcairo2-dev libexpat1-dev libgmp-dev libgtk-3-dev libgtksourceview-3.0-dev
  - conf-adwaita-icon-theme.2: depends on adwaita-icon-theme
  - conf-cairo.1: depends on libcairo2-dev
  - conf-gmp.5: depends on libgmp-dev
  - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev
  - conf-gtksourceview3.0+2: depends on libgtksourceview-3.0-dev

=== STDERR ===

2026-09-03 23:43.41: OK: build coqide.8.13.0 (runc: 106.3s, disk: 118KB)
2026-09-03 23:43.41: Job succeeded