Build:
- 0
2026-06-24 11:07.25: New job: build lascar.0.6.0 (102c93fbaac9)
2026-06-24 11:07.25: Waiting for resource in pool day11-builds
2026-06-24 11:22.25: Got resource from pool day11-builds
2026-06-24 11:22.25: [profile full] build lascar.0.6.0
2026-06-24 11:22.25: build lascar.0.6.0 (102c93fbaac9)
=== DEPENDENCIES (6 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
dune.3.23.1 848a72441e15
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-config.2 2d9c209f5590
=== STDOUT ===
Processing: [default: loading data]
[lascar.0.6.0: dl]
[lascar.0.6.0: extract]
-> retrieved lascar.0.6.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.6.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__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 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/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 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 -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__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/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.
- (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.
-> compiled lascar.0.6.0
-> installed lascar.0.6.0
=== STDERR ===
2026-06-24 11:22.47: OK: build lascar.0.6.0 (runc: 5.6s, disk: 23KB)
2026-06-24 11:22.47: Job succeeded