Build:
- 0
2026-06-24 11:17.16: New job: build lascar.0.5 (a8499567fd45)
2026-06-24 11:17.16: Waiting for resource in pool day11-builds
2026-06-24 12:01.24: Got resource from pool day11-builds
2026-06-24 12:01.24: [profile full] build lascar.0.5
2026-06-24 12:01.24: build lascar.0.5 (a8499567fd45)
=== DEPENDENCIES (6 transitive) ===
camlp4.4.14+1 42aafa0fa55b
ocaml.4.14.4 b047fb9251f4
ocaml-base-compiler.4.14.4 d3b7ccb2c6fb
ocaml-config.2 2d9c209f5590
ocamlbuild.0.16.1 7e0d6aadb209
ocamlfind.1.9.8 214dd418ac02
=== STDOUT ===
Processing: [default: loading data]
[lascar.0.5: dl]
[lascar.0.5: extract]
-> retrieved lascar.0.5 (https://opam.ocaml.org/cache)
[lascar: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/lascar.0.5/./configure (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.5)
- checking for program to view .dot files... not found
- ** configure: warning: cannot find graphviz.
-
- ** Configuration summary **
-
- Directory where the distribution will be installed:
- library................. /home/opam/.opam/default/lib
- documentation............. /home/opam/.opam/default/doc
-
- ** Configuration completed successfully **
- ** Wrote files ./config
-
[lascar: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.5)
- (cd src/utils; make)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/utils'
- ocamlfind ocamlc -for-pack Utils -c misc.mli
- ocamlfind ocamlc -for-pack Utils -c misc.ml
- ocamlfind ocamlc -for-pack Utils -c dot.mli
- ocamlfind ocamlc -for-pack Utils -c dot.ml
- ocamlfind ocamlc -for-pack Utils -c tree.mli
- ocamlfind ocamlc -for-pack Utils -c tree.ml
- ocamlfind ocamlc -for-pack Utils -c option.mli
- ocamlfind ocamlc -for-pack Utils -c option.ml
- ocamlfind ocamlc -for-pack Utils -c orderedTypeExt.mli
- ocamlfind ocamlc -for-pack Utils -c orderedTypeExt.ml
- ocamlfind ocamlc -for-pack Utils -c stringable.mli
- ocamlfind ocamlc -for-pack Utils -c stringable.ml
- ocamlfind ocamlc -for-pack Utils -c listExt.mli
- File "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 "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 "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 "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.
- ocamlfind ocamlc -for-pack Utils -package camlp4 -syntax camlp4o -c listExt.ml
- File "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 "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 "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 "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 "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 "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 "listExt.ml", lines 140-142, characters 22-15:
- 140 | ......................parser
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- 142 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 141, characters 7-10:
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- ^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 141, characters 12-30:
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 140-142, characters 22-15:
- 140 | ......................parser
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- 142 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 143-145, characters 22-15:
- 143 | ......................parser
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- 145 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 143-145, characters 22-15:
- 143 | ......................parser
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- 145 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 8-18:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 7-22:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 24-37:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 7-22:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- ocamlfind ocamlc -for-pack Utils -c stringExt.mli
- ocamlfind ocamlc -for-pack Utils -c stringExt.ml
- ocamlfind ocamlc -for-pack Utils -c filenameExt.mli
- ocamlfind ocamlc -for-pack Utils -c filenameExt.ml
- ocamlfind ocamlc -for-pack Utils -c setExt.mli
- ocamlfind ocamlc -for-pack Utils -c setExt.ml
- ocamlfind ocamlc -pack -o utils.cmo misc.cmo dot.cmo tree.cmo option.cmo orderedTypeExt.cmo stringable.cmo listExt.cmo stringExt.cmo filenameExt.cmo setExt.cmo
- ocamlfind ocamlc -a -o utils.cma utils.cmo
- ocamlfind ocamlopt -for-pack Utils -c misc.ml
- ocamlfind ocamlopt -for-pack Utils -c dot.ml
- ocamlfind ocamlopt -for-pack Utils -c tree.ml
- ocamlfind ocamlopt -for-pack Utils -c option.ml
- ocamlfind ocamlopt -for-pack Utils -c orderedTypeExt.ml
- ocamlfind ocamlopt -for-pack Utils -c stringable.ml
- ocamlfind ocamlopt -for-pack Utils -package camlp4 -syntax camlp4o -c listExt.ml
- File "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 "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 "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 "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 "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 "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 "listExt.ml", lines 140-142, characters 22-15:
- 140 | ......................parser
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- 142 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 141, characters 7-10:
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- ^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 141, characters 12-30:
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 140-142, characters 22-15:
- 140 | ......................parser
- 141 | [< e=p; es=parse_aux p sep >] -> e::es
- 142 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 143-145, characters 22-15:
- 143 | ......................parser
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- 145 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", lines 143-145, characters 22-15:
- 143 | ......................parser
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- 145 | | [< >] -> []
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 8-18:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 7-22:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 24-37:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "listExt.ml", line 144, characters 7-22:
- 144 | [< 'Genlex.Kwd sep; e=parse sep p >] -> e
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- ocamlfind ocamlopt -for-pack Utils -c stringExt.ml
- ocamlfind ocamlopt -for-pack Utils -c filenameExt.ml
- ocamlfind ocamlopt -for-pack Utils -c setExt.ml
- ocamlfind ocamlopt -pack -o utils.cmx misc.cmx dot.cmx tree.cmx option.cmx orderedTypeExt.cmx stringable.cmx listExt.cmx stringExt.cmx filenameExt.cmx setExt.cmx
- ocamlfind ocamlopt -a -o utils.cmxa utils.cmx
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/utils'
- (cd src/lib; make)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/lib'
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c ltsa.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c ltsa.ml
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c lts.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c lts.ml
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c nfa.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c nfa.ml
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c dfa.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c dfa.ml
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c valuation.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c valuation.ml
- File "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 "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 "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 "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
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c mealy.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c mealy.ml
- File "mealy.ml", line 159, characters 4-9:
- 159 | empty ivs ovs |> add_states qs |> add_transitions ts |> add_itransition q0
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c moore.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c moore.ml
- File "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
- File "moore.ml", line 142, characters 4-9:
- 142 | empty ivs ovs |> add_states qs |> add_transitions ts |> add_itransition q0
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c fsm_expr.mli
- File "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 "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 "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 "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.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -package camlp4 -syntax camlp4o -c fsm_expr.ml
- File "fsm_expr.ml", line 70, characters 5-11:
- 70 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 83-86, characters 16-30:
- 83 | ................parser
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- 86 | | [< >] -> [< >]...
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 83-86, characters 16-30:
- 83 | ................parser
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- 86 | | [< >] -> [< >]...
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 19-34:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 36-41:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 19-34:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 51-59:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 61-70:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 19-21:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 23-28:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 19-21:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 38-40:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 86, characters 25-30:
- 86 | | [< >] -> [< >] in
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 87, characters 7-24:
- 87 | aux (Genlex.make_lexer keywords (Stream.of_string s))
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 87, characters 35-51:
- 87 | aux (Genlex.make_lexer keywords (Stream.of_string s))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 90, characters 21-27:
- 90 | | [< 'Int n >] -> EConst n
- ^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 91, characters 21-29:
- 91 | | [< 'Ident i >] -> EVar i
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 31-38:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 41-49:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 41-49:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 94-95, characters 14-55:
- 94 | ..............parser
- 95 | | [< e1=p_exp0 ; rest >] -> p_exp2 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 97-100, characters 17-28:
- 97 | .................parser
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- 100 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 97-100, characters 17-28:
- 97 | .................parser
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- 100 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 20-28:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 30-39:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 20-28:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 20-28:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 30-39:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 20-28:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 102-103, characters 13-54:
- 102 | .............parser
- 103 | | [< e1=p_exp1 ; rest >] -> p_exp3 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 105-108, characters 17-28:
- 105 | .................parser
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- 108 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 105-108, characters 17-28:
- 105 | .................parser
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- 108 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 20-28:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 30-38:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 20-28:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 20-28:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 30-38:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 20-28:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c fsm.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -package camlp4 -syntax camlp4o -c fsm.ml
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 10-22:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 26-72:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 27-37:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 26-72:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 74-92:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 62, characters 10-22:
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 62, characters 9-25:
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 10-20:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 9-25:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 27-44:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 9-25:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 80, characters 16-34:
- 80 | 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 "fsm.ml", line 223, characters 4-9:
- 223 | empty ivs ovs lvs |> add_states qs |> add_transitions ts |> add_itransition' (acts,q0)
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c conv.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c conv.ml
- File "conv.ml", line 81, characters 4-12:
- 81 | ME.empty (MM.inps mm) (MM.outps mm) |> add_states |> add_transitions
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- File "conv.ml", line 129, characters 12-20:
- 129 | let r = MM.empty (ME.inps me) (ME.outps me) |> add_states |> add_transitions |> add_itransitions in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- File "conv.ml", line 153, characters 4-12:
- 153 | FF.empty (F.inps m) (F.outps m) (F.vars m) |> add_states |> add_transitions |> add_itransitions
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- File "conv.ml", line 214, characters 12-20:
- 214 | let r = FF.empty (FF.inps m) (FF.outps m) (FF.vars m) |> add_states |> add_transitions |> add_itransitions in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c builtins.mli
- ocamlfind ocamlc -I ../utils -for-pack Lascar -c builtins.ml
- File "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 "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 "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
- ocamlfind ocamlc -I ../utils -pack -o lascar.cmo ltsa.cmo lts.cmo nfa.cmo dfa.cmo valuation.cmo mealy.cmo moore.cmo fsm_expr.cmo fsm.cmo conv.cmo builtins.cmo
- ocamlfind ocamlc -I ../utils -a -o lascar.cma lascar.cmo
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c ltsa.ml
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c lts.ml
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c nfa.ml
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c dfa.ml
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c valuation.ml
- File "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 "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 "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 "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
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c mealy.ml
- File "mealy.ml", line 159, characters 4-9:
- 159 | empty ivs ovs |> add_states qs |> add_transitions ts |> add_itransition q0
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c moore.ml
- File "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
- File "moore.ml", line 142, characters 4-9:
- 142 | empty ivs ovs |> add_states qs |> add_transitions ts |> add_itransition q0
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -package camlp4 -syntax camlp4o -c fsm_expr.ml
- File "fsm_expr.ml", line 70, characters 5-11:
- 70 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 83-86, characters 16-30:
- 83 | ................parser
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- 86 | | [< >] -> [< >]...
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 83-86, characters 16-30:
- 83 | ................parser
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- 86 | | [< >] -> [< >]...
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 19-34:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 36-41:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 19-34:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 51-59:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 84, characters 61-70:
- 84 | | [< 'Int n when n<0; t=aux >] -> [< 'Kwd "-"; 'Int (-n); t >]
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 19-21:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 23-28:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 19-21:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 85, characters 38-40:
- 85 | | [< 'h; t=aux >] -> [< 'h; t >]
- ^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 86, characters 25-30:
- 86 | | [< >] -> [< >] in
- ^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 87, characters 7-24:
- 87 | aux (Genlex.make_lexer keywords (Stream.of_string s))
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 87, characters 35-51:
- 87 | aux (Genlex.make_lexer keywords (Stream.of_string s))
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 90, characters 21-27:
- 90 | | [< 'Int n >] -> EConst n
- ^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 91, characters 21-29:
- 91 | | [< 'Ident i >] -> EVar i
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 31-38:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 41-49:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 41-49:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 92, characters 21-29:
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 89-92, characters 18-57:
- 89 | ..................parser
- 90 | | [< 'Int n >] -> EConst n
- 91 | | [< 'Ident i >] -> EVar i
- 92 | | [< 'Kwd "("; e=p_exp ; 'Kwd ")" >] -> e
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 94-95, characters 14-55:
- 94 | ..............parser
- 95 | | [< e1=p_exp0 ; rest >] -> p_exp2 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 97-100, characters 17-28:
- 97 | .................parser
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- 100 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 97-100, characters 17-28:
- 97 | .................parser
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- 100 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 20-28:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 30-39:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 98, characters 20-28:
- 98 | | [< 'Kwd "*"; e2=p_exp1 >] -> EBinop("*", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 20-28:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 30-39:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 99, characters 20-28:
- 99 | | [< 'Kwd "/"; e2=p_exp1 >] -> EBinop("/", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 102-103, characters 13-54:
- 102 | .............parser
- 103 | | [< e1=p_exp1 ; rest >] -> p_exp3 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 105-108, characters 17-28:
- 105 | .................parser
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- 108 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", lines 105-108, characters 17-28:
- 105 | .................parser
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- 108 | | [< >] -> e1
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 20-28:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 30-38:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 106, characters 20-28:
- 106 | | [< 'Kwd "+"; e2=p_exp >] -> EBinop("+", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 20-28:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 30-38:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm_expr.ml", line 107, characters 20-28:
- 107 | | [< 'Kwd "-"; e2=p_exp >] -> EBinop("-", e1, e2)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -package camlp4 -syntax camlp4o -c fsm.ml
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 10-22:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 26-72:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 27-37:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 26-72:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 74-92:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 38, characters 9-24:
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 37-38, characters 20-114:
- 37 | ....................parser
- 38 | [< 'Genlex.Ident v; 'Genlex.Kwd op when List.mem_assoc op test_ops; e = Fsm_expr.parse >] -> Test (v, op, e)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 62, characters 10-22:
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 62, characters 9-25:
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 61-62, characters 19-52:
- 61 | ...................parser
- 62 | [< 'Genlex.Ident e1; rest >] -> p_act1 e1 rest
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 10-20:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 9-25:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 27-44:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 64, characters 9-25:
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", lines 63-64, characters 19-66:
- 63 | ...................parser
- 64 | [< 'Genlex.Kwd ":="; e2=Fsm_expr.parse >] -> Assign (e1, e2)
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "fsm.ml", line 80, characters 16-34:
- 80 | 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 "fsm.ml", line 223, characters 4-9:
- 223 | empty ivs ovs lvs |> add_states qs |> add_transitions ts |> add_itransition' (acts,q0)
- ^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c conv.ml
- File "conv.ml", line 81, characters 4-12:
- 81 | ME.empty (MM.inps mm) (MM.outps mm) |> add_states |> add_transitions
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- File "conv.ml", line 129, characters 12-20:
- 129 | let r = MM.empty (ME.inps me) (ME.outps me) |> add_states |> add_transitions |> add_itransitions in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps were omitted in the application of this function.
- File "conv.ml", line 153, characters 4-12:
- 153 | FF.empty (F.inps m) (F.outps m) (F.vars m) |> add_states |> add_transitions |> add_itransitions
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- File "conv.ml", line 214, characters 12-20:
- 214 | let r = FF.empty (FF.inps m) (FF.outps m) (FF.vars m) |> add_states |> add_transitions |> add_itransitions in
- ^^^^^^^^
- Warning 6 [labels-omitted]: labels inps, outps, lvars were omitted in the application of this function.
- ocamlfind ocamlopt -I ../utils -for-pack Lascar -c builtins.ml
- File "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 "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 "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
- ocamlfind ocamlopt -I ../utils -pack -o lascar.cmx ltsa.cmx lts.cmx nfa.cmx dfa.cmx valuation.cmx mealy.cmx moore.cmx fsm_expr.cmx fsm.cmx conv.cmx builtins.cmx
- ocamlfind ocamlopt -I ../utils -a -o lascar.cmxa lascar.cmx
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/lib'
[lascar: make doc]
+ /usr/bin/make "doc" (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.5)
- (cd src/utils; make doc)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/utils'
- ocamlfind ocamldoc -d ./_doc -html -short-functors -colorize-code misc.mli dot.mli tree.mli option.mli orderedTypeExt.mli stringable.mli listExt.mli stringExt.mli filenameExt.mli setExt.mli
- File "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 "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 "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 "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.
- Warning: Module or module type Set.S not found
- Warning: Module or module type Set.OrderedType not found
- Warning: Element Stdlib.Set.OrderedType not found
- Warning: Element Stdlib.List not found
- Warning: Element Stdlib.List.assoc not found
- Warning: Element Stdlib.List.mem_assoc not found
- Warning: Element Pervasive.compare not found
- Warning: Element Stdlib.String not found
- Warning: Element Stdlib.Filename not found
- Warning: Element Stdib.Set not found
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/utils'
- (cd src/lib; make doc)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/lib'
- ocamlfind ocamldoc -d ./_doc -I . -I ../utils -html -short-functors -colorize-code ltsa.mli lts.mli nfa.mli dfa.mli valuation.mli mealy.mli moore.mli fsm_expr.mli fsm.mli conv.mli builtins.mli
- File "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 "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 "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 "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.
- Warning: Module type OrderedTypeExt.T not found
- Warning: Module type Set.S not found
- Warning: Module type Utils.OrderedTypeExt.T not found
- Warning: Module type Utils.OrderedTypeExt.T not found
- Warning: Module type Tree.S not found
- Warning: Module type Map.S not found
- Warning: Module type SetExt.S not found
- Warning: Module type Utils.OrderedTypeExt.T not found
- Warning: Module type Utils.OrderedTypeExt.T not found
- Warning: Element Dot.graph_style not found
- Warning: Element State.to_string not found
- Warning: Element Label.to_string not found
- Warning: Element Attr.to_string not found
- Warning: Element State.to_string not found
- Warning: Element Label.to_string not found
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lascar.0.5/src/lib'
-> compiled lascar.0.5
[lascar: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.5)
- Installing lascar in /home/opam/.opam/default/lib
- mkdir -p /home/opam/.opam/default/lib/lascar
- cp -f src/utils/*.mli src/utils/utils.cma src/utils/utils.cmo src/utils/utils.cmi src/lib/*.mli src/lib/lascar.cma src/lib/lascar.cmi src/lib/lascar.cmo src/utils/utils.cmx src/utils/utils.cmxa src/utils/utils.a src/lib/lascar.cmx src/lib/lascar.cmxa src/lib/lascar.a /home/opam/.opam/default/lib/lascar
- cp -f META /home/opam/.opam/default/lib/lascar
[lascar: make install-doc]
+ /usr/bin/make "install-doc" (CWD=/home/opam/.opam/default/.opam-switch/build/lascar.0.5)
- Installing lascar documentation in /home/opam/.opam/default/doc
- mkdir -p /home/opam/.opam/default/doc/lascar
- cp src/utils/_doc/*.html src/utils/_doc/*.css /home/opam/.opam/default/doc/lascar
- mv /home/opam/.opam/default/doc/lascar/index.html /home/opam/.opam/default/doc/lascar/utils.html
- cp -r src/lib/_doc/*.html src/lib/_doc/*.css /home/opam/.opam/default/doc/lascar
-> installed lascar.0.5
=== STDERR ===
2026-06-24 12:01.58: OK: build lascar.0.5 (runc: 17.6s, disk: 70KB)
2026-06-24 12:01.58: Job succeeded