Build:
- 0
2026-06-24 11:12.52: New job: build lem.2020-06-03 (35b243e5da9d)
2026-06-24 11:12.52: Waiting for resource in pool day11-builds
2026-06-24 11:54.43: Got resource from pool day11-builds
2026-06-24 11:54.43: [profile full] build lem.2020-06-03
2026-06-24 11:54.43: build lem.2020-06-03 (35b243e5da9d)
=== DEPENDENCIES (10 transitive) ===
conf-findutils.1 26549b564faf
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
num.1.6 110cee7a7e2e
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
zarith.1.14 a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[lem.2020-06-03: dl]
[lem.2020-06-03: extract]
-> retrieved lem.2020-06-03 (https://opam.ocaml.org/cache)
[lem: make]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03)
- echo "(* Generated file -- do not edit. *)" > src/version.ml
- echo 'let v="2020-06-03"' >> src/version.ml
- echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
- echo let d=\"/home/opam/.opam/default/share/lem\" >> src/share_directory.ml
- /usr/bin/make -C src all
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/src'
- ocamlbuild -use-ocamlfind -cflags -g main.native
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package zarith -modules main.ml > main.ml.depends
- + ocamlfind ocamldep -package zarith -modules main.mli > main.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o main.cmi main.mli
- + ocamlfind ocamldep -package zarith -modules ast.ml > ast.ml.depends
- + ocamlfind ocamldep -package zarith -modules ulib/ulib.ml > ulib/ulib.ml.depends
- + ocamlfind ocamldep -package zarith -modules ulib/batText.mli > ulib/batText.mli.depends
- + ocamlfind ocamldep -package zarith -modules ulib/batUChar.mli > ulib/batUChar.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmi ulib/batUChar.mli
- + ocamlfind ocamldep -package zarith -modules ulib/batUTF8.mli > ulib/batUTF8.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batText.cmi ulib/batText.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmi ulib/batUTF8.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/ulib.cmo ulib/ulib.ml
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast.cmo ast.ml
- + ocamlfind ocamldep -package zarith -modules ulib/batText.ml > ulib/batText.ml.depends
- + ocamlfind ocamldep -package zarith -modules ulib/batReturn.ml > ulib/batReturn.ml.depends
- + ocamlfind ocamldep -package zarith -modules ulib/batReturn.mli > ulib/batReturn.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmi ulib/batReturn.mli
- + ocamlfind ocamldep -package zarith -modules ulib/batUChar.ml > ulib/batUChar.ml.depends
- + ocamlfind ocamldep -package zarith -modules ulib/batUTF8.ml > ulib/batUTF8.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUChar.cmx ulib/batUChar.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batReturn.cmx ulib/batReturn.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batUTF8.cmx ulib/batUTF8.ml
- File "ulib/batUTF8.ml", line 209, characters 2-13:
- 209 | String.copy s
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/batText.cmx ulib/batText.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ulib/ulib.cmx ulib/ulib.ml
- + ocamlfind ocamldep -package zarith -modules ast_util.ml > ast_util.ml.depends
- + ocamlfind ocamldep -package zarith -modules ast_util.mli > ast_util.mli.depends
- + ocamlfind ocamldep -package zarith -modules name.mli > name.mli.depends
- + ocamlfind ocamldep -package zarith -modules output.mli > output.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o output.cmi output.mli
- + ocamlfind ocamldep -package zarith -modules path.mli > path.mli.depends
- + ocamlfind ocamldep -package zarith -modules ident.mli > ident.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o name.cmi name.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ident.cmi ident.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o path.cmi path.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o ast_util.cmi ast_util.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast.cmx ast.ml
- + ocamlfind ocamldep -package zarith -modules ident.ml > ident.ml.depends
- + ocamlfind ocamldep -package zarith -modules name.ml > name.ml.depends
- + ocamlfind ocamldep -package zarith -modules output.ml > output.ml.depends
- + ocamlfind ocamldep -package zarith -modules reporting_basic.ml > reporting_basic.ml.depends
- + ocamlfind ocamldep -package zarith -modules reporting_basic.mli > reporting_basic.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting_basic.cmi reporting_basic.mli
- + ocamlfind ocamldep -package zarith -modules pp.ml > pp.ml.depends
- + ocamlfind ocamldep -package zarith -modules pp.mli > pp.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pp.cmi pp.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pp.cmx pp.ml
- + ocamlfind ocamldep -package zarith -modules util.ml > util.ml.depends
- + ocamlfind ocamldep -package zarith -modules util.mli > util.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o util.cmi util.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting_basic.cmx reporting_basic.ml
- File "reporting_basic.ml", line 80, characters 12-25:
- 80 | let buf = String.create l in
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.create
- Use Bytes.create/BytesLabels.create instead.
- File "reporting_basic.ml", line 82, characters 51-62:
- 82 | let _ = match multi with None -> () | Some sk -> String.fill buf 0 sk ' ' in
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.fill
- Use Bytes.fill/BytesLabels.fill instead.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o util.cmx util.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o util.cmx util.ml
- File "util.ml", line 300, characters 17-31:
- 300 | let c' = Char.lowercase c in
- ^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Char.lowercase
- Use Char.lowercase_ascii instead.
- File "util.ml", line 329, characters 18-36:
- 329 | 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 "util.ml", line 335, characters 18-36:
- 335 | 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 "util.ml", line 378, characters 13-30:
- 378 | let s1 = Stream.of_channel (open_in_bin file1) in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 379, characters 13-30:
- 379 | let s2 = Stream.of_channel (open_in_bin file2) in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 380, characters 33-45:
- 380 | let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 380, characters 59-73:
- 380 | let stream_is_empty s = (try Stream.empty s; true with Stream.Failure -> false) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 382, characters 14-25:
- 382 | while ((Stream.next s1) = (Stream.next s2)) do () done;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 382, characters 33-44:
- 382 | while ((Stream.next s1) = (Stream.next s2)) do () done;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "util.ml", line 384, characters 9-23:
- 384 | with Stream.Failure -> stream_is_empty s1 && stream_is_empty s2
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o output.cmx output.ml
- File "output.ml", line 574, characters 15-29:
- 574 | let (^) = Pervasives.(^) 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
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o name.cmx name.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o name.cmx name.ml
- File "name.ml", line 91, characters 30-48:
- 91 | let compare (i, s) (i', s') = Pervasives.compare i i'
- ^^^^^^^^^^^^^^^^^^
- 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 "name.ml", line 214, characters 32-46:
- 214 | let c = Ulib.UChar.of_char (Char.lowercase (Ulib.UChar.char_of (Ulib.UTF8.get y 0))) in
- ^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Char.lowercase
- Use Char.lowercase_ascii instead.
- File "name.ml", line 220, characters 32-46:
- 220 | let c = Ulib.UChar.of_char (Char.uppercase (Ulib.UChar.char_of (Ulib.UTF8.get y 0))) in
- ^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Char.uppercase
- Use Char.uppercase_ascii instead.
- + ocamlfind ocamldep -package zarith -modules path.ml > path.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ident.cmx ident.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o path.cmx path.ml
- File "path.ml", lines 109-119, characters 2-20:
- 109 | ..match p with
- 110 | | Path_list -> 0
- 111 | | Path_bool -> 1
- 112 | | Path_nat -> 2
- 113 | | Path_numeral -> 3
- ...
- 116 | | Path_vector -> 6
- 117 | | Path_char -> 7
- 118 | | Path_string -> 8
- 119 | | Path_unit -> 9
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Path_def (_, _)
- File "path.ml", line 142, characters 16-34:
- 142 | | p1, p2 -> Pervasives.compare (partial_map_to_int p1) (partial_map_to_int p2)
- ^^^^^^^^^^^^^^^^^^
- 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 ocamldep -package zarith -modules backend.ml > backend.ml.depends
- + ocamlfind ocamldep -package zarith -modules backend.mli > backend.mli.depends
- + ocamlfind ocamldep -package zarith -modules typed_ast.mli > typed_ast.mli.depends
- + ocamlfind ocamldep -package zarith -modules finite_map.ml > finite_map.ml.depends
- + ocamlfind ocamldep -package zarith -modules nvar.mli > nvar.mli.depends
- + ocamlfind ocamldep -package zarith -modules seplist.mli > seplist.mli.depends
- + ocamlfind ocamldep -package zarith -modules target.mli > target.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o finite_map.cmo finite_map.ml
- + ocamlfind ocamldep -package zarith -modules types.mli > types.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o nvar.cmi nvar.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o seplist.cmi seplist.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target.cmi target.mli
- + ocamlfind ocamldep -package zarith -modules tyvar.mli > tyvar.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o tyvar.cmi tyvar.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o types.cmi types.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast.cmi typed_ast.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend.cmi backend.mli
- + ocamlfind ocamldep -package zarith -modules backend_common.ml > backend_common.ml.depends
- + ocamlfind ocamldep -package zarith -modules backend_common.mli > backend_common.mli.depends
- + ocamlfind ocamldep -package zarith -modules macro_expander.mli > macro_expander.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o macro_expander.cmi macro_expander.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o backend_common.cmi backend_common.mli
- + ocamlfind ocamldep -package zarith -modules pattern_syntax.ml > pattern_syntax.ml.depends
- + ocamlfind ocamldep -package zarith -modules pattern_syntax.mli > pattern_syntax.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pattern_syntax.cmi pattern_syntax.mli
- + ocamlfind ocamldep -package zarith -modules seplist.ml > seplist.ml.depends
- + ocamlfind ocamldep -package zarith -modules target.ml > target.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o finite_map.cmx finite_map.ml
- + ocamlfind ocamldep -package zarith -modules typed_ast.ml > typed_ast.ml.depends
- + ocamlfind ocamldep -package zarith -modules nvar.ml > nvar.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o seplist.cmx seplist.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target.cmx target.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target.cmx target.ml
- File "target.ml", line 100, characters 21-39:
- 100 | let target_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 "target.ml", line 111, characters 29-47:
- 111 | let ast_target_compare x y = Pervasives.compare (ast_target_to_int x) (ast_target_to_int y)
- ^^^^^^^^^^^^^^^^^^
- 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 ocamldep -package zarith -modules types.ml > types.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o nvar.cmx nvar.ml
- + ocamlfind ocamldep -package zarith -modules tyvar.ml > tyvar.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o tyvar.cmx tyvar.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o types.cmx types.ml
- File "types.ml", line 582, characters 16-34:
- 582 | 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 "types.ml", line 588, characters 16-34:
- 588 | 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 "types.ml", line 766, characters 55-73:
- 766 | module IM = Map.Make(struct type t = int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- 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 "types.ml", line 1007, characters 16-34:
- 1007 | 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 "types.ml", line 1615, characters 12-28:
- 1615 | let rec walk_constraints = function
- ^^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable walk_constraints.
- + ocamlfind ocamldep -package zarith -modules typed_ast_syntax.ml > typed_ast_syntax.ml.depends
- + ocamlfind ocamldep -package zarith -modules typed_ast_syntax.mli > typed_ast_syntax.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmi typed_ast_syntax.mli
- + ocamlfind ocamldep -package zarith -modules external_constants.ml > external_constants.ml.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o external_constants.cmo external_constants.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast.cmx typed_ast.ml
- File "typed_ast.ml", line 874, characters 20-38:
- 874 | let first = Pervasives.compare t1 t2 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 "typed_ast.ml", line 876, characters 12-30:
- 876 | Pervasives.compare s1 s2
- ^^^^^^^^^^^^^^^^^^
- 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 "typed_ast.ml", lines 2496-2512, characters 4-13:
- 2496 | ....match t.term with
- 2497 | | Typ_wild _ | Typ_var _ | Typ_paren _ | Typ_len _ -> t (*TODO Check that parens aren't needed *)
- 2498 | | Typ_fn _ ->
- 2499 | if ctxt = TC_fn_right then
- 2500 | t
- ...
- 2509 | if ctxt = TC_app then
- 2510 | mk_tparen Ast.Unknown None t None (Some(t.typ))
- 2511 | else
- 2512 | t
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Typ_with_sort (_, _)
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o external_constants.cmx external_constants.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typed_ast_syntax.cmx typed_ast_syntax.ml
- File "typed_ast_syntax.ml", lines 968-976, characters 2-52:
- 968 | ..match t.term with
- 969 | | Typ_wild _ -> ue
- 970 | | Typ_var _ -> ue
- 971 | | Typ_len _ -> ue
- 972 | | Typ_fn (t1, _, t2) -> add_src_t_entities (add_src_t_entities ue t1) t2
- 973 | | Typ_tup sp -> Seplist.fold_left (fun t ue -> add_src_t_entities ue t) ue sp
- 974 | | Typ_app (id, args) -> List.fold_left add_src_t_entities (used_entities_add_type ue id.descr) args
- 975 | | Typ_backend (_, args) -> List.fold_left add_src_t_entities ue args
- 976 | | Typ_paren (_, t, _) -> add_src_t_entities ue t
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Typ_with_sort (_, _)
- + ocamlfind ocamldep -package zarith -modules precedence.ml > precedence.ml.depends
- + ocamlfind ocamldep -package zarith -modules precedence.mli > precedence.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o precedence.cmi precedence.mli
- + ocamlfind ocamldep -package zarith -modules share_directory.ml > share_directory.ml.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o share_directory.cmo share_directory.ml
- + ocamlfind ocamldep -package zarith -modules target_binding.ml > target_binding.ml.depends
- + ocamlfind ocamldep -package zarith -modules target_binding.mli > target_binding.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_binding.cmi target_binding.mli
- + ocamlfind ocamldep -package zarith -modules macro_expander.ml > macro_expander.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pattern_syntax.cmx pattern_syntax.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o precedence.cmx precedence.ml
- File "precedence.ml", line 85, characters 14-15:
- 85 | | P_special _ -> -1
- ^
- Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o share_directory.cmx share_directory.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_binding.cmx target_binding.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o macro_expander.cmx macro_expander.ml
- + ocamlfind ocamldep -package zarith -modules coq_backend.ml > coq_backend.ml.depends
- + ocamlfind ocamldep -package zarith -modules coq_backend_utils.ml > coq_backend_utils.ml.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmo coq_backend_utils.ml
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o coq_backend.cmo coq_backend.ml
- File "coq_backend.ml", line 145, characters 68-86:
- 145 | module OutputSet = Set.Make (struct type t = Output.t let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 163, characters 4-18:
- 163 | Pervasives.(^) "x" post
- ^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 255, characters 43-61:
- 255 | let all_fields = List.filter (fun x -> Pervasives.compare name x <> 0) all_fields 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 "coq_backend.ml", line 300, characters 69-87:
- 300 | module AssocMap = Map.Make (struct type t = string let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 630, characters 10-28:
- 630 | Pervasives.compare name name' = 0
- ^^^^^^^^^^^^^^^^^^
- 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 -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend_common.cmx backend_common.ml
- File "backend_common.ml", line 494, characters 19-33:
- 494 | let (^) = Pervasives.(^) 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 "backend_common.ml", line 522, characters 19-33:
- 522 | let (^) = Pervasives.(^) 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
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend_utils.cmx coq_backend_utils.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o coq_backend.cmx coq_backend.ml
- File "coq_backend.ml", line 145, characters 68-86:
- 145 | module OutputSet = Set.Make (struct type t = Output.t let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 163, characters 4-18:
- 163 | Pervasives.(^) "x" post
- ^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 255, characters 43-61:
- 255 | let all_fields = List.filter (fun x -> Pervasives.compare name x <> 0) all_fields 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 "coq_backend.ml", line 300, characters 69-87:
- 300 | module AssocMap = Map.Make (struct type t = string let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- 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 "coq_backend.ml", line 630, characters 10-28:
- 630 | Pervasives.compare name name' = 0
- ^^^^^^^^^^^^^^^^^^
- 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 ocamldep -package zarith -modules debug.ml > debug.ml.depends
- + ocamlfind ocamldep -package zarith -modules pcombinators.mli > pcombinators.mli.depends
- + ocamlfind ocamldep -package zarith -modules syntactic_tests.mli > syntactic_tests.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o pcombinators.cmi pcombinators.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o syntactic_tests.cmi syntactic_tests.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o debug.cmo debug.ml
- + ocamlfind ocamldep -package zarith -modules pcombinators.ml > pcombinators.ml.depends
- + ocamlfind ocamldep -package zarith -modules syntactic_tests.ml > syntactic_tests.ml.depends
- + ocamlfind ocamldep -package zarith -modules reporting.ml > reporting.ml.depends
- + ocamlfind ocamldep -package zarith -modules reporting.mli > reporting.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o reporting.cmi reporting.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o backend.cmx backend.ml
- File "backend.ml", line 98, characters 11-25:
- 98 | let (^^) = Pervasives.(^)
- ^^^^^^^^^^^^^^
- 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 "backend.ml", line 109, characters 57-74:
- 109 | let new_s = String.concat "" [Str.matched_group 1 s; String.capitalize (Str.matched_group 2 s)] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "backend.ml", lines 1644-1651, characters 2-35:
- 1644 | ..match c_id_string with
- 1645 | | "AilSyntax.Plus" -> false
- 1646 | | "AilSyntax.Minus" -> false
- 1647 | | "AilSyntax.Bnot" -> false
- 1648 | | "AilSyntax.Address" -> false
- 1649 | | "AilSyntax.Indirection" -> false
- 1650 | | "AilSyntax.PostfixIncr" -> true
- 1651 | | "AilSyntax.PostfixDecr" -> true
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ""
- File "backend.ml", lines 1944-1949, characters 14-17:
- 1944 | ..............begin
- 1945 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with
- 1946 | | (kind,(Some op_output)), true -> Ail, Some [pparg e; (concat emp op_output) ]
- 1947 | | (kind,(Some op_output)), false -> Ail, Some [pparg_flip_lskip (concat emp op_output) e ]
- 1948 | | (kind,None), true -> Ail, Some [pparg op; pparg e;]
- 1949 | end
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ((_, None), false)
- File "backend.ml", lines 1941-1951, characters 8-11:
- 1941 | ........begin
- 1942 | match deconstruct_arg op with
- 1943 | | Some (c_id_string',[]) ->
- 1944 | begin
- 1945 | match ppc (c_id_string',[]), ail_unary_is_postfix c_id_string' with
- ...
- 1948 | | (kind,None), true -> Ail, Some [pparg op; pparg e;]
- 1949 | end
- 1950 | | None -> Ail, Some [pparg op; pparg e;]
- 1951 | end
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Some (_, _::_)
- File "backend.ml", lines 2916-2955, characters 40-73:
- 2916 | ........................................match t.term with
- 2917 | | Typ_wild(sk) -> t
- 2918 | | Typ_var(sk,tv) -> t
- 2919 | | Typ_len(n) -> t
- 2920 | | Typ_fn(t1,sk,t2) ->
- ...
- 2952 | { t with term = Typ_backend(id, List.map (hol_strip_args_t type_names) ts) }
- 2953 | end
- 2954 | | Typ_paren(sk1,t,sk2) ->
- 2955 | { t with term = Typ_paren(sk1,hol_strip_args_t type_names t, sk2) }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Typ_with_sort (_, _)
- File "backend.ml", line 2171, characters 9-16:
- 2171 | let (c_descr : Typed_ast.const_descr) = c_env_lookup Ast.Unknown A.env.c_env cd.descr in
- ^^^^^^^
- Warning 26 [unused-var]: unused variable c_descr.
- File "backend.ml", line 3753, characters 12-69:
- 3753 | | Val_def ((Let_def(s1, targets,(p, name_map, topt,sk, e)) as def)) ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable def.
- File "backend.ml", line 3764, characters 12-63:
- 3764 | | Val_def ((Fun_def (s1, rec_flag, targets, clauses) as def)) ->
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable def.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o reporting.cmx reporting.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o pcombinators.cmx pcombinators.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o syntactic_tests.cmx syntactic_tests.ml
- File "syntactic_tests.ml", line 165, characters 10-70:
- 165 | List.map (fun x -> check_decidable_equality_def' env x true)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 5 [ignored-partial-application]: this function application is partial,
- maybe some arguments are missing.
- File "syntactic_tests.ml", line 214, characters 18-36:
- 214 | 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 ocamldep -package zarith -modules initial_env.ml > initial_env.ml.depends
- + ocamlfind ocamldep -package zarith -modules initial_env.mli > initial_env.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o initial_env.cmi initial_env.mli
- + ocamlfind ocamldep -package zarith -modules process_file.ml > process_file.ml.depends
- + ocamlfind ocamldep -package zarith -modules process_file.mli > process_file.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o process_file.cmi process_file.mli
- + /home/opam/.opam/default/bin/ocamllex.opt -q lexer.mll
- + ocamlfind ocamldep -package zarith -modules lexer.ml > lexer.ml.depends
- + /home/opam/.opam/default/bin/ocamlyacc parser.mly
- + /home/opam/.opam/default/bin/ocamlyacc parser.mly
- 5 rules never reduced
- 2 shift/reduce conflicts, 2 reduce/reduce conflicts.
- + ocamlfind ocamldep -package zarith -modules parser.mli > parser.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o parser.cmi parser.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o lexer.cmo lexer.ml
- + ocamlfind ocamldep -package zarith -modules parser.ml > parser.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o parser.cmx parser.ml
- + ocamlfind ocamldep -package zarith -modules trans.ml > trans.ml.depends
- + ocamlfind ocamldep -package zarith -modules trans.mli > trans.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o trans.cmi trans.mli
- + ocamlfind ocamldep -package zarith -modules patterns.ml > patterns.ml.depends
- + ocamlfind ocamldep -package zarith -modules patterns.mli > patterns.mli.depends
- + ocamlfind ocamldep -package zarith -modules def_trans.mli > def_trans.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o def_trans.cmi def_trans.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o patterns.cmi patterns.mli
- + ocamlfind ocamldep -package zarith -modules def_trans.ml > def_trans.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o def_trans.cmx def_trans.ml
- File "def_trans.ml", line 129, characters 32-55:
- 129 | let remove_import_include _ env (((d,s),l,lenv) as def) =
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable def.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o patterns.cmx patterns.ml
- File "patterns.ml", line 94, characters 35-77:
- 94 | let check_number_patterns env p = (for_all_subpat check_number_patterns_aux p; ())
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- File "patterns.ml", line 2246, characters 44-62:
- 2246 | let constr_ids = List.sort (fun id id' -> Pervasives.compare id.descr id'.descr) constr_ids 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 "patterns.ml", line 2287, characters 12-30:
- 2287 | Pervasives.compare c.descr c'.descr
- ^^^^^^^^^^^^^^^^^^
- 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 "patterns.ml", line 2311, characters 29-47:
- 2311 | let all_pats = List.sort Pervasives.compare all_pats 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 "patterns.ml", line 2145, characters 6-21:
- 2145 | let new_list_wc_pat = matrix_compile_mk_pwild list_ty in
- ^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable new_list_wc_pat.
- File "patterns.ml", line 2146, characters 6-21:
- 2146 | let new_elem_wc_pat = matrix_compile_mk_pwild elem_ty in
- ^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable new_elem_wc_pat.
- File "patterns.ml", line 2190, characters 6-14:
- 2190 | let nil_pats =
- ^^^^^^^^
- Warning 26 [unused-var]: unused variable nil_pats.
- File "patterns.ml", line 2192, characters 6-15:
- 2192 | let cons_pats =
- ^^^^^^^^^
- Warning 26 [unused-var]: unused variable cons_pats.
- File "patterns.ml", line 2346, characters 6-19:
- 2346 | let case_fun_else p ee =
- ^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable case_fun_else.
- File "patterns.ml", line 2348, characters 6-18:
- 2348 | let dest_in_else e = [] in
- ^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable dest_in_else.
- File "patterns.ml", line 2349, characters 6-20:
- 2349 | let restr_pat_else _ = matrix_compile_mk_pwild p_ty in
- ^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable restr_pat_else.
- File "patterns.ml", line 2351, characters 6-10:
- 2351 | let nall = List.length all_args in
- ^^^^
- Warning 26 [unused-var]: unused variable nall.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o lexer.cmx lexer.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o trans.cmx trans.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o process_file.cmx process_file.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o process_file.cmx process_file.ml
- File "process_file.ml", line 189, characters 36-55:
- 189 | let module_name_lower = String.uncapitalize module_name in
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- File "process_file.ml", line 248, characters 36-55:
- 248 | let module_name_lower = String.uncapitalize module_name in
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- + ocamlfind ocamldep -package zarith -modules module_dependencies.ml > module_dependencies.ml.depends
- + ocamlfind ocamldep -package zarith -modules module_dependencies.mli > module_dependencies.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o module_dependencies.cmi module_dependencies.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o ast_util.cmx ast_util.ml
- + ocamlfind ocamldep -package zarith -modules rename_top_level.ml > rename_top_level.ml.depends
- + ocamlfind ocamldep -package zarith -modules rename_top_level.mli > rename_top_level.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o rename_top_level.cmi rename_top_level.mli
- + ocamlfind ocamldep -package zarith -modules target_trans.ml > target_trans.ml.depends
- + ocamlfind ocamldep -package zarith -modules target_trans.mli > target_trans.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_trans.cmi target_trans.mli
- + ocamlfind ocamldep -package zarith -modules convert_relations.ml > convert_relations.ml.depends
- + ocamlfind ocamldep -package zarith -modules typecheck_ctxt.mli > typecheck_ctxt.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmi typecheck_ctxt.mli
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o convert_relations.cmo convert_relations.ml
- File "convert_relations.ml", lines 1494-1496, characters 6-45:
- 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in
- 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in
- 1496 | (mk_name_l c_name, c_ref, None, c_args)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- None
- File "convert_relations.ml", lines 2014-2019, characters 6-55:
- 2014 | ......let ([output], equalities) =
- 2015 | extract_patterns env avoid [v] [true] in
- 2016 | let bound = Nmap.domain (pat_to_bound output) in
- 2017 | LET(output, u,
- 2018 | build_code (Nset.union bound known) indconds
- 2019 | sideconds2 (equalities@eqconds2) usefuleqs)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ({typ=_; rest=_; _ }::{typ=_; rest=_; _ }::_, _)
- File "convert_relations.ml", line 1870, characters 6-10:
- 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in
- ^^^^
- Warning 26 [unused-var]: unused variable vars.
- + ocamlfind ocamldep -package zarith -modules typecheck_ctxt.ml > typecheck_ctxt.ml.depends
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck_ctxt.cmx typecheck_ctxt.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o rename_top_level.cmx rename_top_level.ml
- + ocamlfind ocamldep -package zarith -modules target_syntax.ml > target_syntax.ml.depends
- + ocamlfind ocamldep -package zarith -modules target_syntax.mli > target_syntax.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o target_syntax.cmi target_syntax.mli
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o convert_relations.cmx convert_relations.ml
- File "convert_relations.ml", lines 1494-1496, characters 6-45:
- 1494 | ......let Some (c_ref) = Nfmap.apply c_ref_m c_rule in
- 1495 | let c_args = sep_no_skips (List.map t_to_src_t c_args) in
- 1496 | (mk_name_l c_name, c_ref, None, c_args)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- None
- File "convert_relations.ml", lines 2014-2019, characters 6-55:
- 2014 | ......let ([output], equalities) =
- 2015 | extract_patterns env avoid [v] [true] in
- 2016 | let bound = Nmap.domain (pat_to_bound output) in
- 2017 | LET(output, u,
- 2018 | build_code (Nset.union bound known) indconds
- 2019 | sideconds2 (equalities@eqconds2) usefuleqs)
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- ({typ=_; rest=_; _ }::{typ=_; rest=_; _ }::_, _)
- File "convert_relations.ml", line 1870, characters 6-10:
- 1870 | let vars = Nfmap.domain (Nfmap.from_list rule.rule_vars) in
- ^^^^
- Warning 26 [unused-var]: unused variable vars.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_syntax.cmx target_syntax.ml
- + ocamlfind ocamldep -package zarith -modules typecheck.ml > typecheck.ml.depends
- + ocamlfind ocamldep -package zarith -modules typecheck.mli > typecheck.mli.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o typecheck.cmi typecheck.mli
- + ocamlfind ocamldep -package zarith -modules version.ml > version.ml.depends
- + ocamlfind ocamlc -c -g -annot -package zarith -I ulib -o version.cmo version.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o debug.cmx debug.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o initial_env.cmx initial_env.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o module_dependencies.cmx module_dependencies.ml
- File "module_dependencies.ml", line 57, characters 16-34:
- 57 | 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 "module_dependencies.ml", line 84, characters 2-19:
- 84 | String.capitalize filename_base
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "module_dependencies.ml", line 89, characters 2-21:
- 89 | String.uncapitalize (modname ^ ".lem")
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- File "module_dependencies.ml", line 120, characters 57-74:
- 120 | let needed_module_strings = List.map (fun (n, l) -> (String.capitalize (Name.to_string n), l)) needed_modules_top in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o target_trans.cmx target_trans.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o typecheck.cmx typecheck.ml
- File "typecheck.ml", line 74, characters 4-22:
- 74 | Pervasives.compare r1 r2
- ^^^^^^^^^^^^^^^^^^
- 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 "typecheck.ml", line 3456, characters 44-63:
- 3456 | let dict_name = Name.from_string (String.uncapitalize (Name.to_string instance_name) ^ "_dict") in
- ^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.uncapitalize
- Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead.
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o version.cmx version.ml
- + ocamlfind ocamlopt -c -g -annot -package zarith -I ulib -o main.cmx main.ml
- + ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/src'
- ln -sf src/main.native lem
- cat lem.sh >lem
- chmod a+x lem
- mkdir -p bin
- cd bin && ln -sf ../src/main.native lem
- /usr/bin/make -C library
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/library'
- /usr/bin/make -C .. build-lem
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03'
- echo "(* Generated file -- do not edit. *)" > src/version.ml
- echo 'let v="2020-06-03"' >> src/version.ml
- echo "(* Generated file -- do not edit. *)" > src/share_directory.ml
- echo let d=\"/home/opam/.opam/default/share/lem\" >> src/share_directory.ml
- /usr/bin/make -C src all
- make[3]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/src'
- ocamlbuild -use-ocamlfind -cflags -g main.native
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt -linkpkg str.cmxa -package zarith -I ulib ulib/batReturn.cmx ulib/batUChar.cmx ulib/batUTF8.cmx ulib/batText.cmx ulib/ulib.cmx ast.cmx pp.cmx reporting_basic.cmx util.cmx output.cmx name.cmx ident.cmx path.cmx ast_util.cmx external_constants.cmx finite_map.cmx nvar.cmx seplist.cmx target.cmx tyvar.cmx types.cmx typed_ast.cmx macro_expander.cmx typed_ast_syntax.cmx pattern_syntax.cmx precedence.cmx share_directory.cmx target_binding.cmx backend_common.cmx coq_backend_utils.cmx coq_backend.cmx backend.cmx def_trans.cmx reporting.cmx patterns.cmx typecheck_ctxt.cmx convert_relations.cmx pcombinators.cmx syntactic_tests.cmx debug.cmx parser.cmx lexer.cmx trans.cmx process_file.cmx initial_env.cmx module_dependencies.cmx rename_top_level.cmx target_syntax.cmx target_trans.cmx typecheck.cmx version.cmx main.cmx -o main.native
- make[3]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/src'
- ln -sf src/main.native lem
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03'
- ../lem -ocaml -outdir ../ocaml-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem -auxiliary_level none -only_changed_output
- ../lem -hol -hol_remove_matches -outdir ../hol-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem -auxiliary_level none -only_changed_output
- ../lem -isa -outdir ../isabelle-lib -wl ign -wl_auto_import err -wl_rename err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem -auxiliary_level none -only_changed_output
- ../lem -coq -outdir ../coq-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem -auxiliary_level none -only_changed_output
- ../lem -tex_all ../tex-lib/lem-libs.tex -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem
- ../lem -html -outdir ../html-lib -wl ign -wl_auto_import err bool.lem basic_classes.lem function.lem maybe.lem num.lem tuple.lem list.lem either.lem set_helpers.lem set.lem map.lem relation.lem sorting.lem function_extra.lem assert_extra.lem list_extra.lem string.lem num_extra.lem map_extra.lem set_extra.lem maybe_extra.lem string_extra.lem word.lem show.lem show_extra.lem machine_word.lem pervasives.lem pervasives_extra.lem
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/library'
- /usr/bin/make ocaml-libs
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03'
- /usr/bin/make -C ocaml-lib all
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.mli > num_impl_zarith/big_int_impl.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmi num_impl_zarith/big_int_impl.mli
- + ocamlfind ocamldep -package zarith -modules num_impl_zarith/big_int_impl.ml > num_impl_zarith/big_int_impl.ml.depends
- + ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.mli > num_impl_zarith/rational_impl.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmi num_impl_zarith/rational_impl.mli
- + ocamlfind ocamldep -package zarith -modules num_impl_zarith/rational_impl.ml > num_impl_zarith/rational_impl.ml.depends
- + ocamlfind ocamldep -package zarith -modules nat_big_num.mli > nat_big_num.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmi nat_big_num.mli
- + ocamlfind ocamldep -package zarith -modules nat_big_num.ml > nat_big_num.ml.depends
- + ocamlfind ocamldep -package zarith -modules nat_num.mli > nat_num.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmi nat_num.mli
- + ocamlfind ocamldep -package zarith -modules nat_num.ml > nat_num.ml.depends
- + ocamlfind ocamldep -package zarith -modules rational.mli > rational.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmi rational.mli
- + ocamlfind ocamldep -package zarith -modules rational.ml > rational.ml.depends
- + ocamlfind ocamldep -package zarith -modules pset.mli > pset.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmi pset.mli
- + ocamlfind ocamldep -package zarith -modules pset.ml > pset.ml.depends
- + ocamlfind ocamldep -package zarith -modules pmap.mli > pmap.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmi pmap.mli
- + ocamlfind ocamldep -package zarith -modules pmap.ml > pmap.ml.depends
- + ocamlfind ocamldep -package zarith -modules vector.mli > vector.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmi vector.mli
- + ocamlfind ocamldep -package zarith -modules vector.ml > vector.ml.depends
- + ocamlfind ocamldep -package zarith -modules bit.mli > bit.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmi bit.mli
- + ocamlfind ocamldep -package zarith -modules bit.ml > bit.ml.depends
- + ocamlfind ocamldep -package zarith -modules xstring.mli > xstring.mli.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmi xstring.mli
- + ocamlfind ocamldep -package zarith -modules xstring.ml > xstring.ml.depends
- + ocamlfind ocamldep -package zarith -modules either.ml > either.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem.ml > lem.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_assert_extra.ml > lem_assert_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_basic_classes.ml > lem_basic_classes.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem.cmo lem.ml
- + ocamlfind ocamldep -package zarith -modules lem_bool.ml > lem_bool.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_bool.cmo lem_bool.ml
- + ocamlfind ocamldep -package zarith -modules lem_either.ml > lem_either.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o either.cmo either.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmo lem_basic_classes.ml
- + ocamlfind ocamldep -package zarith -modules lem_list.ml > lem_list.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_function.ml > lem_function.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_maybe.ml > lem_maybe.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function.cmo lem_function.ml
- + ocamlfind ocamldep -package zarith -modules lem_num.ml > lem_num.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_tuple.ml > lem_tuple.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe.cmo lem_maybe.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num.cmo lem_num.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_tuple.cmo lem_tuple.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list.cmo lem_list.ml
- + ocamlfind ocamldep -package zarith -modules lem_function_extra.ml > lem_function_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_list_extra.ml > lem_list_extra.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmo lem_assert_extra.ml
- + ocamlfind ocamldep -package zarith -modules lem_machine_word.ml > lem_machine_word.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_show.ml > lem_show.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_string.ml > lem_string.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string.cmo lem_string.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show.cmo lem_show.ml
- + ocamlfind ocamldep -package zarith -modules lem_map.ml > lem_map.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_set.ml > lem_set.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_set_helpers.ml > lem_set_helpers.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmo lem_set_helpers.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set.cmo lem_set.ml
- + ocamlfind ocamldep -package zarith -modules lem_map_extra.ml > lem_map_extra.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map.cmo lem_map.ml
- + ocamlfind ocamldep -package zarith -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_num_extra.ml > lem_num_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_pervasives.ml > lem_pervasives.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_either.cmo lem_either.ml
- + ocamlfind ocamldep -package zarith -modules lem_word.ml > lem_word.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_word.cmo lem_word.ml
- + ocamlfind ocamldep -package zarith -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_function_extra.cmo lem_function_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_list_extra.cmo lem_list_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_machine_word.cmo lem_machine_word.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_map_extra.cmo lem_map_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmo lem_maybe_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_num_extra.cmo lem_num_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives.cmo lem_pervasives.ml
- + ocamlfind ocamldep -package zarith -modules lem_set_extra.ml > lem_set_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_sorting.ml > lem_sorting.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_sorting.cmo lem_sorting.ml
- + ocamlfind ocamldep -package zarith -modules lem_show_extra.ml > lem_show_extra.ml.depends
- + ocamlfind ocamldep -package zarith -modules lem_relation.ml > lem_relation.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_relation.cmo lem_relation.ml
- + ocamlfind ocamldep -package zarith -modules lem_string_extra.ml > lem_string_extra.ml.depends
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_set_extra.cmo lem_set_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_show_extra.cmo lem_show_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_string_extra.cmo lem_string_extra.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmo num_impl_zarith/big_int_impl.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmo num_impl_zarith/rational_impl.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_big_num.cmo nat_big_num.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o nat_num.cmo nat_num.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o rational.cmo rational.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pset.cmo pset.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o pmap.cmo pmap.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o vector.cmo vector.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o bit.cmo bit.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o xstring.cmo xstring.ml
- + ocamlfind ocamlc -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmo lem_pervasives_extra.ml
- + ocamlfind ocamlc -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmo num_impl_zarith/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo -o extract.cma
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/big_int_impl.cmx num_impl_zarith/big_int_impl.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o num_impl_zarith/rational_impl.cmx num_impl_zarith/rational_impl.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pset.cmx pset.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_num.cmx nat_num.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o nat_big_num.cmx nat_big_num.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o xstring.cmx xstring.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem.cmx lem.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_bool.cmx lem_bool.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o either.cmx either.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_basic_classes.cmx lem_basic_classes.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function.cmx lem_function.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o rational.cmx rational.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe.cmx lem_maybe.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num.cmx lem_num.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_tuple.cmx lem_tuple.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list.cmx lem_list.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_assert_extra.cmx lem_assert_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string.cmx lem_string.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show.cmx lem_show.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_helpers.cmx lem_set_helpers.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o pmap.cmx pmap.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set.cmx lem_set.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map.cmx lem_map.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_either.cmx lem_either.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_word.cmx lem_word.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_function_extra.cmx lem_function_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_list_extra.cmx lem_list_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_machine_word.cmx lem_machine_word.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_map_extra.cmx lem_map_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_maybe_extra.cmx lem_maybe_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_num_extra.cmx lem_num_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives.cmx lem_pervasives.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_sorting.cmx lem_sorting.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_relation.cmx lem_relation.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_set_extra.cmx lem_set_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_show_extra.cmx lem_show_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_string_extra.cmx lem_string_extra.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o vector.cmx vector.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o bit.cmx bit.ml
- + ocamlfind ocamlopt -c -package zarith -I num_impl_zarith -o lem_pervasives_extra.cmx lem_pervasives_extra.ml
- + ocamlfind ocamlopt -a -package zarith -I num_impl_zarith num_impl_zarith/big_int_impl.cmx num_impl_zarith/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx -o extract.cmxa
- ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa
- + ocamlfind ocamlc -config
- + ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.mli > num_impl_num/big_int_impl.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmi num_impl_num/big_int_impl.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmi num_impl_num/big_int_impl.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules num_impl_num/big_int_impl.ml > num_impl_num/big_int_impl.ml.depends
- + ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.mli > num_impl_num/rational_impl.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmi num_impl_num/rational_impl.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmi num_impl_num/rational_impl.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules num_impl_num/rational_impl.ml > num_impl_num/rational_impl.ml.depends
- + ocamlfind ocamldep -package num -modules nat_big_num.mli > nat_big_num.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmi nat_big_num.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmi nat_big_num.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules nat_big_num.ml > nat_big_num.ml.depends
- + ocamlfind ocamldep -package num -modules nat_num.mli > nat_num.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmi nat_num.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmi nat_num.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules nat_num.ml > nat_num.ml.depends
- + ocamlfind ocamldep -package num -modules rational.mli > rational.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmi rational.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmi rational.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules rational.ml > rational.ml.depends
- + ocamlfind ocamldep -package num -modules pset.mli > pset.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmi pset.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmi pset.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules pset.ml > pset.ml.depends
- + ocamlfind ocamldep -package num -modules pmap.mli > pmap.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmi pmap.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmi pmap.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules pmap.ml > pmap.ml.depends
- + ocamlfind ocamldep -package num -modules vector.mli > vector.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmi vector.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmi vector.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules vector.ml > vector.ml.depends
- + ocamlfind ocamldep -package num -modules bit.mli > bit.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmi bit.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmi bit.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules bit.ml > bit.ml.depends
- + ocamlfind ocamldep -package num -modules xstring.mli > xstring.mli.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmi xstring.mli
- + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmi xstring.mli
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules xstring.ml > xstring.ml.depends
- + ocamlfind ocamldep -package num -modules either.ml > either.ml.depends
- + ocamlfind ocamldep -package num -modules lem.ml > lem.ml.depends
- + ocamlfind ocamldep -package num -modules lem_assert_extra.ml > lem_assert_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_basic_classes.ml > lem_basic_classes.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem.cmo lem.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem.cmo lem.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_bool.ml > lem_bool.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_bool.cmo lem_bool.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_bool.cmo lem_bool.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_either.ml > lem_either.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o either.cmo either.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o either.cmo either.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_basic_classes.cmo lem_basic_classes.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_basic_classes.cmo lem_basic_classes.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_list.ml > lem_list.ml.depends
- + ocamlfind ocamldep -package num -modules lem_function.ml > lem_function.ml.depends
- + ocamlfind ocamldep -package num -modules lem_maybe.ml > lem_maybe.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function.cmo lem_function.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function.cmo lem_function.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_num.ml > lem_num.ml.depends
- + ocamlfind ocamldep -package num -modules lem_tuple.ml > lem_tuple.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe.cmo lem_maybe.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe.cmo lem_maybe.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num.cmo lem_num.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num.cmo lem_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_tuple.cmo lem_tuple.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_tuple.cmo lem_tuple.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list.cmo lem_list.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list.cmo lem_list.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_function_extra.ml > lem_function_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_list_extra.ml > lem_list_extra.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_assert_extra.cmo lem_assert_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_assert_extra.cmo lem_assert_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_machine_word.ml > lem_machine_word.ml.depends
- + ocamlfind ocamldep -package num -modules lem_show.ml > lem_show.ml.depends
- + ocamlfind ocamldep -package num -modules lem_string.ml > lem_string.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string.cmo lem_string.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string.cmo lem_string.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show.cmo lem_show.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show.cmo lem_show.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_map.ml > lem_map.ml.depends
- + ocamlfind ocamldep -package num -modules lem_set.ml > lem_set.ml.depends
- + ocamlfind ocamldep -package num -modules lem_set_helpers.ml > lem_set_helpers.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_helpers.cmo lem_set_helpers.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_helpers.cmo lem_set_helpers.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set.cmo lem_set.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set.cmo lem_set.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_map_extra.ml > lem_map_extra.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map.cmo lem_map.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map.cmo lem_map.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_maybe_extra.ml > lem_maybe_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_num_extra.ml > lem_num_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_pervasives.ml > lem_pervasives.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_either.cmo lem_either.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_either.cmo lem_either.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_word.ml > lem_word.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_word.cmo lem_word.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_word.cmo lem_word.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_pervasives_extra.ml > lem_pervasives_extra.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function_extra.cmo lem_function_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_function_extra.cmo lem_function_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list_extra.cmo lem_list_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_list_extra.cmo lem_list_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_machine_word.cmo lem_machine_word.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_machine_word.cmo lem_machine_word.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map_extra.cmo lem_map_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_map_extra.cmo lem_map_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe_extra.cmo lem_maybe_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_maybe_extra.cmo lem_maybe_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num_extra.cmo lem_num_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_num_extra.cmo lem_num_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives.cmo lem_pervasives.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives.cmo lem_pervasives.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_set_extra.ml > lem_set_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_sorting.ml > lem_sorting.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_sorting.cmo lem_sorting.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_sorting.cmo lem_sorting.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_show_extra.ml > lem_show_extra.ml.depends
- + ocamlfind ocamldep -package num -modules lem_relation.ml > lem_relation.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_relation.cmo lem_relation.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_relation.cmo lem_relation.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamldep -package num -modules lem_string_extra.ml > lem_string_extra.ml.depends
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_extra.cmo lem_set_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_set_extra.cmo lem_set_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show_extra.cmo lem_show_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_show_extra.cmo lem_show_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string_extra.cmo lem_string_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_string_extra.cmo lem_string_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmo num_impl_num/big_int_impl.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmo num_impl_num/big_int_impl.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmo num_impl_num/rational_impl.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmo num_impl_num/rational_impl.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmo nat_big_num.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_big_num.cmo nat_big_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmo nat_num.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o nat_num.cmo nat_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmo rational.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o rational.cmo rational.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmo pset.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pset.cmo pset.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmo pmap.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o pmap.cmo pmap.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmo vector.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o vector.cmo vector.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmo bit.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o bit.cmo bit.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmo xstring.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o xstring.cmo xstring.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives_extra.cmo lem_pervasives_extra.ml
- + ocamlfind ocamlc -c -package num -I num_impl_num -o lem_pervasives_extra.cmo lem_pervasives_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlc -a -package num -I num_impl_num num_impl_num/big_int_impl.cmo num_impl_num/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo -o extract.cma
- + ocamlfind ocamlc -a -package num -I num_impl_num num_impl_num/big_int_impl.cmo num_impl_num/rational_impl.cmo nat_big_num.cmo nat_num.cmo rational.cmo pset.cmo pmap.cmo vector.cmo bit.cmo xstring.cmo either.cmo lem.cmo lem_assert_extra.cmo lem_bool.cmo lem_basic_classes.cmo lem_function.cmo lem_maybe.cmo lem_num.cmo lem_tuple.cmo lem_list.cmo lem_either.cmo lem_function_extra.cmo lem_list_extra.cmo lem_string.cmo lem_show.cmo lem_machine_word.cmo lem_set_helpers.cmo lem_set.cmo lem_map.cmo lem_map_extra.cmo lem_maybe_extra.cmo lem_num_extra.cmo lem_word.cmo lem_pervasives.cmo lem_sorting.cmo lem_set_extra.cmo lem_relation.cmo lem_show_extra.cmo lem_string_extra.cmo lem_pervasives_extra.cmo -o extract.cma
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmx num_impl_num/big_int_impl.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/big_int_impl.cmx num_impl_num/big_int_impl.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmx num_impl_num/rational_impl.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o num_impl_num/rational_impl.cmx num_impl_num/rational_impl.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o pset.cmx pset.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o pset.cmx pset.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_num.cmx nat_num.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_num.cmx nat_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_big_num.cmx nat_big_num.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o nat_big_num.cmx nat_big_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o xstring.cmx xstring.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o xstring.cmx xstring.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem.cmx lem.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem.cmx lem.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_bool.cmx lem_bool.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_bool.cmx lem_bool.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o either.cmx either.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o either.cmx either.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_basic_classes.cmx lem_basic_classes.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_basic_classes.cmx lem_basic_classes.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function.cmx lem_function.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function.cmx lem_function.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o rational.cmx rational.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o rational.cmx rational.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe.cmx lem_maybe.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe.cmx lem_maybe.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num.cmx lem_num.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num.cmx lem_num.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_tuple.cmx lem_tuple.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_tuple.cmx lem_tuple.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list.cmx lem_list.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list.cmx lem_list.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_assert_extra.cmx lem_assert_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_assert_extra.cmx lem_assert_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string.cmx lem_string.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string.cmx lem_string.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show.cmx lem_show.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show.cmx lem_show.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_helpers.cmx lem_set_helpers.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_helpers.cmx lem_set_helpers.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o pmap.cmx pmap.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o pmap.cmx pmap.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set.cmx lem_set.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set.cmx lem_set.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map.cmx lem_map.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map.cmx lem_map.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_either.cmx lem_either.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_either.cmx lem_either.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_word.cmx lem_word.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_word.cmx lem_word.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function_extra.cmx lem_function_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_function_extra.cmx lem_function_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list_extra.cmx lem_list_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_list_extra.cmx lem_list_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_machine_word.cmx lem_machine_word.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_machine_word.cmx lem_machine_word.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map_extra.cmx lem_map_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_map_extra.cmx lem_map_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe_extra.cmx lem_maybe_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_maybe_extra.cmx lem_maybe_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num_extra.cmx lem_num_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_num_extra.cmx lem_num_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives.cmx lem_pervasives.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives.cmx lem_pervasives.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_sorting.cmx lem_sorting.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_sorting.cmx lem_sorting.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_relation.cmx lem_relation.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_relation.cmx lem_relation.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_extra.cmx lem_set_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_set_extra.cmx lem_set_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show_extra.cmx lem_show_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_show_extra.cmx lem_show_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string_extra.cmx lem_string_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_string_extra.cmx lem_string_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o vector.cmx vector.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o vector.cmx vector.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o bit.cmx bit.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o bit.cmx bit.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives_extra.cmx lem_pervasives_extra.ml
- + ocamlfind ocamlopt -c -package num -I num_impl_num -o lem_pervasives_extra.cmx lem_pervasives_extra.ml
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- + ocamlfind ocamlopt -a -package num -I num_impl_num num_impl_num/big_int_impl.cmx num_impl_num/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx -o extract.cmxa
- + ocamlfind ocamlopt -a -package num -I num_impl_num num_impl_num/big_int_impl.cmx num_impl_num/rational_impl.cmx nat_big_num.cmx nat_num.cmx rational.cmx pset.cmx pmap.cmx vector.cmx bit.cmx xstring.cmx either.cmx lem.cmx lem_assert_extra.cmx lem_bool.cmx lem_basic_classes.cmx lem_function.cmx lem_maybe.cmx lem_num.cmx lem_tuple.cmx lem_list.cmx lem_either.cmx lem_function_extra.cmx lem_list_extra.cmx lem_string.cmx lem_show.cmx lem_machine_word.cmx lem_set_helpers.cmx lem_set.cmx lem_map.cmx lem_map_extra.cmx lem_maybe_extra.cmx lem_num_extra.cmx lem_word.cmx lem_pervasives.cmx lem_relation.cmx lem_sorting.cmx lem_set_extra.cmx lem_show_extra.cmx lem_string_extra.cmx lem_pervasives_extra.cmx -o extract.cmxa
- findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/default/lib/ocaml, /home/opam/.opam/default/lib/num
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- /usr/bin/make -C library ocaml-lib-tests
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/library'
- lem_basic_classesAuxiliary.ml
- lem_boolAuxiliary.ml
- lem_eitherAuxiliary.ml
- lem_function_extraAuxiliary.ml
- lem_listAuxiliary.ml
- lem_list_extraAuxiliary.ml
- lem_machine_wordAuxiliary.ml
- lem_mapAuxiliary.ml
- lem_map_extraAuxiliary.ml
- lem_maybeAuxiliary.ml
- lem_numAuxiliary.ml
- lem_num_extraAuxiliary.ml
- lem_relationAuxiliary.ml
- lem_setAuxiliary.ml
- lem_set_extraAuxiliary.ml
- lem_sortingAuxiliary.ml
- lem_stringAuxiliary.ml
- lem_string_extraAuxiliary.ml
- lem_tupleAuxiliary.ml
- lem_wordAuxiliary.ml
-
-
-
-
- ***************************************************
- * Testing lem_basic_classes
- ***************************************************
-
- ordering_cases_0: ok
- ordering_cases_1: ok
- ordering_cases_2: ok
- ordering_match_1: ok
- ordering_match_2: ok
- ordering_match_3: ok
- ordering_match_4: ok
- ordering_match_5: ok
- ordering_match_6: ok
-
-
-
-
- ***************************************************
- * Testing lem_bool
- ***************************************************
-
- not_1: ok
- not_2: ok
- and_1: ok
- and_2: ok
- and_3: ok
- and_4: ok
- or_1: ok
- or_2: ok
- or_3: ok
- or_4: ok
- imp_1: ok
- imp_2: ok
- imp_3: ok
- imp_4: ok
- equiv_1: ok
- equiv_2: ok
- equiv_3: ok
- equiv_4: ok
- xor_1: ok
- xor_2: ok
- xor_3: ok
- xor_4: ok
-
-
-
-
- ***************************************************
- * Testing lem_either
- ***************************************************
-
- either_equal_1: ok
- either_equal_2: ok
- either_equal_3: ok
- either_equal_4: ok
- either_equal_5: ok
- either_equal_6: ok
- either_equal_7: ok
- either_pattern_1: ok
- either_pattern_2: ok
- either_pattern_3: ok
- either_pattern_4: ok
- isLeft_1: ok
- isLeft_2: ok
- isRight_1: ok
- isRight_2: ok
- either_1: ok
- either_2: ok
- either_3: ok
- either_4: ok
- partitionEither_1: ok
- lefts_1: ok
- rights_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_function_extra
- ***************************************************
-
- id_0: ok
- id_1: ok
- id_2: ok
- const_0: ok
- const_1: ok
- const_2: ok
- comb_0: ok
- comb_1: ok
- apply_0: ok
- apply_1: ok
- flip_0: ok
- flip_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_list
- ***************************************************
-
- null_simple_1: ok
- null_simple_2: ok
- null_simple_3: ok
- length_0: ok
- length_1: ok
- length_2: ok
- list_ord_1: ok
- list_ord_2: ok
- list_ord_3: ok
- list_ord_4: ok
- list_ord_5: ok
- list_ord_6: ok
- list_ord_7: ok
- list_ord_8: ok
- list_ord_9: ok
- append_1: ok
- snoc_1: ok
- snoc_2: ok
- snoc_3: ok
- reverseAppend_1: ok
- reverse_nil: ok
- reverse_1: ok
- reverse_2: ok
- reverse_5: ok
- map_nil: ok
- map_1: ok
- map_2: ok
- map_3: ok
- map_4: ok
- map_5: ok
- map_6: ok
- foldl_0: ok
- foldl_1: ok
- foldl_4: ok
- foldr_0: ok
- foldr_1: ok
- foldr_4: ok
- concat_nil: ok
- concat_1: ok
- concat_2: ok
- concat_3: ok
- concatMap_nil: ok
- concatMap_1: ok
- concatMap_2: ok
- concatMap_3: ok
- all_0: ok
- all_4: ok
- all_4_neg: ok
- any_0: ok
- any_4: ok
- any_4_neg: ok
- dest_init_0: ok
- dest_init_1: ok
- dest_init_2: ok
- index_0: ok
- index_1: ok
- index_2: ok
- index_3: ok
- index_4: ok
- index_5: ok
- index_6: ok
- findIndices_1: ok
- findIndices_2: ok
- findIndices_3: ok
- find_index0: ok
- find_index1: ok
- find_index2: ok
- elemIndices_0: ok
- elemIndices_1: ok
- elemIndices_2: ok
- elemIndex_0: ok
- elemIndex_1: ok
- elemIndex_2: ok
- genlist_0: ok
- genlist_1: ok
- genlist_2: ok
- genlist_3: ok
- replicate_0: ok
- replicate_1: ok
- replicate_2: ok
- replicate_3: ok
- splitAt_1: ok
- splitAt_2: ok
- splitAt_3: ok
- take_1: ok
- take_2: ok
- take_3: ok
- drop_1: ok
- drop_2: ok
- drop_3: ok
- splitWhile_1: ok
- splitWhile_2: ok
- dropWhile_0: ok
- dropWhile_1: ok
- dropWhile_2: ok
- dropWhile_3: ok
- takeWhile_0: ok
- takeWhile_1: ok
- takeWhile_2: ok
- takeWhile_3: ok
- isPrefixOf_0: ok
- isPrefixOf_1: ok
- isPrefixOf_2: ok
- isPrefixOf_3: ok
- isPrefixOf_4: ok
- list_update_1: ok
- list_update_2: ok
- list_update_3: ok
- list_update_4: ok
- list_update_5: ok
- elem_1: ok
- elem_2: ok
- elem_3: ok
- elem_4: ok
- find_1: ok
- find_2: ok
- find_3: ok
- find_4: ok
- lookup_1: ok
- lookup_2: ok
- lookup_3: ok
- filter_0: ok
- filter_1: ok
- partition_0: ok
- partition_1: ok
- deleteFirst_1: ok
- deleteFirst_2: ok
- deleteFirst_3: ok
- delete_1: ok
- delete_2: ok
- delete_3: ok
- delete_4: ok
- zip_1: ok
- zip_2: ok
- unzip_1: ok
- unzip_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_list_extra
- ***************************************************
-
- head_simple_1: ok
- head_simple_2: ok
- tail_simple_1: ok
- tail_simple_2: ok
- tail_simple_3: ok
- last_simple_1: ok
- last_simple_2: ok
- init_simple_1: ok
- init_simple_2: ok
- init_simple_3: ok
- nth_0: ok
- nth_1: ok
- nth_2: ok
- nth_3: ok
- nth_4: ok
- nth_5: ok
- zipSameLength_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_machine_word
- ***************************************************
-
- size_test: ok
- size_itself_test: ok
- length_test: ok
- signedIntFromword_test: ok
- wordFromBitlist_test: ok
- bitlistFromWord_test: ok
- wordFromBitlist_bitListFromWord_test: ok
- extract_concat_test: ok
- update_test: ok
- setBit_test1: ok
- setBit_test2: ok
- setBit_test3: ok
- getBit_test: ok
- shift_test1: ok
- shift_test2: ok
- shift_test3: ok
- shift_test4: ok
- and_test: ok
- or_test: ok
- xor_test: ok
- not_test: ok
- rotateR_test: ok
- rotateL_test: ok
- zext_test_0: ok
- zext_test_1: ok
- wordFromInteger_nat_test1: ok
- wordFromInteger_nat_test2: ok
- plus_test: ok
- minus_test: ok
- times_test: ok
- udiv_test: ok
- sdiv_test: ok
- signedLess_test_1: ok
- signedLess_test_2: ok
- signedLess_test_3: ok
- signedLessEq_test_1: ok
- signedLessEq_test_2: ok
- signedLessEq_test_3: ok
- unsignedLess_test_1: ok
- unsignedLess_test_2: ok
- unsignedLess_test_3: ok
- unsignedLessEq_test_1: ok
- unsignedLessEq_test_2: ok
- unsignedLessEq_test_3: ok
- sext_test_0: ok
- sext_test_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_map
- ***************************************************
-
- insert_equal_singleton: ok
- commutative_insert_1: ok
- commutative_insert_2: ok
- empty_null: ok
- lookup_insert_1: ok
- lookup_insert_2: ok
- lookup_insert_3: ok
- lookup_empty_0: ok
- find_insert_0: ok
- fromList_0: ok
- fromList_1: ok
- toSet_0: ok
- toSet_1: ok
- toSet_2: ok
- domain_0: ok
- domain_1: ok
- domain_2: ok
- range_0: ok
- range_1: ok
- range_2: ok
- member_insert_1: ok
- member_insert_2: ok
- member_insert_3: ok
- any_0: ok
- any_1: ok
- any_2: ok
- any_3: ok
- all_0: ok
- all_1: ok
- all_2: ok
- all_3: ok
- delete_insert_1: ok
- delete_insert_2: ok
- delete_delete: ok
- map_0: ok
- empty_size: ok
- singleton_size: ok
-
-
-
-
- ***************************************************
- * Testing lem_map_extra
- ***************************************************
-
- find_insert_1: ok
- find_insert_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_maybe
- ***************************************************
-
- maybe_eq_1: ok
- maybe_eq_2: ok
- maybe_eq_3: ok
- maybe_eq_4: ok
- maybe_1: ok
- maybe_2: ok
- maybe_3: ok
- maybe_4: ok
- isJust_1: ok
- isJust_2: ok
- isNothing_1: ok
- isNothing_2: ok
- fromMaybe_1: ok
- fromMaybe_2: ok
- fromMaybe_3: ok
- fromMaybe_4: ok
- map_1: ok
- map_2: ok
- map_3: ok
- bind_1: ok
- bind_2: ok
- bind_3: ok
- bind_4: ok
-
-
-
-
- ***************************************************
- * Testing lem_num
- ***************************************************
-
- nat_test1: ok
- nat_test2: ok
- nat_test3: ok
- nat_test4: ok
- nat_test5: ok
- nat_test6: ok
- nat_test7: ok
- nat_test8: ok
- nat_test9: ok
- nat_test10: ok
- nat_test11: ok
- nat_test12: ok
- nat_test13: ok
- nat_test14: ok
- nat_test15: ok
- nat_test16: ok
- nat_test17: ok
- nat_test18: ok
- nat_test19: ok
- nat_test20: ok
- nat_test21: ok
- nat_test22: ok
- nat_test23: ok
- nat_test24: ok
- nat_test25: ok
- nat_test26: ok
- nat_test27: ok
- nat_test28a: ok
- nat_test28b: ok
- nat_test29: ok
- natural_test1: ok
- natural_test2: ok
- natural_test3: ok
- natural_test4: ok
- natural_test5: ok
- natural_test6: ok
- natural_test7: ok
- natural_test8: ok
- natural_test9: ok
- natural_test10: ok
- natural_test11: ok
- natural_test12: ok
- natural_test13: ok
- natural_test14: ok
- natural_test15: ok
- natural_test16: ok
- natural_test17: ok
- natural_test18: ok
- natural_test19: ok
- natural_test20: ok
- natural_test21: ok
- natural_test22: ok
- natural_test23: ok
- natural_test24: ok
- natural_test25: ok
- natural_test26: ok
- natural_test27: ok
- natural_test28a: ok
- natural_test28b: ok
- natural_test29: ok
- int_test1: ok
- int_test2: ok
- int_test3: ok
- int_test4: ok
- int_test5: ok
- int_test6: ok
- int_test6a: ok
- int_test7: ok
- int_test7a: ok
- int_test8: ok
- int_test8at: ok
- int_test9: ok
- int_test10: ok
- int_test11: ok
- int_test12: ok
- int_test13: ok
- int_test14: ok
- int_test15: ok
- int_test16: ok
- int_test17: ok
- int_test18: ok
- int_test19: ok
- int_test20: ok
- int_test21: ok
- int_test22: ok
- int_test23: ok
- int_test24: ok
- int_test25: ok
- int_test26: ok
- int_test27: ok
- int_test28: ok
- int_test29: ok
- int32_test1: ok
- int32_test2: ok
- int32_test3: ok
- int32_test4: ok
- int32_test5: ok
- int32_test6: ok
- int32_test7: ok
- int32_test8: ok
- int32_test9: ok
- int32_test10: ok
- int32_test11: ok
- int32_test12: ok
- int32_test13: ok
- int32_test13a: ok
- int32_test14: ok
- int32_test15: ok
- int32_test16: ok
- int32_test17: ok
- int32_test18: ok
- int32_test19: ok
- int32_test20: ok
- int32_test21: ok
- int32_test22: ok
- int32_test23: ok
- int32_test24: ok
- int32_test25: ok
- int32_test26: ok
- int32_test27: ok
- int32_test28: ok
- int64_test1: ok
- int64_test2: ok
- int64_test3: ok
- int64_test4: ok
- int64_test5: ok
- int64_test6: ok
- int64_test7: ok
- int64_test8: ok
- int64_test9: ok
- int64_test10: ok
- int64_test11: ok
- int64_test12: ok
- int64_test13: ok
- int64_test13a: ok
- int64_test14: ok
- int64_test15: ok
- int64_test16: ok
- int64_test17: ok
- int64_test18: ok
- int64_test19: ok
- int64_test20: ok
- int64_test21: ok
- int64_test22: ok
- int64_test23: ok
- int64_test24: ok
- int64_test25: ok
- int64_test26: ok
- int64_test27: ok
- int64_test28: ok
- integer_test1: ok
- integer_test2: ok
- integer_test3: ok
- integer_test4: ok
- integer_test5: ok
- integer_test6: ok
- integer_test6a: ok
- integer_test7: ok
- integer_test7a: ok
- integer_test8: ok
- integer_test8a: ok
- integer_test9: ok
- integer_test10: ok
- integer_test11: ok
- integer_test12: ok
- integer_test13: ok
- integer_test14: ok
- integer_test15: ok
- integer_test16: ok
- integer_test17: ok
- integer_test18: ok
- integer_test19: ok
- integer_test20: ok
- integer_test21: ok
- integer_test22: ok
- integer_test23: ok
- integer_test24: ok
- integer_test25: ok
- integer_test26: ok
- integer_test27: ok
- integer_test28: ok
- integer_test29: ok
- integer_test30: ok
- rational_test1: ok
- rational_test2: ok
- rational_test3: ok
- rational_test4: ok
- rational_test5: ok
- rational_test5a: ok
- rational_test5b: ok
- rational_test5c: ok
- rational_test6: ok
- rational_test6a: ok
- rational_test7: ok
- rational_test8: ok
- rational_test9: ok
- rational_test10: ok
- rational_test11: ok
- rational_test12: ok
- rational_test13: ok
- rational_test14: ok
- rational_test15: ok
- rational_test16: ok
- rational_test17: ok
- rational_test18: ok
- rational_test19: ok
- rational_test20: ok
- rational_test21: ok
- rational_test22: ok
- rational_test23: ok
- rational_test24: ok
- rational_test25: ok
- rational_test26: ok
- rational_test27: ok
- rational_test28: ok
- rational_test29: ok
- real_test1: ok
- real_test2: ok
- real_test3: ok
- real_test4: ok
- real_test5: ok
- real_test5a: ok
- real_test5b: ok
- real_test5c: ok
- real_test6: ok
- real_test6a: ok
- real_test7: ok
- real_test8: ok
- real_test9: ok
- real_test10: ok
- real_test11: ok
- real_test12: ok
- real_test13: ok
- real_test14: ok
- real_test15: ok
- real_test16: ok
- real_test17: ok
- real_test18: ok
- real_test19: ok
- real_test20: ok
- real_test21: ok
- real_test22: ok
- real_test23: ok
- real_test24: ok
- real_test25: ok
- real_test26: ok
- real_test27: ok
- real_test28: ok
- real_test29: ok
- real_test30: ok
- real_test31: ok
- real_test32: ok
- real_test33: ok
- integer_from_int_0: ok
- integer_from_int_1: ok
- integer_from_int_2: ok
- integer_from_nat_0: ok
- integer_from_nat_1: ok
- integer_from_nat_2: ok
- integerFromNatural_0: ok
- integerFromNatural_1: ok
- integerFromNatural_2: ok
- integer_from_int32_0: ok
- integer_from_int32_1: ok
- integer_from_int32_2: ok
- integer_from_int32_3: ok
- integer_from_int32_4: ok
- integer_from_int32_5: ok
- integer_from_int64_0: ok
- integer_from_int64_1: ok
- integer_from_int64_2: ok
- integer_from_int64_3: ok
- integer_from_int64_4: ok
- integer_from_int64_5: ok
- natural_from_nat_0: ok
- natural_from_nat_1: ok
- natural_from_nat_2: ok
- natural_from_integer_0: ok
- natural_from_integer_1: ok
- natural_from_integer_2: ok
- int_from_integer_0: ok
- int_from_integer_1: ok
- int_from_integer_2: ok
- int_from_nat_0: ok
- int_from_nat_1: ok
- int_from_nat_2: ok
- nat_from_natural_0: ok
- nat_from_natural_1: ok
- nat_from_natural_2: ok
- nat_from_int_0: ok
- nat_from_int_1: ok
- nat_from_int_2: ok
- int32_from_nat_0: ok
- int32_from_nat_1: ok
- int32_from_nat_2: ok
- int32_from_natural_0: ok
- int32_from_natural_1: ok
- int32_from_natural_2: ok
- int32_from_integer_0: ok
- int32_from_integer_1: ok
- int32_from_integer_2: ok
- int32_from_integer_3: ok
- int32_from_integer_4: ok
- int32_from_integer_5: ok
- int32_from_int_0: ok
- int32_from_int_1: ok
- int32_from_int_2: ok
- int32_from_int_3: ok
- int32_from_int_4: ok
- int32_from_int_5: ok
- int32_from_int_64_0: ok
- int32_from_int_64_1: ok
- int32_from_int_64_2: ok
- int32_from_int_64_3: ok
- int32_from_int_64_4: ok
- int32_from_int_64_5: ok
- int64_from_nat_0: ok
- int64_from_nat_1: ok
- int64_from_nat_2: ok
- int64_from_natural_0: ok
- int64_from_natural_1: ok
- int64_from_natural_2: ok
- int64_from_integer_0: ok
- int64_from_integer_1: ok
- int64_from_integer_2: ok
- int64_from_integer_3: ok
- int64_from_integer_4: ok
- int64_from_integer_5: ok
- int64_from_int_0: ok
- int64_from_int_1: ok
- int64_from_int_2: ok
- int64_from_int_3: ok
- int64_from_int_4: ok
- int64_from_int_5: ok
- int64_from_int_33_0: ok
- int64_from_int_32_1: ok
- int64_from_int_32_2: ok
- int64_from_int_32_3: ok
- int64_from_int_32_4: ok
- int64_from_int_32_5: ok
- natural_from_int_0: ok
- natural_from_int_1: ok
- natural_from_int_2: ok
- natural_from_int32_0: ok
- natural_from_int32_1: ok
- natural_from_int32_2: ok
- natural_from_int64_0: ok
- natural_from_int64_1: ok
- natural_from_int64_2: ok
- int_from_natural_0: ok
- int_from_natural_1: ok
- int_from_natural_2: ok
- int_from_int32_0: ok
- int_from_int32_1: ok
- int_from_int32_2: ok
- int_from_int64_0: ok
- int_from_int64_1: ok
- int_from_int64_2: ok
- nat_from_integer_0: ok
- nat_from_integer_1: ok
- nat_from_integer_2: ok
- nat_from_int32_0: ok
- nat_from_int32_1: ok
- nat_from_int32_2: ok
- nat_from_int64_0: ok
- nat_from_int64_1: ok
- nat_from_int64_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_num_extra
- ***************************************************
-
- integerOfString_test_1: ok
- integerOfString_test_2: ok
-
-
-
-
- ***************************************************
- * Testing lem_relation
- ***************************************************
-
- rel_basic_0: ok
- rel_basic_1: ok
- rel_basic_2: ok
- in_rel_0: ok
- in_rel_1: ok
- in_rel_2: ok
- in_rel_3: ok
- relEmpty_0: ok
- relEmpty_1: ok
- relAdd_0: ok
- relAdd_1: ok
- relAdd_2: ok
- relAdd_3: ok
- rel_id_0: ok
- rel_id_1: ok
- rel_id_2: ok
- rel_id_3: ok
- rel_union_0: ok
- rel_inter_0: ok
- rel_comp_0: ok
- rel_restrict_0: ok
- rel_converse_0: ok
- rel_domain_0: ok
- rel_domain_1: ok
- rel_domain_2: ok
- rel_range_0: ok
- rel_range_1: ok
- rel_range_2: ok
- rel_field_0: ok
- rel_field_1: ok
- rel_field_2: ok
- rel_over_0: ok
- rel_over_1: ok
- rel_apply_0: ok
- rel_apply_1: ok
- is_subrel_0: ok
- is_subrel_1: ok
- is_subrel_2: ok
- is_subrel_3: ok
- is_reflexive_on_0: ok
- is_reflexive_on_1: ok
- is_reflexive_on_2: ok
- is_irreflexive_on_0: ok
- is_irreflexive_on_1: ok
- is_irreflexive_on_2: ok
- is_irreflexive_on_3: ok
- is_irreflexive_0: ok
- is_irreflexive_1: ok
- is_symmetric_on_0: ok
- is_symmetric_on_1: ok
- is_symmetric_on_2: ok
- is_symmetric_0: ok
- is_symmetric_1: ok
- is_antisymmetric_on_0: ok
- is_antisymmetric_on_1: ok
- is_antisymmetric_0: ok
- is_antisymmetric_1: ok
- is_transitive_on_0: ok
- is_transitive_on_1: ok
- is_transitive_0: ok
- is_transitive_1: ok
- is_total_on_0: ok
- is_total_on_1: ok
- is_trichotomous_on_0: ok
- is_trichotomous_on_1: ok
- is_single_valued_0: ok
- is_single_valued_1: ok
- is_equivalence_0: ok
- is_equivalence_1: ok
- is_equivalence_2: ok
- is_preorder_0: ok
- is_preorder_1: ok
- is_preorder_2: ok
- is_partialorder_0: ok
- is_partialorder_1: ok
- is_partialorder_2: ok
- is_partialorder_3: ok
- is_strict_partialorder_on_0: ok
- is_strict_partialorder_on_1: ok
- is_strict_partialorder_on_2: ok
- is_strict_partialorder_on_3: ok
- is_strict_partialorder_on_4: ok
- is_strict_partialorder_0: ok
- is_strict_partialorder_1: ok
- is_strict_partialorder_2: ok
- is_strict_partialorder_3: ok
- is_strict_partialorder_4: ok
- is_totalorder_on_0: ok
- is_totalorder_on_1: ok
- is_totalorder_on_2: ok
- is_strict_totalorder_on_0: ok
- is_strict_totalorder_on_1: ok
- transitive_closure_0: ok
- transitive_closure_1: ok
- transitive_closure_add_0: ok
- transitive_closure_add_1: ok
- transitive_closure_add_2: ok
- reflexive_transitive_closure_0: ok
- withoutTransitiveEdges_0: ok
- withoutTransitiveEdges_1: ok
- withoutTransitiveEdges_2: ok
- withoutTransitiveEdges_3: ok
-
-
-
-
- ***************************************************
- * Testing lem_set
- ***************************************************
-
- empty_0: ok
- empty_1: ok
- empty_2: ok
- empty_3: ok
- any_0: ok
- any_1: ok
- all_0: ok
- all_1: ok
- in_1: ok
- in_2: ok
- in_3: ok
- in_4: ok
- nin_1: ok
- nin_2: ok
- nin_3: ok
- nin_4: ok
- null_1: ok
- null_2: ok
- singleton_1: ok
- singleton_2: ok
- singleton_3: ok
- singleton_4: ok
- size_1: ok
- size_2: ok
- size_3: ok
- size_4: ok
- size_5: ok
- set_patterns_0: ok
- set_patterns_1: ok
- set_patterns_2: ok
- set_patterns_3: ok
- set_patterns_4: ok
- set_patterns_5: ok
- set_patterns_6: ok
- set_patterns_7: ok
- set_patterns_8: ok
- set_patterns_9: ok
- set_patterns_10: ok
- union_1: ok
- insert_1: ok
- insert_2: ok
- insert_3: ok
- filter_1: ok
- filter_2: ok
- split_simple: ok
- isSubsetOf_1: ok
- isSubsetOf_2: ok
- isSubsetOf_3: ok
- isProperSubsetOf_1: ok
- isProperSubsetOf_2: ok
- isProperSubsetOf_3: ok
- bigunion_0: ok
- bigunion_1: ok
- bigunion_2: ok
- bigunion_3: ok
- difference_1: ok
- intersection_1: ok
- map_1: ok
- map_2: ok
- bigunionmap_0: ok
- bigunionmap_1: ok
- fromList_1: ok
- fromList_2: ok
- fromList_3: ok
- Sigma_1: ok
- cross_1: ok
- lfp_empty_0: ok
- lfp_empty_1: ok
- lfp_saturate_neg_1: ok
- lfp_saturate_neg_2: ok
- lfp_saturate_mod_3: ok
- lfp_saturate_mod_4: ok
- lfp_saturate_mod_5: ok
- lfp_termination: ok
-
-
-
-
- ***************************************************
- * Testing lem_set_extra
- ***************************************************
-
- choose_0: ok
- choose_1: ok
- choose_2: ok
- choose_3: ok
- toList_0: ok
- toList_1: ok
- toList_2: ok
- toOrderedList_0: ok
- toOrderedList_1: ok
- toOrderedList_2: ok
- lfp_empty: ok
- lfp_saturate_neg: ok
- lfp_saturate_mod: ok
-
-
-
-
- ***************************************************
- * Testing lem_sorting
- ***************************************************
-
- perm_1: ok
- perm_2: ok
- perm_3: ok
- perm_4: ok
- perm_5: ok
- perm_6: ok
- isSorted_1: ok
- isSorted_2: ok
- isSorted_3: ok
- isSorted_4: ok
- isSorted_5: ok
- isSorted_6: ok
- sort_1: ok
- sort_2: ok
- sort_3: ok
-
-
-
-
- ***************************************************
- * Testing lem_string
- ***************************************************
-
- char_simple_0: ok
- char_simple_1: ok
- char_simple_2: ok
- char_simple_3: ok
- char_simple_4: ok
- char_simple_5: ok
- char_simple_6: ok
- string_simple_0: ok
- string_simple_1: ok
- string_simple_2: ok
- string_simple_3: ok
- toCharList_0: ok
- toCharList_1: ok
- toString_0: ok
- toString_1: ok
- makeString_0: ok
- makeString_1: ok
- makeString_2: ok
- stringLength_0: ok
- stringLength_1: ok
- stringLength_2: ok
- stringAppend_0: ok
- empty_string_0: ok
- empty_string_1: ok
- string_cons_0: ok
- string_cons_1: ok
- string_patterns_0: ok
- string_patterns_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_string_extra
- ***************************************************
-
- stringFromNat_0: ok
- stringFromNat_1: ok
- stringFromNat_2: ok
- stringFromNatural_0: ok
- stringFromNatural_1: ok
- stringFromNatural_2: ok
- stringFromInt_0: ok
- stringFromInt_1: ok
- stringFromInt_2: ok
- stringFromInt_3: ok
- stringFromInteger_0: ok
- stringFromInteger_1: ok
- stringFromInteger_2: ok
- stringFromInteger_3: ok
- string_compare_1: ok
- string_compare_2: ok
- string_compare_3: ok
-
-
-
-
- ***************************************************
- * Testing lem_tuple
- ***************************************************
-
- fst_1: ok
- fst_2: ok
- snd_1: ok
- snd_2: ok
- curry_1: ok
- uncurry_1: ok
- swap_1: ok
-
-
-
-
- ***************************************************
- * Testing lem_word
- ***************************************************
-
- boolListFrombitSeq_0: ok
- boolListFrombitSeq_1: ok
- boolListFrombitSeq_2: ok
- bitSeqFromBoolList_0: ok
- bitSeqFromBoolList_1: ok
- bitSeqFromBoolList_2: ok
- cleanBitSeq_0: ok
- cleanBitSeq_1: ok
- cleanBitSeq_2: ok
- resizeBitSeq_0: ok
- resizeBitSeq_1: ok
- resizeBitSeq_2: ok
- resizeBitSeq_3: ok
- resizeBitSeq_4: ok
- bitSeqNot_0: ok
- integerFromBoolList_0: ok
- integerFromBoolList_1: ok
- integerFromBoolList_2: ok
- integerFromBoolList_3: ok
- integerFromBoolList_4: ok
- boolListFromInteger_0: ok
- boolListFromInteger_1: ok
- boolListFromInteger_2: ok
- boolListFromInteger_3: ok
- boolListFromInteger_4: ok
- bitSeqFromInteger_0: ok
- bitSeqFromInteger_1: ok
- bitSeqFromInteger_2: ok
- bitSeqFromInteger_3: ok
- bitSeqFromInteger_4: ok
- bitSeqFromInteger_5: ok
- integerFromBitSeq_0: ok
- integerFromBitSeq_1: ok
- integerFromBitSeq_2: ok
- integerFromBitSeq_3: ok
- integerFromBitSeq_inv_0: ok
- integerFromBitSeq_inv_1: ok
- integerFromBitSeq_inv_2: ok
- bitSequence_test1: ok
- bitSequence_test2: ok
- bitSequence_test3: ok
- bitSequence_test4: ok
- bitSequence_test5: ok
- bitSequence_test6: ok
- bitSequence_test6a: ok
- bitSequence_test7: ok
- bitSequence_test7a: ok
- bitSequence_test8: ok
- bitSequence_test8a: ok
- bitSequence_test9: ok
- bitSequence_test10: ok
- bitSequence_test11: ok
- bitSequence_test12: ok
- bitSequence_test13: ok
- bitSequence_test14: ok
- bitSequence_test15: ok
- bitSequence_test16: ok
- bitSequence_test17: ok
- bitSequence_test18: ok
- bitSequence_test19: ok
- bitSequence_test20: ok
- bitSequence_test21: ok
- bitSequence_test22: ok
- bitSequence_test23: ok
- bitSequence_test24: ok
- bitSequence_test25: ok
- bitSequence_test26: ok
- bitSequence_bittest1: ok
- bitSequence_bittest2: ok
- bitSequence_bittest3: ok
- bitSequence_bittest4: ok
- bitSequence_bittest5: ok
- bitSequence_bittest6: ok
- bitSequence_bittest7: ok
- bitSequence_bittest8: ok
- bitSequence_bittest9: ok
- bitSequence_bittest10: ok
- bitSequence_bittest11: ok
- bitSequence_bittest12: ok
- bitSequence_bittest13: ok
- bitSequence_bittest14: ok
- bitSequence_bittest15: ok
- bitSequence_bittest16: ok
- bitSequence_bittest17: ok
- bitSequence_bittest18: ok
- bitSequence_bittest19: ok
- bitSequence_bittest20: ok
- bitSequence_bittest21: ok
- bitSequence_bittest22: ok
- bitSequence_bittest23: ok
- bitSequence_bittest24: ok
- int32_bittest1: ok
- int32_bittest2: ok
- int32_bittest3: ok
- int32_bittest4: ok
- int32_bittest5: ok
- int32_bittest6: ok
- int32_bittest7: ok
- int32_bittest8: ok
- int32_bittest9: ok
- int32_bittest10: ok
- int32_bittest11: ok
- int32_bittest12: ok
- int32_bittest13: ok
- int32_bittest14: ok
- int32_bittest15: ok
- int32_bittest16: ok
- int32_bittest17: ok
- int32_bittest18: ok
- int32_bittest19: ok
- int32_bittest20: ok
- int32_bittest21: ok
- int32_bittest22: ok
- int32_bittest23: ok
- int32_bittest24: ok
- int64_bittest1: ok
- int64_bittest2: ok
- int64_bittest3: ok
- int64_bittest4: ok
- int64_bittest5: ok
- int64_bittest6: ok
- int64_bittest7: ok
- int64_bittest8: ok
- int64_bittest9: ok
- int64_bittest10: ok
- int64_bittest11: ok
- int64_bittest12: ok
- int64_bittest13: ok
- int64_bittest14: ok
- int64_bittest15: ok
- int64_bittest16: ok
- int64_bittest17: ok
- int64_bittest18: ok
- int64_bittest19: ok
- int64_bittest20: ok
- int64_bittest21: ok
- int64_bittest22: ok
- int64_bittest23: ok
- int64_bittest24: ok
- integer_bittest1: ok
- integer_bittest2: ok
- integer_bittest3: ok
- integer_bittest4: ok
- integer_bittest5: ok
- integer_bittest6: ok
- integer_bittest7: ok
- integer_bittest8: ok
- integer_bittest9: ok
- integer_bittest10: ok
- integer_bittest11: ok
- integer_bittest12: ok
- integer_bittest13: ok
- integer_bittest14: ok
- integer_bittest15: ok
- integer_bittest16: ok
- integer_bittest17: ok
- integer_bittest18: ok
- integer_bittest19: ok
- integer_bittest20: ok
- integer_bittest22: ok
- integer_bittest24: ok
- int_bittest1: ok
- int_bittest2: ok
- int_bittest3: ok
- int_bittest4: ok
- int_bittest5: ok
- int_bittest6: ok
- int_bittest7: ok
- int_bittest8: ok
- int_bittest9: ok
- int_bittest10: ok
- int_bittest11: ok
- int_bittest12: ok
- int_bittest17: ok
- int_bittest18: ok
- int_bittest19: ok
- int_bittest20: ok
- int_bittest22: ok
- int_bittest24: ok
- natural_bittest1: ok
- natural_bittest2: ok
- natural_bittest3: ok
- natural_bittest4: ok
- natural_bittest5: ok
- natural_bittest6: ok
- natural_bittest9: ok
- natural_bittest10: ok
- natural_bittest11: ok
- natural_bittest12: ok
- natural_bittest13: ok
- natural_bittest14: ok
- natural_bittest15: ok
- natural_bittest16: ok
- natural_bittest17: ok
- natural_bittest18: ok
- natural_bittest19: ok
- natural_bittest20: ok
- nat_bittest1: ok
- nat_bittest2: ok
- nat_bittest3: ok
- nat_bittest4: ok
- nat_bittest5: ok
- nat_bittest6: ok
- nat_bittest9: ok
- nat_bittest10: ok
- nat_bittest11: ok
- nat_bittest12: ok
- nat_bittest17: ok
- nat_bittest18: ok
- nat_bittest19: ok
- nat_bittest20: ok
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/library'
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03'
-> compiled lem.2020-06-03
[lem: make install]
+ /usr/bin/make "INSTALL_DIR=/home/opam/.opam/default" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03)
- mkdir -p /home/opam/.opam/default/bin
- rm -f /home/opam/.opam/default/bin/lem
- cp src/main.native /home/opam/.opam/default/bin/lem
- rm -rf /home/opam/.opam/default/share/lem
- mkdir -p /home/opam/.opam/default/share/lem/library
- cp library/*.lem /home/opam/.opam/default/share/lem/library
- cp library/*_constants /home/opam/.opam/default/share/lem/library
- /usr/bin/make -C ocaml-lib install
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlbuild -build-dir _build_zarith -X local -X dependencies -I num_impl_zarith -use-ocamlfind -pkg zarith extract.cma extract.cmxa
- + ocamlfind ocamlc -config
- /usr/bin/make /home/opam/.opam/default/lib/lem_zarith/META
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/default/lib lem_zarith
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/lem_zarith/META
- ocamlfind install -destdir /home/opam/.opam/default/lib -patch-version "" lem_zarith num_impl_zarith/META _build_zarith/extract.cma _build_zarith/extract.cmxa _build_zarith/extract.a `find _build_zarith -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'`
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_machine_word.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_relation.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/xstring.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_tuple.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_num_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_basic_classes.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_list.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/xstring.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pmap.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_maybe_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_map.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_word.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/bit.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_machine_word.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_sorting.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_string.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_show.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_function_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_pervasives_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pmap.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_bool.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/rational.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_list_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pmap.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_list.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_function_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_show_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_string.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_list_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_relation.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/bit.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set_helpers.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_function.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_pervasives.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/xstring.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_string_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/either.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_num.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/rational_impl.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/rational_impl.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/big_int_impl.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/rational_impl.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/big_int_impl.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/big_int_impl.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_word.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_big_num.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_function.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_bool.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_tuple.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/vector.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_pervasives.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_assert_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/vector.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_num.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_assert_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pset.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_sorting.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pset.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_pervasives_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_show_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_map.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_either.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_num_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_maybe.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/vector.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set_helpers.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_either.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_basic_classes.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/pset.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/either.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_num.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_map_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_maybe_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/bit.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_big_num.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_show.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/rational.mli
- Installed /home/opam/.opam/default/lib/lem_zarith/rational.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_big_num.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_map_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_set.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_string_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_maybe.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/nat_num.cmi
- Installed /home/opam/.opam/default/lib/lem_zarith/lem_num.cmx
- Installed /home/opam/.opam/default/lib/lem_zarith/extract.a
- Installed /home/opam/.opam/default/lib/lem_zarith/extract.cmxa
- Installed /home/opam/.opam/default/lib/lem_zarith/extract.cma
- Installed /home/opam/.opam/default/lib/lem_zarith/META
- touch /home/opam/.opam/default/lib/lem_zarith/META
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- ocamlbuild -build-dir _build_num -X local -X dependencies -I num_impl_num -use-ocamlfind -pkg num extract.cma extract.cmxa
- + ocamlfind ocamlc -config
- /usr/bin/make /home/opam/.opam/default/lib/lem_num/META
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/default/lib lem_num
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/lem_num/META
- ocamlfind install -destdir /home/opam/.opam/default/lib -patch-version "" lem_num num_impl_num/META _build_num/extract.cma _build_num/extract.cmxa _build_num/extract.a `find _build_num -name '*.cmi' -o -name '*.cmx' -o -name '*.mli'`
- Installed /home/opam/.opam/default/lib/lem_num/lem_machine_word.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_relation.cmi
- Installed /home/opam/.opam/default/lib/lem_num/xstring.mli
- Installed /home/opam/.opam/default/lib/lem_num/lem_tuple.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_num_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_basic_classes.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_list.cmi
- Installed /home/opam/.opam/default/lib/lem_num/xstring.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pmap.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_maybe_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_map.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_word.cmx
- Installed /home/opam/.opam/default/lib/lem_num/bit.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_machine_word.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_sorting.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_string.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_show.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_function_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_pervasives_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pmap.mli
- Installed /home/opam/.opam/default/lib/lem_num/lem_bool.cmi
- Installed /home/opam/.opam/default/lib/lem_num/rational.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_list_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pmap.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_list.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_function_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_show_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_string.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_list_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_relation.cmx
- Installed /home/opam/.opam/default/lib/lem_num/bit.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_set_helpers.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_function.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_pervasives.cmx
- Installed /home/opam/.opam/default/lib/lem_num/xstring.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_string_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/either.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_num.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_word.cmi
- Installed /home/opam/.opam/default/lib/lem_num/rational_impl.cmi
- Installed /home/opam/.opam/default/lib/lem_num/rational_impl.mli
- Installed /home/opam/.opam/default/lib/lem_num/big_int_impl.cmx
- Installed /home/opam/.opam/default/lib/lem_num/rational_impl.cmx
- Installed /home/opam/.opam/default/lib/lem_num/big_int_impl.cmi
- Installed /home/opam/.opam/default/lib/lem_num/big_int_impl.mli
- Installed /home/opam/.opam/default/lib/lem_num/nat_big_num.mli
- Installed /home/opam/.opam/default/lib/lem_num/lem_function.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_bool.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_tuple.cmi
- Installed /home/opam/.opam/default/lib/lem_num/vector.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_pervasives.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_assert_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/vector.mli
- Installed /home/opam/.opam/default/lib/lem_num/nat_num.mli
- Installed /home/opam/.opam/default/lib/lem_num/lem_assert_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pset.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_sorting.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_set_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pset.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_pervasives_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_show_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_map.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_either.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_num_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_maybe.cmx
- Installed /home/opam/.opam/default/lib/lem_num/vector.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_set_helpers.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_either.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_basic_classes.cmi
- Installed /home/opam/.opam/default/lib/lem_num/pset.mli
- Installed /home/opam/.opam/default/lib/lem_num/either.cmx
- Installed /home/opam/.opam/default/lib/lem_num/nat_num.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_map_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_maybe_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/bit.mli
- Installed /home/opam/.opam/default/lib/lem_num/nat_big_num.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_set_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_show.cmx
- Installed /home/opam/.opam/default/lib/lem_num/rational.mli
- Installed /home/opam/.opam/default/lib/lem_num/rational.cmi
- Installed /home/opam/.opam/default/lib/lem_num/nat_big_num.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_set.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_map_extra.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_set.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_string_extra.cmx
- Installed /home/opam/.opam/default/lib/lem_num/lem_maybe.cmi
- Installed /home/opam/.opam/default/lib/lem_num/nat_num.cmi
- Installed /home/opam/.opam/default/lib/lem_num/lem_num.cmx
- Installed /home/opam/.opam/default/lib/lem_num/extract.a
- Installed /home/opam/.opam/default/lib/lem_num/extract.cmxa
- Installed /home/opam/.opam/default/lib/lem_num/extract.cma
- Installed /home/opam/.opam/default/lib/lem_num/META
- touch /home/opam/.opam/default/lib/lem_num/META
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- /usr/bin/make /home/opam/.opam/default/lib/lem/META
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- Makefile:10: warning: overriding recipe for target 'clean'
- ocamlbuild.mk:20: warning: ignoring old recipe for target 'clean'
- ocamlfind remove -destdir /home/opam/.opam/default/lib lem
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/lem/META
- ocamlfind install -destdir /home/opam/.opam/default/lib -patch-version "" lem META
- Installed /home/opam/.opam/default/lib/lem/META
- touch /home/opam/.opam/default/lib/lem/META
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/lem.2020-06-03/ocaml-lib'
- cp -R coq-lib /home/opam/.opam/default/share/lem
- cp -R hol-lib /home/opam/.opam/default/share/lem
- cp -R isabelle-lib /home/opam/.opam/default/share/lem
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
-> installed lem.2020-06-03
=== STDERR ===
2026-06-24 11:56.57: OK: build lem.2020-06-03 (runc: 97.7s, disk: 202KB)
2026-06-24 11:56.57: Job succeeded