Build:
  1. 0
2026-06-24 13:54.50: New job: build lascar.0.7.0 (bb918ff4b593)
2026-06-24 13:54.50: Waiting for resource in pool day11-builds
2026-06-24 14:20.39: Got resource from pool day11-builds
2026-06-24 14:20.39: [profile full] build lascar.0.7.0
2026-06-24 14:20.39: build lascar.0.7.0 (bb918ff4b593)
=== DEPENDENCIES (14 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  cppo.1.8.0                                         5f3f70cae95b
  dune.3.23.1                                        848a72441e15
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-compiler-libs.v0.12.4                        2aecf989b0b2
  ocaml-config.2                                     2d9c209f5590
  ocamlfind.1.9.8                                    214dd418ac02
  ppx_derivers.1.2.1                                 9245877bc46e
  ppx_deriving.6.1.1                                 3b885544a1c8
  ppxlib.0.38.0                                      c54fe6e3bf29
  sexplib0.v0.17.0                                   86d78ae8a795
  stdlib-shims.0.3.0                                 de5202e23add
=== STDOUT ===
Processing: [default: loading data]
[lascar.0.7.0: dl]
[lascar.0.7.0: extract]
-> retrieved lascar.0.7.0  (https://opam.ocaml.org/cache)
[lascar: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "lascar" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.7.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/utils/.utils.objs/byte -no-alias-deps -open Utils -o src/utils/.utils.objs/byte/utils__Parsing.cmi -c -intf src/utils/parsing.mli)
- File "src/utils/parsing.mli", line 19, characters 19-27:
- 19 |   -> (Genlex.token Stream.t -> 'a)
-                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 19, characters 6-18:
- 19 |   -> (Genlex.token Stream.t -> 'a)
-            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 20, characters 18-26:
- 20 |   -> Genlex.token Stream.t
-                        ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 20, characters 5-17:
- 20 |   -> Genlex.token Stream.t
-           ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 32, characters 35-43:
- 32 |      lexer:(string -> Genlex.token Stream.t)
-                                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 32, characters 22-34:
- 32 |      lexer:(string -> Genlex.token Stream.t)
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 33, characters 26-34:
- 33 |   -> parser:(Genlex.token Stream.t -> 'a)
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 33, characters 13-25:
- 33 |   -> parser:(Genlex.token Stream.t -> 'a)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 35, characters 10-22:
- 35 |   -> ('a, Genlex.token option) Result.t
-                ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 41, characters 34-46:
- 41 | exception Parse_error of string * Genlex.token option  (** Parsed string, lookahead token *)
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 44, characters 35-43:
- 44 |      lexer:(string -> Genlex.token Stream.t)
-                                         ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 44, characters 22-34:
- 44 |      lexer:(string -> Genlex.token Stream.t)
-                            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 45, characters 26-34:
- 45 |   -> parser:(Genlex.token Stream.t -> 'a)
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 45, characters 13-25:
- 45 |   -> parser:(Genlex.token Stream.t -> 'a)
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Utils -o src/utils/.utils.objs/byte/utils__Parsing.cmo -c -impl src/utils/parsing.ml)
- File "src/utils/parsing.ml", line 14, characters 8-19:
- 14 |   match Stream.peek s, stop_on with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 15, characters 10-20:
- 15 |   | Some (Genlex.Kwd sep'), _ when sep'=sep ->
-                ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 20, characters 10-20:
- 20 |   | Some (Genlex.Kwd c), Some c' when c=c' -> [] (* Special case: do not report error but return *)
-                ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 16, characters 5-16:
- 16 |      Stream.junk s;
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 21, characters 23-37:
- 21 |   | Some _, _ -> raise Stream.Failure
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 23, characters 8-19:
- 23 |   match Stream.peek s with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 35, characters 16-27:
- 35 |     begin match Stream.peek ss with
-                      ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 4-18:
- 40 |     Stream.Failure -> Error (Stream.peek ss)
-          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 29-40:
- 40 |     Stream.Failure -> Error (Stream.peek ss)
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 42, characters 34-46:
- 42 | exception Parse_error of string * Genlex.token  option
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 48, characters 16-27:
- 48 |     begin match Stream.peek ss with
-                      ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 50, characters 34-45:
- 50 |     | t -> raise (Parse_error (s, Stream.peek ss))
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 4-18:
- 53 |     Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
-          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 45-56:
- 53 |     Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
-                                                   ^^^^^^^^^^^
- 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 src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Utils -o src/utils/.utils.objs/native/utils__Parsing.cmx -c -impl src/utils/parsing.ml)
- File "src/utils/parsing.ml", line 14, characters 8-19:
- 14 |   match Stream.peek s, stop_on with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 15, characters 10-20:
- 15 |   | Some (Genlex.Kwd sep'), _ when sep'=sep ->
-                ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 20, characters 10-20:
- 20 |   | Some (Genlex.Kwd c), Some c' when c=c' -> [] (* Special case: do not report error but return *)
-                ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 16, characters 5-16:
- 16 |      Stream.junk s;
-           ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 21, characters 23-37:
- 21 |   | Some _, _ -> raise Stream.Failure
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 23, characters 8-19:
- 23 |   match Stream.peek s with
-              ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 35, characters 16-27:
- 35 |     begin match Stream.peek ss with
-                      ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 4-18:
- 40 |     Stream.Failure -> Error (Stream.peek ss)
-          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 29-40:
- 40 |     Stream.Failure -> Error (Stream.peek ss)
-                                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 42, characters 34-46:
- 42 | exception Parse_error of string * Genlex.token  option
-                                        ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 48, characters 16-27:
- 48 |     begin match Stream.peek ss with
-                      ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 50, characters 34-45:
- 50 |     | t -> raise (Parse_error (s, Stream.peek ss))
-                                        ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 4-18:
- 53 |     Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
-          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 45-56:
- 53 |     Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
-                                                   ^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_expr.cmi -c -intf src/lib/fsm_expr.pp.mli)
- File "src/lib/fsm_expr.mli", line 47, characters 36-44:
- 47 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 47, characters 23-35:
- 47 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 48, characters 26-34:
- 48 |   val parse: Genlex.token Stream.t -> t 
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 48, characters 13-25:
- 48 |   val parse: Genlex.token Stream.t -> t 
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_action.cmi -c -intf src/lib/fsm_action.pp.mli)
- File "src/lib/fsm_action.mli", line 20, characters 46-54:
- 20 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 20, characters 33-45:
- 20 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 21, characters 36-44:
- 21 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 21, characters 23-35:
- 21 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 23, characters 26-34:
- 23 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 23, characters 13-25:
- 23 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_condition.cmi -c -intf src/lib/fsm_condition.pp.mli)
- File "src/lib/fsm_condition.mli", line 20, characters 46-54:
- 20 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 20, characters 33-45:
- 20 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 21, characters 36-44:
- 21 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 21, characters 23-35:
- 21 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 22, characters 26-34:
- 22 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 22, characters 13-25:
- 22 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_condition.cmo -c -impl src/lib/fsm_condition.pp.ml)
- File "src/lib/fsm_condition.ml", line 18, characters 46-54:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 18, characters 33-45:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 36-44:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 23-35:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 26-34:
- 20 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 13-25:
- 20 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 60-77:
- 34 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 40-56:
- 34 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 36, characters 13-19:
- 36 |     let open Genlex in
-                   ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 37, characters 10-21:
- 37 |     match Stream.next s with
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 39, characters 19-30:
- 39 |        begin match Stream.next s with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 41, characters 20-34:
- 41 |        | _ -> raise Stream.Failure 
-                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 43, characters 17-31:
- 43 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_action.cmo -c -impl src/lib/fsm_action.pp.ml)
- File "src/lib/fsm_action.ml", line 18, characters 46-54:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 18, characters 33-45:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 36-44:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 23-35:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 26-34:
- 21 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 13-25:
- 21 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 60-77:
- 32 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 40-56:
- 32 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 33, characters 26-37:
- 33 |   let rec p_act s = match Stream.next s with
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 34, characters 6-18:
- 34 |     | Genlex.Ident e1 -> p_act1 e1 s
-            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 35, characters 17-31:
- 35 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 36, characters 26-37:
- 36 |   and p_act1 e1 s = match Stream.next s with
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 37, characters 6-16:
- 37 |     | Genlex.Kwd ":=" -> let e2 = Expr.parse s in Assign (e1, e2)
-            ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 38, characters 17-31:
- 38 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_expr.cmx -c -impl src/lib/fsm_expr.pp.ml)
- File "src/lib/fsm_expr.ml", line 42, characters 36-44:
- 42 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 42, characters 23-35:
- 42 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 26-34:
- 43 |   val parse: Genlex.token Stream.t -> t 
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 13-25:
- 43 |   val parse: Genlex.token Stream.t -> t 
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 57-74:
- 134 |     let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 37-53:
- 134 |     let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 136, characters 9-15:
- 136 |     open Genlex
-                ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 139, characters 12-23:
- 139 |       match Stream.next s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 144, characters 21-32:
- 144 |          begin match Stream.peek s with
-                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 145, characters 29-40:
- 145 |          | Some (Kwd ")") -> Stream.junk s; e
-                                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 146, characters 22-36:
- 146 |          | _ -> raise Stream.Failure
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 148, characters 19-33:
- 148 |       | _ -> raise Stream.Failure
-                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 151, characters 12-23:
- 151 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 152, characters 64-75:
- 152 |       | Some (Kwd op) when List.mem_assoc op.[0] V.unary_ops -> Stream.junk s; let e = p_exp0 s in EUnop(op.[0], e)
-                                                                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 158, characters 12-23:
- 158 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 159, characters 83-94:
- 159 |       | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 0 -> Stream.junk s; let e2 = p_exp1 s in EBinop(op, e1, e2)
-                                                                                          ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 163, characters 12-23:
- 163 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 164, characters 83-94:
- 164 |       | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 1 -> Stream.junk s; let e2 = p_exp s in EBinop(op, e1, e2)
-                                                                                          ^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_expr.cmo -c -impl src/lib/fsm_expr.pp.ml)
- File "src/lib/fsm_expr.ml", line 42, characters 36-44:
- 42 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 42, characters 23-35:
- 42 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 26-34:
- 43 |   val parse: Genlex.token Stream.t -> t 
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 13-25:
- 43 |   val parse: Genlex.token Stream.t -> t 
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 57-74:
- 134 |     let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 37-53:
- 134 |     let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 136, characters 9-15:
- 136 |     open Genlex
-                ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 139, characters 12-23:
- 139 |       match Stream.next s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 144, characters 21-32:
- 144 |          begin match Stream.peek s with
-                            ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 145, characters 29-40:
- 145 |          | Some (Kwd ")") -> Stream.junk s; e
-                                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 146, characters 22-36:
- 146 |          | _ -> raise Stream.Failure
-                             ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 148, characters 19-33:
- 148 |       | _ -> raise Stream.Failure
-                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 151, characters 12-23:
- 151 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 152, characters 64-75:
- 152 |       | Some (Kwd op) when List.mem_assoc op.[0] V.unary_ops -> Stream.junk s; let e = p_exp0 s in EUnop(op.[0], e)
-                                                                       ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 158, characters 12-23:
- 158 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 159, characters 83-94:
- 159 |       | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 0 -> Stream.junk s; let e2 = p_exp1 s in EBinop(op, e1, e2)
-                                                                                          ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 163, characters 12-23:
- 163 |       match Stream.peek s with
-                   ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 164, characters 83-94:
- 164 |       | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 1 -> Stream.junk s; let e2 = p_exp s in EBinop(op, e1, e2)
-                                                                                          ^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_transition.cmi -c -intf src/lib/fsm_transition.pp.mli)
- File "src/lib/fsm_transition.mli", line 22, characters 46-54:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 22, characters 33-45:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 23, characters 36-44:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 23, characters 23-35:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 24, characters 26-34:
- 24 |   val parse: Genlex.token Stream.t -> t
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 24, characters 13-25:
- 24 |   val parse: Genlex.token Stream.t -> t
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_condition.cmx -c -impl src/lib/fsm_condition.pp.ml)
- File "src/lib/fsm_condition.ml", line 18, characters 46-54:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 18, characters 33-45:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 36-44:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 23-35:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 26-34:
- 20 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 13-25:
- 20 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 60-77:
- 34 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 40-56:
- 34 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 36, characters 13-19:
- 36 |     let open Genlex in
-                   ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 37, characters 10-21:
- 37 |     match Stream.next s with
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 39, characters 19-30:
- 39 |        begin match Stream.next s with
-                         ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 41, characters 20-34:
- 41 |        | _ -> raise Stream.Failure 
-                          ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 43, characters 17-31:
- 43 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_action.cmx -c -impl src/lib/fsm_action.pp.ml)
- File "src/lib/fsm_action.ml", line 18, characters 46-54:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 18, characters 33-45:
- 18 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 36-44:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 23-35:
- 19 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 26-34:
- 21 |   val parse: Genlex.token Stream.t -> t               
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 13-25:
- 21 |   val parse: Genlex.token Stream.t -> t               
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 60-77:
- 32 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 40-56:
- 32 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 33, characters 26-37:
- 33 |   let rec p_act s = match Stream.next s with
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 34, characters 6-18:
- 34 |     | Genlex.Ident e1 -> p_act1 e1 s
-            ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 35, characters 17-31:
- 35 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 36, characters 26-37:
- 36 |   and p_act1 e1 s = match Stream.next s with
-                                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 37, characters 6-16:
- 37 |     | Genlex.Kwd ":=" -> let e2 = Expr.parse s in Assign (e1, e2)
-            ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 38, characters 17-31:
- 38 |     | _ -> raise Stream.Failure
-                       ^^^^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_transition.cmo -c -impl src/lib/fsm_transition.pp.ml)
- File "src/lib/fsm_transition.ml", line 22, characters 46-54:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 22, characters 33-45:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 36-44:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 23-35:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 26-34:
- 24 |   val parse: Genlex.token Stream.t -> t
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 13-25:
- 24 |   val parse: Genlex.token Stream.t -> t
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 60-77:
- 54 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 40-56:
- 54 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 58, characters 12-23:
- 58 |       match Stream.peek s with
-                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 14-24:
- 59 |       | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
-                    ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 46-57:
- 59 |       | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
-                                                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 60, characters 24-38:
- 60 |       | Some _ -> raise Stream.Failure
-                              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 62, characters 10-21:
- 62 |     match Stream.peek s with
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 63, characters 12-22:
- 63 |     | Some (Genlex.Kwd sep) when sep="|" ->
-                  ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_transition.cmx -c -impl src/lib/fsm_transition.pp.ml)
- File "src/lib/fsm_transition.ml", line 22, characters 46-54:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                                    ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 22, characters 33-45:
- 22 |   val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t               
-                                       ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 36-44:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                                          ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 23-35:
- 23 |   val lexer: string -> Genlex.token Stream.t
-                             ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 26-34:
- 24 |   val parse: Genlex.token Stream.t -> t
-                                ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 13-25:
- 24 |   val parse: Genlex.token Stream.t -> t
-                   ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 60-77:
- 54 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 40-56:
- 54 |   let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords 
-                                              ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 58, characters 12-23:
- 58 |       match Stream.peek s with
-                  ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 14-24:
- 59 |       | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
-                    ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 46-57:
- 59 |       | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
-                                                    ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 60, characters 24-38:
- 60 |       | Some _ -> raise Stream.Failure
-                              ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 62, characters 10-21:
- 62 |     match Stream.peek s with
-                ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 63, characters 12-22:
- 63 |     | Some (Genlex.Kwd sep) when sep="|" ->
-                  ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm.cmo -c -impl src/lib/fsm.pp.ml)
- File "src/lib/fsm.ml", line 232, characters 72-89:
- 232 |   let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
-                                                                               ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 232, characters 52-68:
- 232 |   let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
-                                                           ^^^^^^^^^^^^^^^^
- 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 src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm.cmx -c -impl src/lib/fsm.pp.ml)
- File "src/lib/fsm.ml", line 232, characters 72-89:
- 232 |   let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
-                                                                               ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 232, characters 52-68:
- 232 |   let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
-                                                           ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled  lascar.0.7.0
-> installed lascar.0.7.0

=== STDERR ===

2026-06-24 14:21.14: OK: build lascar.0.7.0 (runc: 9.7s, disk: 57KB)
2026-06-24 14:21.14: Job succeeded