Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-26 19:13.42 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-02-26 19:13.42 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 1d1ea2841b231665859c831a77400c2a4deca6f4"))
2025-02-26 19:13.42 ---> using "26edb71e033f6c021f6aed95c1cf22939c08a231a2cfa0c24b2281bd33145e5b" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-02-26 19:13.42 ---> using "7efb7ea393cd4e7ff32d44e82f396eb5cc6c9809cf13925aba37e1c16f0b7883" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-02-26 19:13.42 ---> using "6f34e16995c41c70096e87e00a56b840c5bd411732eaed9a31d1d27d4aa092b7" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-26-1409.51-F-2025-02-16-2015.54.pdiff [736 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-26-1409.51-F-2025-02-16-2015.54.pdiff [736 kB]
- Fetched 1005 kB in 3s (315 kB/s)
- Reading package lists...
2025-02-26 19:13.42 ---> using "aefe02236694bbca29d5399b52c171b3e709ce4000a4b1d337be35d95012d1d1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-26 19:13.42 ---> using "6e7e7e53f3fd027e0377dd6c15485e2e927e9622397364a79382a99c5a5ff57c" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
# 1.4%
#### 6.2%
################### 26.9%
################################################################### 94.2%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-26 19:13.42 ---> using "42012678825dcbc35f93596017a63769cc3f22691b6a4c401224c56525dc9509" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-02-26 19:13.42 ---> using "ca7d82ed485937696c077530c449dd14f7d61c86c045c2da95c88f2a973713c4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source oseq.0.5.1 && cd oseq.0.5.1 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default ))\
\n\
\n(repository\
\n (name default)\
\n (url \"git+https://github.com/ocaml/opam-repository.git\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Successfully extracted to /home/opam/oseq.0.5.1
Solution for dune.lock:
- base-threads.base
- base-unix.base
- containers.3.15
- csexp.1.5.2
- dune-configurator.3.17.2
- either.1.0.0
- gen.1.1
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
- ounit2.2.2.7
- qcheck.0.23
- qcheck-core.0.23
- qcheck-ounit.0.23
- seq.base
- stdlib-shims.0.3.0
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-23da502d9f7a35404ba47aaa0ec40e91/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -safe-string -warn-error -a+8 -g -bin-annot -bin-annot-occurrences -I src/.oseq.objs/byte -no-alias-deps -opaque -o src/.oseq.objs/byte/oSeq.cmi -c -intf src/OSeq.mli)
File "src/OSeq.mli", line 11, characters 0-16:
11 | val empty : 'a t
^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value empty.
File "src/OSeq.mli", line 14, characters 0-23:
14 | val return : 'a -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value return.
File "src/OSeq.mli", line 17, characters 0-29:
17 | val cons : 'a -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value cons.
File "src/OSeq.mli", line 19, characters 0-23:
19 | val repeat : 'a -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value repeat.
File "src/OSeq.mli", line 32, characters 0-24:
32 | val cycle : 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value cycle.
File "src/OSeq.mli", line 39, characters 0-38:
39 | val iterate : ('a -> 'a) -> 'a -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value iterate.
File "src/OSeq.mli", line 47, characters 0-51:
47 | val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value unfold.
File "src/OSeq.mli", line 61, characters 0-37:
61 | val init : int -> (int -> 'a) -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value init.
File "src/OSeq.mli", line 68, characters 0-26:
68 | val is_empty : _ t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_empty.
File "src/OSeq.mli", line 74, characters 0-52:
74 | val fold_left : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value fold_left.
File "src/OSeq.mli", line 85, characters 0-49:
85 | val scan : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value scan.
File "src/OSeq.mli", line 99, characters 0-39:
99 | val iter : ('a -> unit) -> 'a t -> unit
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value iter.
File "src/OSeq.mli", line 102, characters 0-47:
102 | val iteri : (int -> 'a -> unit) -> 'a t -> unit
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value iteri.
File "src/OSeq.mli", line 105, characters 0-23:
105 | val length : _ t -> int
^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value length.
File "src/OSeq.mli", line 108, characters 0-36:
108 | val map : ('a -> 'b) -> 'a t -> 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value map.
File "src/OSeq.mli", line 112, characters 0-44:
112 | val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value mapi.
File "src/OSeq.mli", line 127, characters 0-33:
127 | val append : 'a t -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value append.
File "src/OSeq.mli", line 134, characters 0-43:
134 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value flat_map.
File "src/OSeq.mli", line 154, characters 0-30:
154 | val take : int -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value take.
File "src/OSeq.mli", line 157, characters 0-30:
157 | val drop : int -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value drop.
File "src/OSeq.mli", line 169, characters 0-41:
169 | val filter : ('a -> bool) -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value filter.
File "src/OSeq.mli", line 172, characters 0-45:
172 | val take_while : ('a -> bool) -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value take_while.
File "src/OSeq.mli", line 178, characters 0-45:
178 | val drop_while : ('a -> bool) -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value drop_while.
File "src/OSeq.mli", line 181, characters 0-50:
181 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value filter_map.
File "src/OSeq.mli", line 187, characters 0-38:
187 | val unzip : ('a * 'b) t -> 'a t * 'b t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value unzip.
File "src/OSeq.mli", line 190, characters 0-51:
190 | val partition : ('a -> bool) -> 'a t -> 'a t * 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value partition.
File "src/OSeq.mli", line 194, characters 0-42:
194 | val for_all : ('a -> bool) -> 'a t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all.
File "src/OSeq.mli", line 197, characters 0-41:
197 | val exists : ('a -> bool) -> 'a t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value exists.
File "src/OSeq.mli", line 208, characters 0-54:
208 | val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value equal.
File "src/OSeq.mli", line 211, characters 0-54:
211 | val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value compare.
File "src/OSeq.mli", line 215, characters 0-44:
215 | val find : ('a -> bool) -> 'a t -> 'a option
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value find.
File "src/OSeq.mli", line 219, characters 0-53:
219 | val find_map : ('a -> 'b option) -> 'a t -> 'b option
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value find_map.
File "src/OSeq.mli", line 229, characters 0-51:
229 | val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value map2.
File "src/OSeq.mli", line 232, characters 0-54:
232 | val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value iter2.
File "src/OSeq.mli", line 238, characters 0-57:
238 | val for_all2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all2.
File "src/OSeq.mli", line 242, characters 0-56:
242 | val exists2 : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value exists2.
File "src/OSeq.mli", line 249, characters 0-37:
249 | val zip : 'a t -> 'b t -> ('a * 'b) t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value zip.
File "src/OSeq.mli", line 266, characters 0-60:
266 | val sorted_merge : ('a -> 'a -> int) -> 'a t -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value sorted_merge.
File "src/OSeq.mli", line 274, characters 0-37:
274 | val interleave : 'a t -> 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value interleave.
File "src/OSeq.mli", line 283, characters 0-41:
283 | val product : 'a t -> 'b t -> ('a * 'b) t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value product.
File "src/OSeq.mli", line 349, characters 0-48:
349 | val group : ('a -> 'a -> bool) -> 'a t -> 'a t t
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value group.
File "src/OSeq.mli", line 560, characters 0-26:
560 | val memoize : 'a t -> 'a t
^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value memoize.
Building base-threads.base
Building ocaml-config.3
Building ocaml.5.3.0
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-23da502d9f7a35404ba47aaa0ec40e91/target/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -safe-string -warn-error -a+8 -g -bin-annot -bin-annot-occurrences -I src/.oseq.objs/byte -intf-suffix .ml -no-alias-deps -opaque -o src/.oseq.objs/byte/oSeq.cmo -c -impl src/OSeq.ml)
File "src/OSeq.ml", line 12, characters 4-12:
12 | let is_empty l =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_empty.
File "src/OSeq.ml", line 59, characters 8-14:
59 | let rec repeat x () = Cons (x, repeat x)
^^^^^^
Warning 32 [unused-value-declaration]: unused value repeat.
File "src/OSeq.ml", line 61, characters 4-8:
61 | let init n f =
^^^^
Warning 32 [unused-value-declaration]: unused value init.
File "src/OSeq.ml", line 72, characters 4-8:
72 | let mapi f l =
^^^^
Warning 32 [unused-value-declaration]: unused value mapi.
File "src/OSeq.ml", line 80, characters 8-18:
80 | let rec filter_map f (l : 'a t) () =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value filter_map.
File "src/OSeq.ml", line 102, characters 8-13:
102 | let rec cycle l () = append l (cycle l) ()
^^^^^
Warning 32 [unused-value-declaration]: unused value cycle.
File "src/OSeq.ml", line 104, characters 4-11:
104 | let iterate f x =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value iterate.
File "src/OSeq.ml", line 116, characters 4-13:
116 | let fold_left = fold
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value fold_left.
File "src/OSeq.ml", line 150, characters 8-14:
150 | let rec unfold f acc () =
^^^^^^
Warning 32 [unused-value-declaration]: unused value unfold.
File "src/OSeq.ml", line 190, characters 8-15:
190 | let rec for_all p gen =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all.
File "src/OSeq.ml", line 195, characters 8-14:
195 | let rec exists p gen =
^^^^^^
Warning 32 [unused-value-declaration]: unused value exists.
File "src/OSeq.ml", line 224, characters 4-9:
224 | let equal eq gen1 gen2 =
^^^^^
Warning 32 [unused-value-declaration]: unused value equal.
File "src/OSeq.ml", line 235, characters 4-13:
235 | let partition p gen = filter p gen, filter (fun x -> not (p x)) gen
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value partition.
File "src/OSeq.ml", line 245, characters 8-12:
245 | let rec map2 f l1 l2 () =
^^^^
Warning 32 [unused-value-declaration]: unused value map2.
File "src/OSeq.ml", line 255, characters 8-13:
255 | let rec iter2 f l1 l2 =
^^^^^
Warning 32 [unused-value-declaration]: unused value iter2.
File "src/OSeq.ml", line 262, characters 8-16:
262 | let rec for_all2 f l1 l2 =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all2.
File "src/OSeq.ml", line 267, characters 8-15:
267 | let rec exists2 f l1 l2 =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value exists2.
File "src/OSeq.ml", line 272, characters 8-11:
272 | let rec zip a b () =
^^^
Warning 32 [unused-value-declaration]: unused value zip.
File "src/OSeq.ml", line 277, characters 4-9:
277 | let unzip l =
^^^^^
Warning 32 [unused-value-declaration]: unused value unzip.
File "src/OSeq.ml", line 289, characters 4-11:
289 | let compare cmp gen1 gen2 : int =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value compare.
File "src/OSeq.ml", line 304, characters 8-12:
304 | let rec find p e =
^^^^
Warning 32 [unused-value-declaration]: unused value find.
File "src/OSeq.ml", line 310, characters 8-16:
310 | let rec find_map f e =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value find_map.
File "src/OSeq.ml", line 349, characters 8-12:
349 | let rec take n (l : 'a t) () =
^^^^
Warning 32 [unused-value-declaration]: unused value take.
File "src/OSeq.ml", line 388, characters 4-8:
388 | let scan f acc g : _ t =
^^^^
Warning 32 [unused-value-declaration]: unused value scan.
File "src/OSeq.ml", line 467, characters 8-13:
467 | let rec group eq l () =
^^^^^
Warning 32 [unused-value-declaration]: unused value group.
File "src/OSeq.ml", line 596, characters 4-16:
596 | let sorted_merge cmp gen1 gen2 : _ t =
^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value sorted_merge.
Building seq.base
Downloading gen.1.1
Building gen.1.1
Downloading qcheck-core.0.23
Building qcheck-core.0.23
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading either.1.0.0
Building either.1.0.0
Downloading ounit2.2.2.7
Building ounit2.2.2.7
Downloading dune-configurator.3.17.2
Downloading qcheck-ounit.0.23
Building qcheck-ounit.0.23
Building dune-configurator.3.17.2
Downloading qcheck.0.23
Building qcheck.0.23
Downloading containers.3.15
Building containers.3.15
(cd _build/default && /home/opam/.cache/dune/toolchains/ocaml-compiler.5.3.0-23da502d9f7a35404ba47aaa0ec40e91/target/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -safe-string -warn-error -a+8 -g -O3 -unbox-closures -unbox-closures-factor 20 -color always -I src/.oseq.objs/byte -I src/.oseq.objs/native -intf-suffix .ml -no-alias-deps -opaque -o src/.oseq.objs/native/oSeq.cmx -c -impl src/OSeq.ml)
File "src/OSeq.ml", line 12, characters 4-12:
12 | let is_empty l =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value is_empty.
File "src/OSeq.ml", line 59, characters 8-14:
59 | let rec repeat x () = Cons (x, repeat x)
^^^^^^
Warning 32 [unused-value-declaration]: unused value repeat.
File "src/OSeq.ml", line 61, characters 4-8:
61 | let init n f =
^^^^
Warning 32 [unused-value-declaration]: unused value init.
File "src/OSeq.ml", line 72, characters 4-8:
72 | let mapi f l =
^^^^
Warning 32 [unused-value-declaration]: unused value mapi.
File "src/OSeq.ml", line 80, characters 8-18:
80 | let rec filter_map f (l : 'a t) () =
^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value filter_map.
File "src/OSeq.ml", line 102, characters 8-13:
102 | let rec cycle l () = append l (cycle l) ()
^^^^^
Warning 32 [unused-value-declaration]: unused value cycle.
File "src/OSeq.ml", line 104, characters 4-11:
104 | let iterate f x =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value iterate.
File "src/OSeq.ml", line 116, characters 4-13:
116 | let fold_left = fold
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value fold_left.
File "src/OSeq.ml", line 150, characters 8-14:
150 | let rec unfold f acc () =
^^^^^^
Warning 32 [unused-value-declaration]: unused value unfold.
File "src/OSeq.ml", line 190, characters 8-15:
190 | let rec for_all p gen =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all.
File "src/OSeq.ml", line 195, characters 8-14:
195 | let rec exists p gen =
^^^^^^
Warning 32 [unused-value-declaration]: unused value exists.
File "src/OSeq.ml", line 224, characters 4-9:
224 | let equal eq gen1 gen2 =
^^^^^
Warning 32 [unused-value-declaration]: unused value equal.
File "src/OSeq.ml", line 235, characters 4-13:
235 | let partition p gen = filter p gen, filter (fun x -> not (p x)) gen
^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value partition.
File "src/OSeq.ml", line 245, characters 8-12:
245 | let rec map2 f l1 l2 () =
^^^^
Warning 32 [unused-value-declaration]: unused value map2.
File "src/OSeq.ml", line 255, characters 8-13:
255 | let rec iter2 f l1 l2 =
^^^^^
Warning 32 [unused-value-declaration]: unused value iter2.
File "src/OSeq.ml", line 262, characters 8-16:
262 | let rec for_all2 f l1 l2 =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value for_all2.
File "src/OSeq.ml", line 267, characters 8-15:
267 | let rec exists2 f l1 l2 =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value exists2.
File "src/OSeq.ml", line 272, characters 8-11:
272 | let rec zip a b () =
^^^
Warning 32 [unused-value-declaration]: unused value zip.
File "src/OSeq.ml", line 277, characters 4-9:
277 | let unzip l =
^^^^^
Warning 32 [unused-value-declaration]: unused value unzip.
File "src/OSeq.ml", line 289, characters 4-11:
289 | let compare cmp gen1 gen2 : int =
^^^^^^^
Warning 32 [unused-value-declaration]: unused value compare.
File "src/OSeq.ml", line 304, characters 8-12:
304 | let rec find p e =
^^^^
Warning 32 [unused-value-declaration]: unused value find.
File "src/OSeq.ml", line 310, characters 8-16:
310 | let rec find_map f e =
^^^^^^^^
Warning 32 [unused-value-declaration]: unused value find_map.
File "src/OSeq.ml", line 349, characters 8-12:
349 | let rec take n (l : 'a t) () =
^^^^
Warning 32 [unused-value-declaration]: unused value take.
File "src/OSeq.ml", line 388, characters 4-8:
388 | let scan f acc g : _ t =
^^^^
Warning 32 [unused-value-declaration]: unused value scan.
File "src/OSeq.ml", line 467, characters 8-13:
467 | let rec group eq l () =
^^^^^
Warning 32 [unused-value-declaration]: unused value group.
File "src/OSeq.ml", line 596, characters 4-16:
596 | let sorted_merge cmp gen1 gen2 : _ t =
^^^^^^^^^^^^
Warning 32 [unused-value-declaration]: unused value sorted_merge.
2025-02-26 19:14.13 ---> saved as "5aa87fe91a1cfa9737bf1c570e43b94a9682193bc649acfcd61ee4c6805842de"
Job succeeded
Home|Differences with the last checks|Previous runs