Build:
- 1
- 0
2026-09-03 22:05.27: New job: build lablgtk3-goocanvas2.3.1.2 (a143c9a6fe98) 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-goocanvas2.3.1.2 2026-09-03 22:53.36: build lablgtk3-goocanvas2.3.1.2 (a143c9a6fe98) === 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-goocanvas2.0 82937e1c33a8 conf-gtk3.18 29bc2ce5fb33 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-goocanvas2.3.1.2: extract] -> retrieved lablgtk3-goocanvas2.3.1.2 (cached) [lablgtk3-goocanvas2: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "lablgtk3-goocanvas2" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/lablgtk3-goocanvas2.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/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/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/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-goocanvas2 && ../.bin/propcc gtkGooCanvas.props) - Warning: no conversion for type GooCairoAntialias in class GooCanvasItemSimple - Warning: no conversion for type GooCairoFillRule in class GooCanvasItemSimple - Warning: no conversion for type GooCairoPattern in class GooCanvasItemSimple - Warning: no conversion for type GooCairoFillRule in class GooCanvasItemSimple - Warning: no conversion for type GooCairoHintMetrics in class GooCanvasItemSimple - Warning: no conversion for type GooCairoLineCap in class GooCanvasItemSimple - Warning: no conversion for type GooCanvasLineDash in class GooCanvasItemSimple - Warning: no conversion for type GooCairoLineJoin in class GooCanvasItemSimple - Warning: no conversion for type GooCairoOperator in class GooCanvasItemSimple - Warning: no conversion for type GooCairoPattern in class GooCanvasItemSimple - (cd _build/default/src-goocanvas2 && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -I/usr/include/goocanvas-2.0 -I/usr/include/gtk-3.0 -I/usr/include/pango-1.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/harfbuzz -I/usr/include/freetype2 -I/usr/include/libpng16 -I/usr/include/libmount -I/usr/include/blkid -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 -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_gtkgoocanvas.o -c ml_gtkgoocanvas.c) - ml_gtkgoocanvas.c: In function 'goo_copy_double_array': - ml_gtkgoocanvas.c:51:13: warning: "alloc" is deprecated: use "caml_alloc" instead - 51 | v = alloc(len * Double_wosize, Double_array_tag); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - ml_gtkgoocanvas.c: In function 'goo_copy_bounds': - ml_gtkgoocanvas.c:59:13: warning: "alloc" is deprecated: use "caml_alloc" instead - 59 | v = alloc(4 * Double_wosize, Double_array_tag); - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ - ml_gtkgoocanvas.c: In function 'ml_goo_canvas_get_scale': - ml_gtkgoocanvas.c:108:13: warning: "copy_double" is deprecated: use "caml_copy_double" instead - 108 | ML_1 (goo_canvas_get_scale, GooCanvas_val, copy_double) - | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -> compiled lablgtk3-goocanvas2.3.1.2 -> installed lablgtk3-goocanvas2.3.1.2 [WARNING] Opam packages conf-cairo.1, conf-goocanvas2.0 and conf-gtk3.18 depend on the following system packages that are no longer installed: libcairo2-dev libexpat1-dev libgoocanvas-2.0-dev libgtk-3-dev - conf-cairo.1: depends on libcairo2-dev - conf-goocanvas2.0: depends on libgoocanvas-2.0-dev - conf-gtk3.18: depends on libexpat1-dev, libgtk-3-dev === STDERR === 2026-09-03 22:53.50: OK: build lablgtk3-goocanvas2.3.1.2 (runc: 5.1s, disk: 131KB) 2026-09-03 22:53.50: Job succeeded