Building on iphito.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a) Unable to find image 'ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a' locally docker.io/ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a: Pulling from ocaml/opam d94e46e039c4: Pulling fs layer d94e46e039c4: Verifying Checksum d94e46e039c4: Download complete d94e46e039c4: Pull complete Digest: sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a Status: Downloaded newer image for ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a 2022-11-03 04:34.34 ---> using "6615d3400d8dabf8928c82fbcb18e477501a38f64d3b1412a91a4e86499e265b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-11-03 04:34.34 ---> using "c909a0ff168e383d01aa2cb84f3e6cbc7a0c470ffe3d07946f43f83d47cc9bfa" 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 94675aaefe68e1e4a4ad959d88dd65afa3a9ed3d")) 2022-11-03 04:34.34 ---> using "5315c90a66cfce3be1f8ac668b7f4445c317bfeb4b1de04fe278a4bdf33753ae" 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. 2022-11-03 04:34.34 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.03' '4.03.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.03.0"} | "ocaml-system" {= "4.03.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.03.0 (cached) -> installed ocaml-base-compiler.4.03.0 -> installed ocaml-config.1 -> installed ocaml.4.03.0 Done. # Run eval $(opam env --switch=4.03) to update the current shell environment 2022-11-03 04:34.34 ---> using "801b46cc183e6832d509cc0e83841aeb00c06df3dd6285422e9fba1e90ded7d2" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [161 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-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB] - Fetched 293 kB in 1s (219 kB/s) - Reading package lists... 2022-11-03 04:34.34 ---> using "8bbc8d1e58af00247097ccf64ff674d9e350e890c1165123f0c18cb3882a24c7" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: === install 1 package - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2022-11-03 04:34.34 ---> using "0a5064aef594c5c09224ca68600cec5964b5fa2c8d00c4f0864fce382021bf46" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"flowcaml.1.07\"\ \nopam install -vy \"flowcaml.1.07\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"flowcaml.1.07\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) [NOTE] flowcaml.1.07 is not installed. Nothing to do. The following actions will be performed: === install 1 package - install flowcaml 1.07 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/3: [flowcaml.1.07: http] Processing 1/3: -> retrieved flowcaml.1.07 (http://www.normalesup.org/~simonet/soft/flowcaml/flowcaml-1.07.tar.gz) Processing 2/3: [flowcaml: sh] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-c" "cd src-flowcaml && ./configure --prefix /home/opam/.opam/4.03 --with-runlib=/home/opam/.opam/4.03/lib/flowcaml" (CWD=/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07) - checking build system type... x86_64-unknown-linux-gnu - checking host system type... x86_64-unknown-linux-gnu - Suffix of executable files: "" - checking for gcc... gcc - checking for C compiler default output file name... a.out - checking whether the C compiler works... yes - checking whether we are cross compiling... no - checking for suffix of executables... - checking for suffix of object files... o - checking whether we are using the GNU C compiler... yes - checking whether gcc accepts -g... yes - checking for gcc option to accept ANSI C... none needed - checking how to run the C preprocessor... gcc -E - - *** Objective Caml - checking for ocamlc... /home/opam/.opam/4.03/bin/ocamlc - checking ocamlc version... 4.03.0 - checking Objective Caml library path... /home/opam/.opam/4.03/lib/ocaml - checking for ocamlopt... /home/opam/.opam/4.03/bin/ocamlopt - checking ocamlopt version... 4.03.0 - checking for ocamlyacc... /home/opam/.opam/4.03/bin/ocamlyacc - checking for ocamllex... /home/opam/.opam/4.03/bin/ocamllex - checking for ocamldep... /home/opam/.opam/4.03/bin/ocamldep - Enabling run-time assertion checks - link bytecode executables in default mode - checking for /home/opam/.opam/4.03/lib/ocaml/graphics.cma... yes - - *** Auxiliary programs - checking for dot... no - - *** Installation directories - checking binaries installation path:... /home/opam/.opam/4.03/bin - checking standard library installation path:... /home/opam/.opam/4.03/lib/flowcaml - checking runtime library installation path:... /home/opam/.opam/4.03/lib/flowcaml - - configure: creating ./config.status - config.status: creating ../Makefile.common - config.status: creating Makefile.config - config.status: creating utils/config.ml - - ------------------------------------------------------------ - Everything seems to be ok. - You can now start compilation by 'make world'. - ------------------------------------------------------------ Processing 2/3: [flowcaml: sh cd src-flowcaml && make world] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-c" "cd src-flowcaml && make world" (CWD=/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07) - make all - make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cpp -DGRAPHICS -P ../src-averell/avl_graphics.mlp > ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_topo.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_topo.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_tarjan.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_tarjan.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_closure.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_closure.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_kernel.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_kernel.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphviz.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_graphviz.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_draw.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-averell/avl_draw.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_lib.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_lib.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_tree.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_list.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_debug.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_aux.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_aux.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_sig.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_templates.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_dumb.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton_light.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/standard.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c ../src-dalton/dalton.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/graphps.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/graphps.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/draw.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/config.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/clflags.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/compare.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/compare.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/option.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/option.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/standard.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/datastruct.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/misc.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/terminfo.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/lattice_solver.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/bool_solver.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/variance_solver.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c utils/tbl.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/longident.ml - /home/opam/.opam/4.03/bin/ocamllex parsing/linenum.mll - 12 states, 323 transitions, table size 1364 bytes - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/linenum.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/linenum.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/location.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/syntaxerr.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/asttypes.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parsetree.ml - /home/opam/.opam/4.03/bin/ocamlyacc -v parsing/parser.mly - 28 shift/reduce conflicts. - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parser.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parser.ml - /home/opam/.opam/4.03/bin/ocamllex parsing/lexer.mll - 149 states, 2823 transitions, table size 12186 bytes - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/lexer.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c parsing/parse.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/stripinfo.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/oast.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/gen_source.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c stripping/gen_ast.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/ident.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/ident.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/path.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/path.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/fkind.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/type_constructor.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/principal.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/principal.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/level.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/expr_context.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/pat_context.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/solver.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/types.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/subst.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/env.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/solver.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/value_description.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/constructor_description.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/label_description.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/exception_declaration.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/type_declaration.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/print_types.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/predef.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/typedtree.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/include_error.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_levelexpr.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_typeexpr.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_typedecl.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_leveldecl.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_exception.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c types/bound.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/type_core.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/transl_value.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/mtype.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/include_mod.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/type_mod.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c typing/comp_unit.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/formatters.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/errors.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/compile.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/topgraph.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/toploop.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c toplevel/topmain.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcaml unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo toplevel/topgraph.cmo toplevel/toploop.cmo toplevel/topmain.cmo - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c driver/main.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamlc unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo driver/main.cmo - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamlpol.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamlpol unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo utils/config.cmo utils/datastruct.cmo types/principal.cmo tools/flowcamlpol.cmo - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/depend.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamldep.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamldep utils/config.cmo utils/clflags.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo parsing/linenum.cmo parsing/location.cmo parsing/longident.cmo parsing/syntaxerr.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo tools/depend.cmo tools/flowcamldep.cmo - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c tools/flowcamlmerge.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamlmerge unix.cma graphics.cma utils/config.cmo tools/flowcamlmerge.cmo - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_images.ml - /home/opam/.opam/4.03/bin/ocamlyacc -v docgen/doc_parser.mly - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parsetree.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parser.mli - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_parser.ml - /home/opam/.opam/4.03/bin/ocamllex docgen/doc_lexer.mll - 52 states, 584 transitions, table size 2648 bytes - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_lexer.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_comments.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_latex.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_gen.ml - /home/opam/.opam/4.03/bin/ocamlc -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -w -A -c docgen/doc_main.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamldoc unix.cma graphics.cma ../src-averell/avl_graphics.cmo ../src-averell/avl_topo.cmo ../src-averell/avl_tarjan.cmo ../src-averell/avl_closure.cmo ../src-averell/avl_kernel.cmo ../src-averell/avl_graphviz.cmo ../src-averell/avl_draw.cmo ../src-dalton/dalton_lib.cmo ../src-dalton/dalton_tree.cmo ../src-dalton/dalton_list.cmo ../src-dalton/dalton_debug.cmo ../src-dalton/dalton_aux.cmo ../src-dalton/dalton_sig.cmo ../src-dalton/dalton_templates.cmo ../src-dalton/dalton_dumb.cmo ../src-dalton/dalton_light.cmo ../src-dalton/dalton.cmo utils/graphps.cmo utils/draw.cmo utils/config.cmo utils/clflags.cmo utils/compare.cmo utils/option.cmo utils/standard.cmo utils/datastruct.cmo utils/misc.cmo utils/terminfo.cmo utils/lattice_solver.cmo utils/bool_solver.cmo utils/variance_solver.cmo utils/tbl.cmo parsing/longident.cmo parsing/linenum.cmo parsing/location.cmo parsing/syntaxerr.cmo parsing/asttypes.cmo parsing/parsetree.cmo parsing/parser.cmo parsing/lexer.cmo parsing/parse.cmo stripping/stripinfo.cmo stripping/oast.cmo stripping/gen_source.cmo stripping/gen_ast.cmo types/ident.cmo types/path.cmo types/fkind.cmo types/type_constructor.cmo types/principal.cmo types/level.cmo types/expr_context.cmo types/pat_context.cmo types/types.cmo types/subst.cmo types/env.cmo types/solver.cmo types/value_description.cmo types/constructor_description.cmo types/label_description.cmo types/exception_declaration.cmo types/type_declaration.cmo types/print_types.cmo types/predef.cmo typing/typedtree.cmo typing/include_error.cmo typing/transl_levelexpr.cmo typing/transl_typeexpr.cmo typing/transl_typedecl.cmo typing/transl_leveldecl.cmo typing/transl_exception.cmo typing/type_core.cmo typing/transl_value.cmo typing/mtype.cmo typing/include_mod.cmo typing/type_mod.cmo typing/comp_unit.cmo driver/formatters.cmo driver/errors.cmo driver/compile.cmo docgen/doc_images.cmo docgen/doc_parser.cmo docgen/doc_lexer.cmo docgen/doc_comments.cmo docgen/doc_latex.cmo docgen/doc_gen.cmo docgen/doc_main.cmo - make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make opt - make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_graphics.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_topo.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_tarjan.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_closure.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_kernel.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_graphviz.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-averell/avl_draw.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_lib.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_tree.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_list.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_debug.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_aux.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_sig.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_templates.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_dumb.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton_light.ml - File "../src-dalton/dalton_light.ml", line 2150, characters 7-9: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton_light.ml", line 1367, characters 8-12: - Warning 26: unused variable atom. - File "../src-dalton/dalton_light.ml", line 2076, characters 8-11: - Warning 26: unused variable csd. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/standard.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c ../src-dalton/dalton.ml - File "../src-dalton/dalton.ml", line 1396, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1397, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1400, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1401, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1402, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1403, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 1404, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2014, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2015, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2018, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2019, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2020, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2021, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2022, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2023, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2024, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 2582, characters 32-34: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 3458, characters 4-16: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 3458, characters 17-306: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 3466, characters 6-18: - Warning 20: this argument will not be used by the function. - File "../src-dalton/dalton.ml", line 4632, characters 7-9: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "../src-dalton/dalton.ml", line 4306, characters 8-11: - Warning 26: unused variable csd. - File "../src-dalton/dalton.ml", line 4649, characters 8-10: - Warning 26: unused variable cs. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/graphps.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/draw.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/config.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/clflags.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/compare.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/option.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/datastruct.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/misc.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/terminfo.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/lattice_solver.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/bool_solver.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/variance_solver.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c utils/tbl.ml - File "utils/tbl.ml", line 54, characters 4-28: - Warning 26: unused variable t. - File "utils/tbl.ml", line 87, characters 4-28: - Warning 26: unused variable t. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/longident.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/linenum.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/location.ml - File "parsing/location.ml", line 29, characters 31-33: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/syntaxerr.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/asttypes.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parsetree.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parser.ml - File "parsing/parser.mly", line 615, characters 20-28: - Warning 26: unused variable variance. - File "parsing/parser.mly", line 615, characters 12-18: - Warning 26: unused variable params. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/lexer.ml - File "parsing/lexer.mll", line 115, characters 28-41: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "parsing/lexer.mll", line 125, characters 19-32: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "parsing/lexer.mll", line 129, characters 2-19: - Warning 3: deprecated: String.unsafe_set - File "parsing/lexer.mll", line 271, characters 12-15: - Warning 26: unused variable loc. - File "parsing/lexer.mll", line 282, characters 12-15: - Warning 26: unused variable loc. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c parsing/parse.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/stripinfo.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/oast.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/gen_source.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c stripping/gen_ast.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/ident.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/path.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/fkind.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/type_constructor.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/principal.ml - File "types/principal.ml", line 226, characters 4-6: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/level.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/expr_context.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/pat_context.ml - make[1]: Circular types/env.cmx <- types/solver.cmx dependency dropped. - make[1]: Circular types/subst.cmx <- types/solver.cmx dependency dropped. - make[1]: Circular types/subst.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/subst.ml - make[1]: Circular types/env.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/env.ml - File "types/env.ml", line 244, characters 17-30: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "types/env.ml", line 275, characters 44-63: - Warning 3: deprecated: String.uncapitalize - Use String.uncapitalize_ascii instead. - File "types/env.ml", line 609, characters 16-21: - Warning 26: unused variable decl'. - File "types/env.ml", line 615, characters 16-21: - Warning 26: unused variable decl'. - make[1]: Circular types/solver.cmx <- types/types.cmx dependency dropped. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/solver.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/types.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/value_description.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/constructor_description.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/label_description.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/exception_declaration.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/type_declaration.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/print_types.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/predef.ml - File "types/predef.ml", line 209, characters 6-9: - Warning 26: unused variable lvl. - File "types/predef.ml", line 210, characters 6-10: - Warning 26: unused variable lvl'. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/typedtree.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/include_error.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_levelexpr.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_typeexpr.ml - File "typing/transl_typeexpr.ml", line 178, characters 20-32: - Warning 52: the argument of this constructor should not be matched against a - constant pattern; the actual value of the argument could change - in the future. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_typedecl.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_leveldecl.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_exception.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c types/bound.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/type_core.ml - File "typing/type_core.ml", line 1396, characters 10-14: - Warning 26: unused variable cset. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/transl_value.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/mtype.ml - File "typing/mtype.ml", line 134, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/include_mod.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/type_mod.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c typing/comp_unit.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/formatters.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/errors.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/compile.ml - File "driver/compile.ml", line 80, characters 19-32: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "driver/compile.ml", line 120, characters 19-36: - Warning 3: deprecated: String.capitalize - Use String.capitalize_ascii instead. - File "driver/compile.ml", line 181, characters 19-36: - Warning 3: deprecated: String.capitalize - Use String.capitalize_ascii instead. - File "driver/compile.ml", line 201, characters 8-16: - Warning 26: unused variable coercion. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/topgraph.ml - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/toploop.ml - File "toplevel/toploop.ml", line 140, characters 8-24: - Warning 3: deprecated: String.set - Use Bytes.set instead. - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c toplevel/topmain.ml - /home/opam/.opam/4.03/bin/ocamlopt -o flowcaml.opt unix.cmxa graphics.cmxa ../src-averell/avl_graphics.cmx ../src-averell/avl_topo.cmx ../src-averell/avl_tarjan.cmx ../src-averell/avl_closure.cmx ../src-averell/avl_kernel.cmx ../src-averell/avl_graphviz.cmx ../src-averell/avl_draw.cmx ../src-dalton/dalton_lib.cmx ../src-dalton/dalton_tree.cmx ../src-dalton/dalton_list.cmx ../src-dalton/dalton_debug.cmx ../src-dalton/dalton_aux.cmx ../src-dalton/dalton_sig.cmx ../src-dalton/dalton_templates.cmx ../src-dalton/dalton_dumb.cmx ../src-dalton/dalton_light.cmx ../src-dalton/dalton.cmx utils/graphps.cmx utils/draw.cmx utils/config.cmx utils/clflags.cmx utils/compare.cmx utils/option.cmx utils/standard.cmx utils/datastruct.cmx utils/misc.cmx utils/terminfo.cmx utils/lattice_solver.cmx utils/bool_solver.cmx utils/variance_solver.cmx utils/tbl.cmx parsing/longident.cmx parsing/linenum.cmx parsing/location.cmx parsing/syntaxerr.cmx parsing/asttypes.cmx parsing/parsetree.cmx parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx stripping/stripinfo.cmx stripping/oast.cmx stripping/gen_source.cmx stripping/gen_ast.cmx types/ident.cmx types/path.cmx types/fkind.cmx types/type_constructor.cmx types/principal.cmx types/level.cmx types/expr_context.cmx types/pat_context.cmx types/types.cmx types/subst.cmx types/env.cmx types/solver.cmx types/value_description.cmx types/constructor_description.cmx types/label_description.cmx types/exception_declaration.cmx types/type_declaration.cmx types/print_types.cmx types/predef.cmx typing/typedtree.cmx typing/include_error.cmx typing/transl_levelexpr.cmx typing/transl_typeexpr.cmx typing/transl_typedecl.cmx typing/transl_leveldecl.cmx typing/transl_exception.cmx typing/type_core.cmx typing/transl_value.cmx typing/mtype.cmx typing/include_mod.cmx typing/type_mod.cmx typing/comp_unit.cmx driver/formatters.cmx driver/errors.cmx driver/compile.cmx toplevel/topgraph.cmx toplevel/toploop.cmx toplevel/topmain.cmx - /home/opam/.opam/4.03/bin/ocamlopt -I ../src-averell -I ../src-dalton -I utils -I parsing -I stripping -I types -I typing -I driver -I toplevel -I tools -I docgen -c driver/main.ml - /home/opam/.opam/4.03/bin/ocamlopt -o flowcamlc.opt unix.cmxa graphics.cmxa ../src-averell/avl_graphics.cmx ../src-averell/avl_topo.cmx ../src-averell/avl_tarjan.cmx ../src-averell/avl_closure.cmx ../src-averell/avl_kernel.cmx ../src-averell/avl_graphviz.cmx ../src-averell/avl_draw.cmx ../src-dalton/dalton_lib.cmx ../src-dalton/dalton_tree.cmx ../src-dalton/dalton_list.cmx ../src-dalton/dalton_debug.cmx ../src-dalton/dalton_aux.cmx ../src-dalton/dalton_sig.cmx ../src-dalton/dalton_templates.cmx ../src-dalton/dalton_dumb.cmx ../src-dalton/dalton_light.cmx ../src-dalton/dalton.cmx utils/graphps.cmx utils/draw.cmx utils/config.cmx utils/clflags.cmx utils/compare.cmx utils/option.cmx utils/standard.cmx utils/datastruct.cmx utils/misc.cmx utils/terminfo.cmx utils/lattice_solver.cmx utils/bool_solver.cmx utils/variance_solver.cmx utils/tbl.cmx parsing/longident.cmx parsing/linenum.cmx parsing/location.cmx parsing/syntaxerr.cmx parsing/asttypes.cmx parsing/parsetree.cmx parsing/parser.cmx parsing/lexer.cmx parsing/parse.cmx stripping/stripinfo.cmx stripping/oast.cmx stripping/gen_source.cmx stripping/gen_ast.cmx types/ident.cmx types/path.cmx types/fkind.cmx types/type_constructor.cmx types/principal.cmx types/level.cmx types/expr_context.cmx types/pat_context.cmx types/types.cmx types/subst.cmx types/env.cmx types/solver.cmx types/value_description.cmx types/constructor_description.cmx types/label_description.cmx types/exception_declaration.cmx types/type_declaration.cmx types/print_types.cmx types/predef.cmx typing/typedtree.cmx typing/include_error.cmx typing/transl_levelexpr.cmx typing/transl_typeexpr.cmx typing/transl_typedecl.cmx typing/transl_leveldecl.cmx typing/transl_exception.cmx typing/type_core.cmx typing/transl_value.cmx typing/mtype.cmx typing/include_mod.cmx typing/type_mod.cmx typing/comp_unit.cmx driver/formatters.cmx driver/errors.cmx driver/compile.cmx driver/main.cmx - make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make stdlib - make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd stdlib && make - make[2]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - Makefile:104: warning: ignoring prerequisites on suffix rule definition - Makefile:101: warning: ignoring prerequisites on suffix rule definition - ../flowcamlc.opt -nostdlib -nopervasives pervasives.fmli - ../flowcamlc.opt -nostdlib array.fmli - ../flowcamlc.opt -nostdlib buffer.fmli - ../flowcamlc.opt -nostdlib char.fmli - ../flowcamlc.opt -nostdlib complex.fmli - ../flowcamlc.opt -nostdlib hashtbl.fmli - ../flowcamlc.opt -nostdlib list.fmli - ../flowcamlc.opt -nostdlib map.fmli - ../flowcamlc.opt -nostdlib queue.fmli - ../flowcamlc.opt -nostdlib random.fmli - ../flowcamlc.opt -nostdlib set.fmli - ../flowcamlc.opt -nostdlib stack.fmli - ../flowcamlc.opt -nostdlib charray.fmli - ../flowcamlc.opt -nostdlib digest.fmli - ../flowcamlc.opt -nostdlib filename.fmli - ../flowcamlc.opt -nostdlib fmarshal.fmli - ../flowcamlc.opt -nostdlib int32.fmli - ../flowcamlc.opt -nostdlib int64.fmli - ../flowcamlc.opt -nostdlib nativeint.fmli - ../flowcamlc.opt -nostdlib string.fmli - ../flowcamlc.opt -nostdlib sys.fmli - ../flowcamlc.opt -nostdlib array.fml - ../flowcamlc.opt -nostdlib buffer.fml - ../flowcamlc.opt -nostdlib char.fml - ../flowcamlc.opt -nostdlib complex.fml - ../flowcamlc.opt -nostdlib hashtbl.fml - ../flowcamlc.opt -nostdlib list.fml - ../flowcamlc.opt -nostdlib map.fml - ../flowcamlc.opt -nostdlib queue.fml - ../flowcamlc.opt -nostdlib random.fml - ../flowcamlc.opt -nostdlib set.fml - ../flowcamlc.opt -nostdlib stack.fml - make[2]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml/stdlib' - make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - make runlib - make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - cd runlib && make - make[2]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c flowperv.mli - cp -f ../stdlib/charray.mli charray.mli - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c charray.mli - cp -f ../stdlib/fmarshal.mli fmarshal.mli - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c fmarshal.mli - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c flowperv.ml - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c charray.ml - /home/opam/.opam/4.03/bin/ocamlc -I . -w -A -c fmarshal.ml - /home/opam/.opam/4.03/bin/ocamlc -o flowcamlrun.cma -a flowperv.cmo charray.cmo fmarshal.cmo - /home/opam/.opam/4.03/bin/ocamlopt -I . -c flowperv.ml - File "flowperv.ml", line 28, characters 24-35: - Warning 3: deprecated: String.copy - File "flowperv.ml", line 29, characters 24-35: - Warning 3: deprecated: String.copy - File "flowperv.ml", line 69, characters 13-15: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - /home/opam/.opam/4.03/bin/ocamlopt -I . -c charray.ml - /home/opam/.opam/4.03/bin/ocamlopt -I . -c fmarshal.ml - /home/opam/.opam/4.03/bin/ocamlopt -o flowcamlrun.cmxa -a flowperv.cmx charray.cmx fmarshal.cmx - rm fmarshal.mli charray.mli - make[2]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml/runlib' - make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07/src-flowcaml' - - ------------------------------------------------------------ - Compilation seems to succeed. - You can now install the software. As superuser, do - 'make install'. - ------------------------------------------------------------ -> compiled flowcaml.1.07 Processing 3/3: [flowcaml: sh cd src-flowcaml && make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "sh" "-c" "cd src-flowcaml && make install" (CWD=/home/opam/.opam/4.03/.opam-switch/build/flowcaml.1.07) - if test -d /home/opam/.opam/4.03/bin; then : ; \ - else mkdir -p /home/opam/.opam/4.03/bin; fi - if test -d /home/opam/.opam/4.03/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.03/lib/flowcaml; fi - if test -d /home/opam/.opam/4.03/lib/flowcaml; then : ; \ - else mkdir -p /home/opam/.opam/4.03/lib/flowcaml; fi - cp -f flowcaml.opt /home/opam/.opam/4.03/bin/flowcaml - cp -f flowcamlc.opt /home/opam/.opam/4.03/bin/flowcamlc - cp -f flowcamldep /home/opam/.opam/4.03/bin - cp -f flowcamlpol /home/opam/.opam/4.03/bin - cd stdlib && cp *.fcmi /home/opam/.opam/4.03/lib/flowcaml - cd runlib && cp *.mli *.cmi *.cma *.cmxa *.a /home/opam/.opam/4.03/lib/flowcaml - - ------------------------------------------------------------ - Installation seems to succeed. - - If you want to uninstall flowcaml from your system do - 'make uninstall' as superuser. - ------------------------------------------------------------ -> installed flowcaml.1.07 Done. # Run eval $(opam env) to update the current shell environment 2022-11-03 04:35.01 ---> saved as "9dbb24d93b8bd7134b6ff0dca8b66b55716782f9f6d8d183ac05f2737a93fc08" Job succeeded