2026-09-03 22:05.27: New job: build lablgtk3-sourceview3.3.1.2 (74f0dc8eeb7c)
2026-09-03 22:05.27: Waiting for resource in pool day11-builds
2026-09-03 22:53.36: Got resource from pool day11-builds
2026-09-03 22:53.36: [profile full] build lablgtk3-sourceview3.3.1.2
2026-09-03 22:53.36: build lablgtk3-sourceview3.3.1.2 (74f0dc8eeb7c)
=== DEPENDENCIES (15 transitive) ===
  base-bigarray.base                                 31ac6860ef52
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  cairo2.0.6.5                                       7b1b6da16db9
  conf-cairo.1                                       9e32499642c2
  conf-gtk3.18                                       29bc2ce5fb33
  conf-gtksourceview3.0+2                            89f7273ce96d
  conf-pkg-config.5                                  74f50f3cfe72
  csexp.1.5.2                                        3520bcf70246
  dune.3.23.1                                        b3dc676669f4
  dune-configurator.3.23.1                           6e9ee12329f0
  lablgtk3.3.1.2                                     6c2bc55e6c4a
  ocaml.4.14.4                                       c7d6265b51fe
  ocaml-base-compiler.4.14.4                         7a409b6ffbef
  ocaml-config.2                                     85edea6ac168
=== STDOUT ===
Processing: [default: loading data]
[lablgtk3-sourceview3.3.1.2: extract]
-> retrieved lablgtk3-sourceview3.3.1.2  (cached)
[lablgtk3-sourceview3: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lablgtk3-sourceview3" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/lablgtk3-sourceview3.3.1.2)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I tools/.varcc.eobjs/byte -no-alias-deps -o tools/.varcc.eobjs/byte/varcc.cmo -c -impl tools/varcc.ml)
- File "tools/varcc.ml", line 32, characters 5-11:
- 32 | open Genlex
-           ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 36, characters 27-35:
- 36 | let may_string (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 37, characters 8-19:
- 37 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 38, characters 23-34:
- 38 |     Some (String s) -> Stream.junk strm__; s
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 41, characters 24-32:
- 41 | let may_bar (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 42, characters 8-19:
- 42 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 43, characters 22-33:
- 43 |     Some (Kwd "|") -> Stream.junk strm__; ()
-                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 46, characters 31-39:
- 46 | let rec ident_list (strm__ : _ Stream.t) =
-                                     ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 47, characters 8-19:
- 47 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 49, characters 6-17:
- 49 |       Stream.junk strm__;
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 50, characters 18-29:
- 50 |       begin match Stream.peek strm__ with
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 52, characters 10-21:
- 52 |           Stream.junk strm__;
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 55, characters 14-28:
- 55 |               Stream.Failure -> raise (Stream.Error "")
-                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 55, characters 39-51:
- 55 |               Stream.Failure -> raise (Stream.Error "")
-                                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 58, characters 36-50:
- 58 |             try may_bar strm__ with Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 58, characters 61-73:
- 58 |             try may_bar strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 61, characters 20-32:
- 61 |       | _ -> raise (Stream.Error "")
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 67, characters 39-47:
- 67 | let rec star ?(acc = []) p (strm__ : _ Stream.t) =
-                                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 68, characters 33-47:
- 68 |   match try Some (p strm__) with Stream.Failure -> None with
-                                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 72, characters 21-29:
- 72 | let flag (strm__ : _ Stream.t) =
-                           ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 73, characters 8-19:
- 73 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 75, characters 6-17:
- 75 |       Stream.junk strm__; s
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 76, characters 15-29:
- 76 |   | _ -> raise Stream.Failure
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 78, characters 24-32:
- 78 | let protect (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 79, characters 8-19:
- 79 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 81, characters 6-17:
- 81 |       Stream.junk strm__;
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 82, characters 18-29:
- 82 |       begin match Stream.peek strm__ with
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 83, characters 26-37:
- 83 |         Some (Ident m) -> Stream.junk strm__; Some m
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 84, characters 20-32:
- 84 |       | _ -> raise (Stream.Error "")
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 101, characters 36-44:
- 101 | let declaration ~hc ~cc (strm__ : _ Stream.t) =
-                                           ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 102, characters 8-19:
- 102 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 104, characters 6-17:
- 104 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 106, characters 34-48:
- 106 |         try star flag strm__ with Stream.Failure -> raise (Stream.Error "")
-                                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 106, characters 59-71:
- 106 |         try star flag strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 109, characters 32-46:
- 109 |         try protect strm__ with Stream.Failure -> raise (Stream.Error "")
-                                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 109, characters 57-69:
- 109 |         try protect strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 111, characters 18-29:
- 111 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 113, characters 10-21:
- 113 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 116, characters 14-28:
- 116 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 116, characters 39-51:
- 116 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 118, characters 22-33:
- 118 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 120, characters 14-25:
- 120 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 123, characters 18-32:
- 123 |                   Stream.Failure -> raise (Stream.Error "")
-                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 123, characters 43-55:
- 123 |                   Stream.Failure -> raise (Stream.Error "")
-                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 125, characters 26-37:
- 125 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 127, characters 18-29:
- 127 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 130, characters 22-36:
- 130 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 130, characters 47-59:
- 130 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 134, characters 22-36:
- 134 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 134, characters 47-59:
- 134 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 136, characters 30-41:
- 136 |                   begin match Stream.peek strm__ with
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 138, characters 22-33:
- 138 |                       Stream.junk strm__;
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 141, characters 26-40:
- 141 |                           Stream.Failure -> raise (Stream.Error "")
-                                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 141, characters 51-63:
- 141 |                           Stream.Failure -> raise (Stream.Error "")
-                                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 228, characters 32-44:
- 228 |                   | _ -> raise (Stream.Error "")
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 230, characters 28-40:
- 230 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 232, characters 24-36:
- 232 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 234, characters 20-32:
- 234 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 237, characters 6-17:
- 237 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 238, characters 18-29:
- 238 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 239, characters 27-38:
- 239 |         Some (String s) -> Stream.junk strm__; package := s
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 240, characters 20-32:
- 240 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 243, characters 6-17:
- 243 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 244, characters 18-29:
- 244 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 245, characters 27-38:
- 245 |         Some (String s) -> Stream.junk strm__; pkgprefix := s
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 246, characters 20-32:
- 246 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 253, characters 14-31:
- 253 |   let chars = Stream.of_channel ic in
-                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 312, characters 4-16:
- 312 |   | Stream.Error err ->
-           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 315, characters 16-28:
- 315 |            err (Stream.count chars))
-                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I tools/.varcc.eobjs/byte -no-alias-deps -o tools/.varcc.eobjs/byte/propcc.cmo -c -impl tools/propcc.ml)
- File "tools/propcc.ml", line 138, characters 5-11:
- 138 | open Genlex
-            ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 143, characters 39-47:
- 143 | let rec star ?(acc = []) p (strm__ : _ Stream.t) =
-                                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 144, characters 33-47:
- 144 |   match try Some (p strm__) with Stream.Failure -> None with
-                                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 148, characters 25-36:
- 148 | let may_token tok s = if Stream.peek s = Some tok then Stream.junk s
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 148, characters 55-66:
- 148 | let may_token tok s = if Stream.peek s = Some tok then Stream.junk s
-                                                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 150, characters 22-30:
- 150 | let ident (strm__ : _ Stream.t) =
-                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 151, characters 8-19:
- 151 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 152, characters 23-34:
- 152 |     Some (Ident id) -> Stream.junk strm__; id
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 153, characters 15-29:
- 153 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 155, characters 23-31:
- 155 | let string (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 156, characters 8-19:
- 156 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 157, characters 23-34:
- 157 |     Some (String s) -> Stream.junk strm__; s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 158, characters 15-29:
- 158 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 160, characters 32-40:
- 160 | let may_colon p def (strm__ : _ Stream.t) =
-                                       ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 161, characters 8-19:
- 161 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 162, characters 22-33:
- 162 |     Some (Kwd ":") -> Stream.junk strm__; p strm__
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 165, characters 31-39:
- 165 | let may_string def (strm__ : _ Stream.t) =
-                                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 166, characters 8-19:
- 166 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 167, characters 23-34:
- 167 |     Some (String s) -> Stream.junk strm__; s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 170, characters 27-35:
- 170 | let may_name s (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 171, characters 8-19:
- 171 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 173, characters 6-17:
- 173 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 174, characters 18-29:
- 174 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 176, characters 10-21:
- 176 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 177, characters 22-33:
- 177 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 178, characters 30-41:
- 178 |             Some (Kwd ")") -> Stream.junk strm__; id
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 179, characters 24-36:
- 179 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 181, characters 20-32:
- 181 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 185, characters 26-34:
- 185 | let next_attr (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 186, characters 8-19:
- 186 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 188, characters 6-17:
- 188 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 189, characters 18-29:
- 189 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 191, characters 10-21:
- 191 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 194, characters 14-28:
- 194 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 194, characters 39-51:
- 194 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 197, characters 20-32:
- 197 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 199, characters 15-29:
- 199 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 205, characters 31-39:
- 205 | let label_type2 id (strm__ : _ Stream.t) =
-                                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 206, characters 8-19:
- 206 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 208, characters 6-17:
- 208 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 209, characters 18-29:
- 209 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 210, characters 27-38:
- 210 |         Some (Ident ty) -> Stream.junk strm__; id, ty
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 211, characters 20-32:
- 211 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 214, characters 27-35:
- 214 | let label_type (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 215, characters 8-19:
- 215 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 217, characters 6-17:
- 217 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 219, characters 8-22:
- 219 |         Stream.Failure -> raise (Stream.Error "")
-               ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 219, characters 33-45:
- 219 |         Stream.Failure -> raise (Stream.Error "")
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 221, characters 15-29:
- 221 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 227, characters 39-47:
- 227 | let return_type (l, types) (strm__ : _ Stream.t) =
-                                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 228, characters 8-19:
- 228 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 230, characters 6-17:
- 230 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 231, characters 18-29:
- 231 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 232, characters 28-39:
- 232 |         Some (Ident ret) -> Stream.junk strm__; Types (l, types, ret)
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 233, characters 20-32:
- 233 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 237, characters 27-35:
- 237 | let marshaller (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 238, characters 8-19:
- 238 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 239, characters 23-34:
- 239 |     Some (String s) -> Stream.junk strm__; Function s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 241, characters 6-17:
- 241 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 244, characters 10-24:
- 244 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 244, characters 35-47:
- 244 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 249, characters 28-36:
- 249 | let simple_attr (strm__ : _ Stream.t) =
-                                   ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 250, characters 8-19:
- 250 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 252, characters 6-17:
- 252 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 253, characters 18-29:
- 253 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 254, characters 26-37:
- 254 |         Some (Ident s) -> Stream.junk strm__; s
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 255, characters 20-32:
- 255 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 257, characters 15-29:
- 257 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 259, characters 22-30:
- 259 | let field (strm__ : _ Stream.t) =
-                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 260, characters 8-19:
- 260 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 262, characters 6-17:
- 262 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 265, characters 10-24:
- 265 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 265, characters 35-47:
- 265 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 267, characters 18-29:
- 267 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 269, characters 10-21:
- 269 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 270, characters 22-33:
- 270 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 272, characters 14-25:
- 272 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 273, characters 26-37:
- 273 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 275, characters 18-29:
- 275 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 278, characters 22-36:
- 278 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 278, characters 47-59:
- 278 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 282, characters 27-39:
- 282 |                     raise (Stream.Error "bad attribute");
-                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 284, characters 28-40:
- 284 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 286, characters 24-36:
- 286 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 288, characters 20-32:
- 288 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 291, characters 6-17:
- 291 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 292, characters 18-29:
- 292 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 294, characters 10-21:
- 294 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 297, characters 14-28:
- 297 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 297, characters 39-51:
- 297 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 301, characters 14-28:
- 301 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 301, characters 39-51:
- 301 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 304, characters 19-31:
- 304 |             raise (Stream.Error "bad attribute");
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 306, characters 20-32:
- 306 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 309, characters 6-17:
- 309 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 310, characters 18-29:
- 310 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 312, characters 10-21:
- 312 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 315, characters 14-28:
- 315 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 315, characters 39-51:
- 315 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 319, characters 14-28:
- 319 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 319, characters 39-51:
- 319 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 322, characters 19-31:
- 322 |             raise (Stream.Error "bad attribute");
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 324, characters 20-32:
- 324 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 326, characters 15-29:
- 326 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 338, characters 33-41:
- 338 | let rec verbatim buf (strm__ : _ Stream.t) =
-                                        ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 339, characters 8-19:
- 339 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 341, characters 6-17:
- 341 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 346, characters 6-17:
- 346 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 350, characters 6-17:
- 350 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 351, characters 18-29:
- 351 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 353, characters 10-21:
- 353 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 358, characters 20-32:
- 358 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 361, characters 6-17:
- 361 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 363, characters 15-29:
- 363 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 365, characters 26-34:
- 365 | let read_pair (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 366, characters 8-19:
- 366 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 368, characters 6-17:
- 368 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 371, characters 10-24:
- 371 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 371, characters 35-47:
- 371 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 374, characters 15-29:
- 374 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 376, characters 26-34:
- 376 | let qualifier (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 377, characters 8-19:
- 377 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 379, characters 6-17:
- 379 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 382, characters 10-24:
- 382 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 382, characters 35-47:
- 382 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 385, characters 15-29:
- 385 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 398, characters 38-46:
- 398 | let process_phrase ~chars (strm__ : _ Stream.t) =
-                                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 399, characters 8-19:
- 399 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 401, characters 6-17:
- 401 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 402, characters 18-29:
- 402 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 404, characters 10-21:
- 404 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 407, characters 14-28:
- 407 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 407, characters 39-51:
- 407 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 411, characters 14-28:
- 411 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 411, characters 39-51:
- 411 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 415, characters 14-28:
- 415 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 415, characters 39-51:
- 415 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 417, characters 22-33:
- 417 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 419, characters 14-25:
- 419 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 422, characters 18-32:
- 422 |                   Stream.Failure -> raise (Stream.Error "")
-                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 422, characters 43-55:
- 422 |                   Stream.Failure -> raise (Stream.Error "")
-                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 424, characters 26-37:
- 424 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 426, characters 18-29:
- 426 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 430, characters 27-39:
- 430 |                     raise (Stream.Error "bad qualifier");
-                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 439, characters 28-40:
- 439 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 441, characters 24-36:
- 441 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 443, characters 20-32:
- 443 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 446, characters 6-17:
- 446 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 447, characters 18-29:
- 447 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 449, characters 10-21:
- 449 |           Stream.junk strm__; initializers := !initializers @ [func]
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 450, characters 20-32:
- 450 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 453, characters 6-17:
- 453 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 454, characters 18-29:
- 454 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 456, characters 10-21:
- 456 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 459, characters 20-32:
- 459 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 462, characters 6-17:
- 462 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 463, characters 18-29:
- 463 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 465, characters 10-21:
- 465 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 468, characters 20-32:
- 468 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 471, characters 6-17:
- 471 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 472, characters 18-29:
- 472 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 473, characters 28-39:
- 473 |         Some (String id) -> Stream.junk strm__; prefix := id
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 474, characters 20-32:
- 474 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 477, characters 6-17:
- 477 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 478, characters 18-29:
- 478 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 479, characters 28-39:
- 479 |         Some (String id) -> Stream.junk strm__; tagprefix := id
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 480, characters 20-32:
- 480 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 483, characters 6-17:
- 483 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 486, characters 10-24:
- 486 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 486, characters 35-47:
- 486 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 490, characters 10-24:
- 490 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 490, characters 35-47:
- 490 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 492, characters 18-29:
- 492 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 494, characters 10-21:
- 494 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 497, characters 14-28:
- 497 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 497, characters 39-51:
- 497 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 499, characters 22-33:
- 499 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 501, characters 14-25:
- 501 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 506, characters 24-36:
- 506 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 508, characters 20-32:
- 508 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 511, characters 6-17:
- 511 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 512, characters 18-29:
- 512 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 514, characters 10-21:
- 514 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 517, characters 14-28:
- 517 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 517, characters 39-51:
- 517 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 519, characters 22-33:
- 519 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 521, characters 14-25:
- 521 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 523, characters 24-36:
- 523 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 525, characters 20-32:
- 525 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 528, characters 6-17:
- 528 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 529, characters 18-29:
- 529 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 531, characters 10-21:
- 531 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 534, characters 14-28:
- 534 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 534, characters 39-51:
- 534 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 536, characters 22-33:
- 536 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 538, characters 14-25:
- 538 |               Stream.junk strm__; List.iter l ~f:(fun (k, d) -> add_boxed k d)
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 539, characters 24-36:
- 539 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 541, characters 20-32:
- 541 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 543, characters 14-25:
- 543 |   | Some _ -> Stream.junk strm__; raise (Stream.Error "")
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 543, characters 41-53:
- 543 |   | Some _ -> Stream.junk strm__; raise (Stream.Error "")
-                                                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 562, characters 14-31:
- 562 |   let chars = Stream.of_channel ic in
-                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 566, characters 4-16:
- 566 |   | Stream.Error _ | Stream.Failure ->
-           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 566, characters 21-35:
- 566 |   | Stream.Error _ | Stream.Failure ->
-                            ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 568, characters 9-21:
- 568 |         (Stream.count chars);
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 572, characters 36-48:
- 572 |         (Printexc.to_string exn) f (Stream.count chars);
-                                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I tools/.varcc.eobjs/byte -I tools/.varcc.eobjs/native -intf-suffix .ml -no-alias-deps -o tools/.varcc.eobjs/native/varcc.cmx -c -impl tools/varcc.ml)
- File "tools/varcc.ml", line 32, characters 5-11:
- 32 | open Genlex
-           ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 36, characters 27-35:
- 36 | let may_string (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 37, characters 8-19:
- 37 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 38, characters 23-34:
- 38 |     Some (String s) -> Stream.junk strm__; s
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 41, characters 24-32:
- 41 | let may_bar (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 42, characters 8-19:
- 42 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 43, characters 22-33:
- 43 |     Some (Kwd "|") -> Stream.junk strm__; ()
-                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 46, characters 31-39:
- 46 | let rec ident_list (strm__ : _ Stream.t) =
-                                     ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 47, characters 8-19:
- 47 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 49, characters 6-17:
- 49 |       Stream.junk strm__;
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 50, characters 18-29:
- 50 |       begin match Stream.peek strm__ with
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 52, characters 10-21:
- 52 |           Stream.junk strm__;
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 55, characters 14-28:
- 55 |               Stream.Failure -> raise (Stream.Error "")
-                    ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 55, characters 39-51:
- 55 |               Stream.Failure -> raise (Stream.Error "")
-                                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 58, characters 36-50:
- 58 |             try may_bar strm__ with Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 58, characters 61-73:
- 58 |             try may_bar strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 61, characters 20-32:
- 61 |       | _ -> raise (Stream.Error "")
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 67, characters 39-47:
- 67 | let rec star ?(acc = []) p (strm__ : _ Stream.t) =
-                                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 68, characters 33-47:
- 68 |   match try Some (p strm__) with Stream.Failure -> None with
-                                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 72, characters 21-29:
- 72 | let flag (strm__ : _ Stream.t) =
-                           ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 73, characters 8-19:
- 73 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 75, characters 6-17:
- 75 |       Stream.junk strm__; s
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 76, characters 15-29:
- 76 |   | _ -> raise Stream.Failure
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 78, characters 24-32:
- 78 | let protect (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 79, characters 8-19:
- 79 |   match Stream.peek strm__ with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 81, characters 6-17:
- 81 |       Stream.junk strm__;
-            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 82, characters 18-29:
- 82 |       begin match Stream.peek strm__ with
-                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 83, characters 26-37:
- 83 |         Some (Ident m) -> Stream.junk strm__; Some m
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 84, characters 20-32:
- 84 |       | _ -> raise (Stream.Error "")
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 101, characters 36-44:
- 101 | let declaration ~hc ~cc (strm__ : _ Stream.t) =
-                                           ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 102, characters 8-19:
- 102 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 104, characters 6-17:
- 104 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 106, characters 34-48:
- 106 |         try star flag strm__ with Stream.Failure -> raise (Stream.Error "")
-                                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 106, characters 59-71:
- 106 |         try star flag strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 109, characters 32-46:
- 109 |         try protect strm__ with Stream.Failure -> raise (Stream.Error "")
-                                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 109, characters 57-69:
- 109 |         try protect strm__ with Stream.Failure -> raise (Stream.Error "")
-                                                                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 111, characters 18-29:
- 111 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 113, characters 10-21:
- 113 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 116, characters 14-28:
- 116 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 116, characters 39-51:
- 116 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 118, characters 22-33:
- 118 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 120, characters 14-25:
- 120 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 123, characters 18-32:
- 123 |                   Stream.Failure -> raise (Stream.Error "")
-                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 123, characters 43-55:
- 123 |                   Stream.Failure -> raise (Stream.Error "")
-                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 125, characters 26-37:
- 125 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 127, characters 18-29:
- 127 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 130, characters 22-36:
- 130 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 130, characters 47-59:
- 130 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 134, characters 22-36:
- 134 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 134, characters 47-59:
- 134 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 136, characters 30-41:
- 136 |                   begin match Stream.peek strm__ with
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 138, characters 22-33:
- 138 |                       Stream.junk strm__;
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 141, characters 26-40:
- 141 |                           Stream.Failure -> raise (Stream.Error "")
-                                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 141, characters 51-63:
- 141 |                           Stream.Failure -> raise (Stream.Error "")
-                                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 228, characters 32-44:
- 228 |                   | _ -> raise (Stream.Error "")
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 230, characters 28-40:
- 230 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 232, characters 24-36:
- 232 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 234, characters 20-32:
- 234 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 237, characters 6-17:
- 237 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 238, characters 18-29:
- 238 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 239, characters 27-38:
- 239 |         Some (String s) -> Stream.junk strm__; package := s
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 240, characters 20-32:
- 240 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 243, characters 6-17:
- 243 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 244, characters 18-29:
- 244 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 245, characters 27-38:
- 245 |         Some (String s) -> Stream.junk strm__; pkgprefix := s
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 246, characters 20-32:
- 246 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 253, characters 14-31:
- 253 |   let chars = Stream.of_channel ic in
-                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 312, characters 4-16:
- 312 |   | Stream.Error err ->
-           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/varcc.ml", line 315, characters 16-28:
- 315 |            err (Stream.count chars))
-                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I tools/.varcc.eobjs/byte -I tools/.varcc.eobjs/native -intf-suffix .ml -no-alias-deps -o tools/.varcc.eobjs/native/propcc.cmx -c -impl tools/propcc.ml)
- File "tools/propcc.ml", line 138, characters 5-11:
- 138 | open Genlex
-            ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 143, characters 39-47:
- 143 | let rec star ?(acc = []) p (strm__ : _ Stream.t) =
-                                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 144, characters 33-47:
- 144 |   match try Some (p strm__) with Stream.Failure -> None with
-                                        ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 148, characters 25-36:
- 148 | let may_token tok s = if Stream.peek s = Some tok then Stream.junk s
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 148, characters 55-66:
- 148 | let may_token tok s = if Stream.peek s = Some tok then Stream.junk s
-                                                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 150, characters 22-30:
- 150 | let ident (strm__ : _ Stream.t) =
-                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 151, characters 8-19:
- 151 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 152, characters 23-34:
- 152 |     Some (Ident id) -> Stream.junk strm__; id
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 153, characters 15-29:
- 153 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 155, characters 23-31:
- 155 | let string (strm__ : _ Stream.t) =
-                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 156, characters 8-19:
- 156 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 157, characters 23-34:
- 157 |     Some (String s) -> Stream.junk strm__; s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 158, characters 15-29:
- 158 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 160, characters 32-40:
- 160 | let may_colon p def (strm__ : _ Stream.t) =
-                                       ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 161, characters 8-19:
- 161 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 162, characters 22-33:
- 162 |     Some (Kwd ":") -> Stream.junk strm__; p strm__
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 165, characters 31-39:
- 165 | let may_string def (strm__ : _ Stream.t) =
-                                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 166, characters 8-19:
- 166 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 167, characters 23-34:
- 167 |     Some (String s) -> Stream.junk strm__; s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 170, characters 27-35:
- 170 | let may_name s (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 171, characters 8-19:
- 171 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 173, characters 6-17:
- 173 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 174, characters 18-29:
- 174 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 176, characters 10-21:
- 176 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 177, characters 22-33:
- 177 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 178, characters 30-41:
- 178 |             Some (Kwd ")") -> Stream.junk strm__; id
-                                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 179, characters 24-36:
- 179 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 181, characters 20-32:
- 181 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 185, characters 26-34:
- 185 | let next_attr (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 186, characters 8-19:
- 186 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 188, characters 6-17:
- 188 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 189, characters 18-29:
- 189 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 191, characters 10-21:
- 191 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 194, characters 14-28:
- 194 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 194, characters 39-51:
- 194 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 197, characters 20-32:
- 197 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 199, characters 15-29:
- 199 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 205, characters 31-39:
- 205 | let label_type2 id (strm__ : _ Stream.t) =
-                                      ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 206, characters 8-19:
- 206 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 208, characters 6-17:
- 208 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 209, characters 18-29:
- 209 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 210, characters 27-38:
- 210 |         Some (Ident ty) -> Stream.junk strm__; id, ty
-                                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 211, characters 20-32:
- 211 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 214, characters 27-35:
- 214 | let label_type (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 215, characters 8-19:
- 215 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 217, characters 6-17:
- 217 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 219, characters 8-22:
- 219 |         Stream.Failure -> raise (Stream.Error "")
-               ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 219, characters 33-45:
- 219 |         Stream.Failure -> raise (Stream.Error "")
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 221, characters 15-29:
- 221 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 227, characters 39-47:
- 227 | let return_type (l, types) (strm__ : _ Stream.t) =
-                                              ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 228, characters 8-19:
- 228 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 230, characters 6-17:
- 230 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 231, characters 18-29:
- 231 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 232, characters 28-39:
- 232 |         Some (Ident ret) -> Stream.junk strm__; Types (l, types, ret)
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 233, characters 20-32:
- 233 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 237, characters 27-35:
- 237 | let marshaller (strm__ : _ Stream.t) =
-                                  ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 238, characters 8-19:
- 238 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 239, characters 23-34:
- 239 |     Some (String s) -> Stream.junk strm__; Function s
-                              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 241, characters 6-17:
- 241 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 244, characters 10-24:
- 244 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 244, characters 35-47:
- 244 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 249, characters 28-36:
- 249 | let simple_attr (strm__ : _ Stream.t) =
-                                   ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 250, characters 8-19:
- 250 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 252, characters 6-17:
- 252 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 253, characters 18-29:
- 253 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 254, characters 26-37:
- 254 |         Some (Ident s) -> Stream.junk strm__; s
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 255, characters 20-32:
- 255 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 257, characters 15-29:
- 257 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 259, characters 22-30:
- 259 | let field (strm__ : _ Stream.t) =
-                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 260, characters 8-19:
- 260 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 262, characters 6-17:
- 262 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 265, characters 10-24:
- 265 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 265, characters 35-47:
- 265 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 267, characters 18-29:
- 267 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 269, characters 10-21:
- 269 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 270, characters 22-33:
- 270 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 272, characters 14-25:
- 272 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 273, characters 26-37:
- 273 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 275, characters 18-29:
- 275 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 278, characters 22-36:
- 278 |                       Stream.Failure -> raise (Stream.Error "")
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 278, characters 47-59:
- 278 |                       Stream.Failure -> raise (Stream.Error "")
-                                                      ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 282, characters 27-39:
- 282 |                     raise (Stream.Error "bad attribute");
-                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 284, characters 28-40:
- 284 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 286, characters 24-36:
- 286 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 288, characters 20-32:
- 288 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 291, characters 6-17:
- 291 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 292, characters 18-29:
- 292 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 294, characters 10-21:
- 294 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 297, characters 14-28:
- 297 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 297, characters 39-51:
- 297 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 301, characters 14-28:
- 301 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 301, characters 39-51:
- 301 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 304, characters 19-31:
- 304 |             raise (Stream.Error "bad attribute");
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 306, characters 20-32:
- 306 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 309, characters 6-17:
- 309 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 310, characters 18-29:
- 310 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 312, characters 10-21:
- 312 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 315, characters 14-28:
- 315 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 315, characters 39-51:
- 315 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 319, characters 14-28:
- 319 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 319, characters 39-51:
- 319 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 322, characters 19-31:
- 322 |             raise (Stream.Error "bad attribute");
-                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 324, characters 20-32:
- 324 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 326, characters 15-29:
- 326 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 338, characters 33-41:
- 338 | let rec verbatim buf (strm__ : _ Stream.t) =
-                                        ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 339, characters 8-19:
- 339 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 341, characters 6-17:
- 341 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 346, characters 6-17:
- 346 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 350, characters 6-17:
- 350 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 351, characters 18-29:
- 351 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 353, characters 10-21:
- 353 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 358, characters 20-32:
- 358 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 361, characters 6-17:
- 361 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 363, characters 15-29:
- 363 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 365, characters 26-34:
- 365 | let read_pair (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 366, characters 8-19:
- 366 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 368, characters 6-17:
- 368 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 371, characters 10-24:
- 371 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 371, characters 35-47:
- 371 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 374, characters 15-29:
- 374 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 376, characters 26-34:
- 376 | let qualifier (strm__ : _ Stream.t) =
-                                 ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 377, characters 8-19:
- 377 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 379, characters 6-17:
- 379 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 382, characters 10-24:
- 382 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 382, characters 35-47:
- 382 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 385, characters 15-29:
- 385 |   | _ -> raise Stream.Failure
-                      ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 398, characters 38-46:
- 398 | let process_phrase ~chars (strm__ : _ Stream.t) =
-                                             ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 399, characters 8-19:
- 399 |   match Stream.peek strm__ with
-               ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 401, characters 6-17:
- 401 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 402, characters 18-29:
- 402 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 404, characters 10-21:
- 404 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 407, characters 14-28:
- 407 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 407, characters 39-51:
- 407 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 411, characters 14-28:
- 411 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 411, characters 39-51:
- 411 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 415, characters 14-28:
- 415 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 415, characters 39-51:
- 415 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 417, characters 22-33:
- 417 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 419, characters 14-25:
- 419 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 422, characters 18-32:
- 422 |                   Stream.Failure -> raise (Stream.Error "")
-                         ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 422, characters 43-55:
- 422 |                   Stream.Failure -> raise (Stream.Error "")
-                                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 424, characters 26-37:
- 424 |               begin match Stream.peek strm__ with
-                                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 426, characters 18-29:
- 426 |                   Stream.junk strm__;
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 430, characters 27-39:
- 430 |                     raise (Stream.Error "bad qualifier");
-                                  ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 439, characters 28-40:
- 439 |               | _ -> raise (Stream.Error "")
-                                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 441, characters 24-36:
- 441 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 443, characters 20-32:
- 443 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 446, characters 6-17:
- 446 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 447, characters 18-29:
- 447 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 449, characters 10-21:
- 449 |           Stream.junk strm__; initializers := !initializers @ [func]
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 450, characters 20-32:
- 450 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 453, characters 6-17:
- 453 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 454, characters 18-29:
- 454 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 456, characters 10-21:
- 456 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 459, characters 20-32:
- 459 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 462, characters 6-17:
- 462 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 463, characters 18-29:
- 463 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 465, characters 10-21:
- 465 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 468, characters 20-32:
- 468 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 471, characters 6-17:
- 471 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 472, characters 18-29:
- 472 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 473, characters 28-39:
- 473 |         Some (String id) -> Stream.junk strm__; prefix := id
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 474, characters 20-32:
- 474 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 477, characters 6-17:
- 477 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 478, characters 18-29:
- 478 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 479, characters 28-39:
- 479 |         Some (String id) -> Stream.junk strm__; tagprefix := id
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 480, characters 20-32:
- 480 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 483, characters 6-17:
- 483 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 486, characters 10-24:
- 486 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 486, characters 35-47:
- 486 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 490, characters 10-24:
- 490 |           Stream.Failure -> raise (Stream.Error "")
-                 ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 490, characters 35-47:
- 490 |           Stream.Failure -> raise (Stream.Error "")
-                                          ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 492, characters 18-29:
- 492 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 494, characters 10-21:
- 494 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 497, characters 14-28:
- 497 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 497, characters 39-51:
- 497 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 499, characters 22-33:
- 499 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 501, characters 14-25:
- 501 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 506, characters 24-36:
- 506 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 508, characters 20-32:
- 508 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 511, characters 6-17:
- 511 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 512, characters 18-29:
- 512 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 514, characters 10-21:
- 514 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 517, characters 14-28:
- 517 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 517, characters 39-51:
- 517 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 519, characters 22-33:
- 519 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 521, characters 14-25:
- 521 |               Stream.junk strm__;
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 523, characters 24-36:
- 523 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 525, characters 20-32:
- 525 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 528, characters 6-17:
- 528 |       Stream.junk strm__;
-             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 529, characters 18-29:
- 529 |       begin match Stream.peek strm__ with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 531, characters 10-21:
- 531 |           Stream.junk strm__;
-                 ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 534, characters 14-28:
- 534 |               Stream.Failure -> raise (Stream.Error "")
-                     ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 534, characters 39-51:
- 534 |               Stream.Failure -> raise (Stream.Error "")
-                                              ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 536, characters 22-33:
- 536 |           begin match Stream.peek strm__ with
-                             ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 538, characters 14-25:
- 538 |               Stream.junk strm__; List.iter l ~f:(fun (k, d) -> add_boxed k d)
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 539, characters 24-36:
- 539 |           | _ -> raise (Stream.Error "")
-                               ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 541, characters 20-32:
- 541 |       | _ -> raise (Stream.Error "")
-                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 543, characters 14-25:
- 543 |   | Some _ -> Stream.junk strm__; raise (Stream.Error "")
-                     ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 543, characters 41-53:
- 543 |   | Some _ -> Stream.junk strm__; raise (Stream.Error "")
-                                                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 562, characters 14-31:
- 562 |   let chars = Stream.of_channel ic in
-                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 566, characters 4-16:
- 566 |   | Stream.Error _ | Stream.Failure ->
-           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 566, characters 21-35:
- 566 |   | Stream.Error _ | Stream.Failure ->
-                            ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 568, characters 9-21:
- 568 |         (Stream.count chars);
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "tools/propcc.ml", line 572, characters 36-48:
- 572 |         (Printexc.to_string exn) f (Stream.count chars);
-                                           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default/src-sourceview3 && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -I/usr/include/gtksourceview-3.0 -I/usr/include/glib-2.0 -I/usr/lib/x86_64-linux-gnu/glib-2.0/include -I/usr/include/sysprof-6 -I/usr/include/libmount -I/usr/include/blkid -I/usr/include/gtk-3.0 -I/usr/include/pango-1.0 -I/usr/include/harfbuzz -I/usr/include/freetype2 -I/usr/include/libpng16 -I/usr/include/fribidi -I/usr/include/cairo -I/usr/include/pixman-1 -I/usr/include/gdk-pixbuf-2.0 -I/usr/include/x86_64-linux-gnu -I/usr/include/webp -I/usr/include/gio-unix-2.0 -I/usr/include/cloudproviders -I/usr/include/atk-1.0 -I/usr/include/at-spi2-atk/2.0 -I/usr/include/at-spi-2.0 -I/usr/include/dbus-1.0 -I/usr/lib/x86_64-linux-gnu/dbus-1.0/include -pthread -I/usr/include/libxml2 -Wno-deprecated-declarations -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/cairo2 -I /home/opam/.opam/default/lib/lablgtk3 -I /home/opam/.opam/default/lib/ocaml/threads -o ml_gtksourceview3.o -c ml_gtksourceview3.c)
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_name':
- ml_gtksourceview3.c:230:13: warning: "callback" is deprecated: use "caml_callback" instead
-   230 |   return g_strdup(string_val (METHOD1(obj, 0, Val_unit)));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~             
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_icon':
- ml_gtksourceview3.c:236:13: warning: "callback" is deprecated: use "caml_callback" instead
-   236 |   return GdkPixbuf_option_val (METHOD1(obj, 1, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~             
- ml_gtksourceview3.c:236:13: warning: "callback" is deprecated: use "caml_callback" instead
- ml_gtksourceview3.c:236:13: warning: "callback" is deprecated: use "caml_callback" instead
- ml_gtksourceview3.c: In function 'custom_completion_provider_populate':
- ml_gtksourceview3.c:242:13: warning: "callback" is deprecated: use "caml_callback" instead
-   242 |   METHOD1(obj, 2, Val_GtkSourceCompletionContext(context));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~            
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_activation':
- ml_gtksourceview3.c:248:13: warning: "callback" is deprecated: use "caml_callback" instead
-   248 |   return Flags_Source_completion_activation_flags_val (METHOD1(obj, 3, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c: In function 'custom_completion_provider_match':
- ml_gtksourceview3.c:254:13: warning: "callback" is deprecated: use "caml_callback" instead
-   254 |   return Bool_val (METHOD1(obj, 4, Val_GtkSourceCompletionContext(context)));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_info_widget':
- ml_gtksourceview3.c:260:13: warning: "callback" is deprecated: use "caml_callback" instead
-   260 |   return Option_val (METHOD1(obj, 5, Val_GtkSourceCompletionProposal(proposal)), GtkWidget_val, NULL);
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c:260:13: warning: "callback" is deprecated: use "caml_callback" instead
- ml_gtksourceview3.c:260:13: warning: "callback" is deprecated: use "caml_callback" instead
- ml_gtksourceview3.c: In function 'custom_completion_provider_update_info':
- ml_gtksourceview3.c:267:13: warning: "callback2" is deprecated: use "caml_callback2" instead
-   267 |   METHOD2(obj, 6, Val_GtkSourceCompletionProposal(proposal), Val_GtkSourceCompletionInfo(info));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_start_iter':
- ml_gtksourceview3.c:274:13: warning: "callback3" is deprecated: use "caml_callback3" instead
-   274 |   return Bool_val (METHOD3(obj, 7, Val_GtkSourceCompletionContext(context), Val_GtkSourceCompletionProposal(proposal), Val_GtkTextIter(iter)));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c: In function 'custom_completion_provider_activate_proposal':
- ml_gtksourceview3.c:281:13: warning: "callback2" is deprecated: use "caml_callback2" instead
-   281 |   return Bool_val (METHOD2(obj, 8, Val_GtkSourceCompletionProposal(proposal), Val_GtkTextIter(iter)));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_interactive_delay':
- ml_gtksourceview3.c:287:13: warning: "callback" is deprecated: use "caml_callback" instead
-   287 |   return Int_val (METHOD1(obj, 9, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                          
- ml_gtksourceview3.c: In function 'custom_completion_provider_get_priority':
- ml_gtksourceview3.c:293:13: warning: "callback" is deprecated: use "caml_callback" instead
-   293 |   return Int_val (METHOD1(obj, 10, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                         
- ml_gtksourceview3.c: In function 'ml_gtk_source_view_get_mark_attributes':
- ml_gtksourceview3.c:564:13: warning: "alloc_small" is deprecated: use "caml_alloc_small" instead
-   564 |     result = alloc_small(1,0);
-       |             ^~~~~~~~~~~~~~~~~~                                               
- ml_gtksourceview3.c: In function 'custom_undo_manager_can_undo':
- ml_gtksourceview3.c:604:13: warning: "callback" is deprecated: use "caml_callback" instead
-   604 |   return Bool_val (METHOD1(obj, 0, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                         
- ml_gtksourceview3.c: In function 'custom_undo_manager_can_redo':
- ml_gtksourceview3.c:610:13: warning: "callback" is deprecated: use "caml_callback" instead
-   610 |   return Bool_val (METHOD1(obj, 1, Val_unit));
-       |             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~                         
- ml_gtksourceview3.c: In function 'custom_undo_manager_undo':
- ml_gtksourceview3.c:616:13: warning: "callback" is deprecated: use "caml_callback" instead
-   616 |   METHOD1(obj, 2, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: In function 'custom_undo_manager_redo':
- ml_gtksourceview3.c:622:13: warning: "callback" is deprecated: use "caml_callback" instead
-   622 |   METHOD1(obj, 3, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: In function 'custom_undo_manager_begin_not_undoable_action':
- ml_gtksourceview3.c:628:13: warning: "callback" is deprecated: use "caml_callback" instead
-   628 |   METHOD1(obj, 4, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: In function 'custom_undo_manager_end_not_undoable_action':
- ml_gtksourceview3.c:634:13: warning: "callback" is deprecated: use "caml_callback" instead
-   634 |   METHOD1(obj, 5, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: In function 'custom_undo_manager_can_undo_changed':
- ml_gtksourceview3.c:640:13: warning: "callback" is deprecated: use "caml_callback" instead
-   640 |   METHOD1(obj, 6, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: In function 'custom_undo_manager_can_redo_changed':
- ml_gtksourceview3.c:646:13: warning: "callback" is deprecated: use "caml_callback" instead
-   646 |   METHOD1(obj, 7, Val_unit);
-       |             ^~~~~~~~~~~~~~~~                                           
- ml_gtksourceview3.c: At top level:
- ml_gtksourceview3.c:796:13: warning: Deprecated pre-processor symbol: replace with "const"
-   796 | static G_CONST_RETURN gchar *
-       |             ^~~~~~~~~~~~~~~~~                                        
-> compiled  lablgtk3-sourceview3.3.1.2
-> installed lablgtk3-sourceview3.3.1.2
[WARNING] Opam packages conf-cairo.1, conf-gtk3.18 and conf-gtksourceview3.0+2 depend on the following system packages that are no longer installed: libcairo2-dev libexpat1-dev libgtk-3-dev libgtksourceview-3.0-dev
  - conf-cairo.1: depends on libcairo2-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 22:53.49: OK: build lablgtk3-sourceview3.3.1.2 (runc: 5.6s, disk: 136KB)
2026-09-03 22:53.49: Job succeeded