Build:
- 0
2026-06-16 11:35.00: New job: build lascar.0.6-alpha (24dc0481f628)
2026-06-16 11:35.00: Waiting for resource in pool day11-builds
2026-06-16 11:50.14: Got resource from pool day11-builds
2026-06-16 11:50.14: [profile full] build lascar.0.6-alpha
2026-06-16 11:50.14: build lascar.0.6-alpha (24dc0481f628)
=== DEPENDENCIES (6 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
dune.3.23.1 5402470d931c
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
=== STDOUT ===
Processing: [default: loading data]
[lascar.0.6-alpha: dl]
[lascar.0.6-alpha: extract]
-> retrieved lascar.0.6-alpha (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.6-alpha)
- (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__ListExt.cmi -c -intf src/utils/listExt.mli)
- File "src/utils/listExt.mli", line 113, characters 35-43:
- 113 | val parse: string -> (Genlex.token Stream.t -> 'a) -> Genlex.token Stream.t -> 'a list
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.mli", line 113, characters 22-34:
- 113 | val parse: string -> (Genlex.token Stream.t -> 'a) -> Genlex.token Stream.t -> 'a list
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/listExt.mli", line 113, characters 67-75:
- 113 | val parse: string -> (Genlex.token Stream.t -> 'a) -> Genlex.token Stream.t -> 'a list
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.mli", line 113, characters 54-66:
- 113 | val parse: string -> (Genlex.token Stream.t -> 'a) -> Genlex.token Stream.t -> 'a list
- ^^^^^^^^^^^^
- 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__ListExt.cmo -c -impl src/utils/listExt.ml)
- File "src/utils/listExt.ml", line 59, characters 16-34:
- 59 | let merge ?(cmp=Pervasives.compare) l1 l2 =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 105, characters 16-34:
- 105 | let assoc ?(cmp=Pervasives.compare) k l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 111, characters 20-38:
- 111 | let mem_assoc ?(cmp=Pervasives.compare) k l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 117, characters 23-41:
- 117 | let update_assoc ?(cmp=Pervasives.compare) f k v l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 123, characters 24-42:
- 123 | let replace_assoc ?(cmp=Pervasives.compare) k v l = update_assoc ~cmp:cmp (fun _ v -> v) k v l
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 125, characters 20-38:
- 125 | let partition ?(cmp=Pervasives.compare) l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 141, characters 8-19:
- 141 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 150, characters 8-19:
- 150 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 151, characters 4-14:
- 151 | | Genlex.Kwd sep' ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 155, characters 14-28:
- 155 | | exception Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 152, characters 47-61:
- 152 | if sep=sep' then parse sep p s else raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 154, characters 11-25:
- 154 | 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/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__ListExt.cmx -c -impl src/utils/listExt.ml)
- File "src/utils/listExt.ml", line 59, characters 16-34:
- 59 | let merge ?(cmp=Pervasives.compare) l1 l2 =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 105, characters 16-34:
- 105 | let assoc ?(cmp=Pervasives.compare) k l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 111, characters 20-38:
- 111 | let mem_assoc ?(cmp=Pervasives.compare) k l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 117, characters 23-41:
- 117 | let update_assoc ?(cmp=Pervasives.compare) f k v l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 123, characters 24-42:
- 123 | let replace_assoc ?(cmp=Pervasives.compare) k v l = update_assoc ~cmp:cmp (fun _ v -> v) k v l
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 125, characters 20-38:
- 125 | let partition ?(cmp=Pervasives.compare) l =
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/utils/listExt.ml", line 141, characters 8-19:
- 141 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 150, characters 8-19:
- 150 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 151, characters 4-14:
- 151 | | Genlex.Kwd sep' ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 155, characters 14-28:
- 155 | | exception Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 152, characters 47-61:
- 152 | if sep=sep' then parse sep p s else raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/listExt.ml", line 154, characters 11-25:
- 154 | 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 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.mli)
- File "src/lib/fsm_expr.mli", line 41, characters 34-42:
- 41 | 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 41, characters 21-33:
- 41 | 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 42, characters 24-32:
- 42 | 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 42, characters 11-23:
- 42 | 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 src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Valuation.cmo -c -impl src/lib/valuation.ml)
- File "src/lib/valuation.ml", line 53, characters 73-91:
- 53 | let module S = Set.Make (struct type t = name * value let compare = Pervasives.compare end) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 66, characters 66-84:
- 66 | let module S = Set.Make (struct type t = string let compare = Pervasives.compare end) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 75, characters 22-40:
- 75 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 83, characters 22-40:
- 83 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Builtins.cmo -c -impl src/lib/builtins.ml)
- File "src/lib/builtins.ml", line 16, characters 16-34:
- 16 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/builtins.ml", line 22, characters 16-34:
- 22 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/builtins.ml", line 28, characters 16-34:
- 28 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -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.ml)
- File "src/lib/fsm_expr.ml", line 82, characters 58-75:
- 82 | let lexer s = s |> mk_binary_minus |> 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 82, characters 38-54:
- 82 | let lexer s = s |> mk_binary_minus |> 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 84, characters 5-11:
- 84 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 87, characters 8-19:
- 87 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 92, characters 19-30:
- 92 | begin match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 93, characters 27-38:
- 93 | | Some (Kwd ")") -> Stream.junk s; e
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 94, characters 20-34:
- 94 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 96, characters 17-31:
- 96 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 103, characters 8-19:
- 103 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 104, characters 22-33:
- 104 | | Some (Kwd "*") -> Stream.junk s; let e2 = p_exp1 s in EBinop("*", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 105, characters 22-33:
- 105 | | Some (Kwd "/") -> Stream.junk s; let e2 = p_exp1 s in EBinop("/", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 112, characters 8-19:
- 112 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 113, characters 22-33:
- 113 | | Some (Kwd "+") -> Stream.junk s; let e2 = p_exp s in EBinop("+", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 114, characters 22-33:
- 114 | | Some (Kwd "-") -> Stream.junk s; let e2 = p_exp s in EBinop("-", e1, e2)
- ^^^^^^^^^^^
- 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 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__Builtins.cmx -c -impl src/lib/builtins.ml)
- File "src/lib/builtins.ml", line 16, characters 16-34:
- 16 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/builtins.ml", line 22, characters 16-34:
- 22 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/builtins.ml", line 28, characters 16-34:
- 28 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (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 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.ml)
- File "src/lib/fsm_expr.ml", line 82, characters 58-75:
- 82 | let lexer s = s |> mk_binary_minus |> 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 82, characters 38-54:
- 82 | let lexer s = s |> mk_binary_minus |> 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 84, characters 5-11:
- 84 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 87, characters 8-19:
- 87 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 92, characters 19-30:
- 92 | begin match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 93, characters 27-38:
- 93 | | Some (Kwd ")") -> Stream.junk s; e
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 94, characters 20-34:
- 94 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 96, characters 17-31:
- 96 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 103, characters 8-19:
- 103 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 104, characters 22-33:
- 104 | | Some (Kwd "*") -> Stream.junk s; let e2 = p_exp1 s in EBinop("*", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 105, characters 22-33:
- 105 | | Some (Kwd "/") -> Stream.junk s; let e2 = p_exp1 s in EBinop("/", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 112, characters 8-19:
- 112 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 113, characters 22-33:
- 113 | | Some (Kwd "+") -> Stream.junk s; let e2 = p_exp s in EBinop("+", e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 114, characters 22-33:
- 114 | | Some (Kwd "-") -> Stream.junk s; let e2 = p_exp s in EBinop("-", e1, e2)
- ^^^^^^^^^^^
- 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 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__Valuation.cmx -c -impl src/lib/valuation.ml)
- File "src/lib/valuation.ml", line 53, characters 73-91:
- 53 | let module S = Set.Make (struct type t = name * value let compare = Pervasives.compare end) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 66, characters 66-84:
- 66 | let module S = Set.Make (struct type t = string let compare = Pervasives.compare end) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 75, characters 22-40:
- 75 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/lib/valuation.ml", line 83, characters 22-40:
- 83 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Moore.cmo -c -impl src/lib/moore.ml)
- File "src/lib/moore.ml", line 18, characters 22-40:
- 18 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -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.ml)
- File "src/lib/fsm.ml", line 38, characters 13-19:
- 38 | let open Genlex in
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 39, characters 10-21:
- 39 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 41, characters 19-30:
- 41 | begin match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 43, characters 20-34:
- 43 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 45, characters 17-31:
- 45 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 68, characters 26-37:
- 68 | 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.ml", line 69, characters 6-18:
- 69 | | Genlex.Ident e1 -> p_act1 e1 s
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 70, characters 17-31:
- 70 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 71, characters 26-37:
- 71 | 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.ml", line 72, characters 6-16:
- 72 | | Genlex.Kwd ":=" -> let e2 = Fsm_expr.parse s in Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 73, characters 17-31:
- 73 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 89, characters 16-34:
- 89 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (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 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__Moore.cmx -c -impl src/lib/moore.ml)
- File "src/lib/moore.ml", line 18, characters 22-40:
- 18 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- (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 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.ml)
- File "src/lib/fsm.ml", line 38, characters 13-19:
- 38 | let open Genlex in
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 39, characters 10-21:
- 39 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 41, characters 19-30:
- 41 | begin match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 43, characters 20-34:
- 43 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 45, characters 17-31:
- 45 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 68, characters 26-37:
- 68 | 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.ml", line 69, characters 6-18:
- 69 | | Genlex.Ident e1 -> p_act1 e1 s
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 70, characters 17-31:
- 70 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 71, characters 26-37:
- 71 | 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.ml", line 72, characters 6-16:
- 72 | | Genlex.Kwd ":=" -> let e2 = Fsm_expr.parse s in Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 73, characters 17-31:
- 73 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 89, characters 16-34:
- 89 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
-> compiled lascar.0.6-alpha
-> installed lascar.0.6-alpha
=== STDERR ===
2026-06-16 11:50.30: OK: build lascar.0.6-alpha (runc: 6.1s, disk: 35KB)
2026-06-16 11:50.30: Job succeeded