Building on spring
(from freebsd)
2024-12-17 23:13.27 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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/local/bin/opam-dev /usr/local/bin/opam"))
2024-12-17 23:13.27 ---> using "7afea9128a2830beedf345f0b46af5484579ebada7710165f445c6c5b18563a9" 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 4c55f2acaf27f0a15996d4dc0dd13e0b2e5f3cc1"))
2024-12-17 23:13.27 ---> using "d701441ac9189e76e6aabd2fd8f272b1b496c95092ee71a867994fa042b099bd" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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.
2024-12-17 23:13.27 ---> using "b9fb679fd35ef44bcfc79e6d6bda1d7df4c7a62f3e55ae0f5e83fdf081890ebd" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.2' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-config.2 (2 extra sources)
-> retrieved ocaml-config.2 (2 extra sources)
-> retrieved ocaml-base-compiler.4.14.2 (https://github.com/ocaml/ocaml/archive/4.14.2.tar.gz)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.14.2)
2024-12-17 23:13.27 ---> using "547453bc92689f28aa8edc21a52a1e9e27df734801eca758d47ba952c2523565" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-12-17 23:13.28 ---> using "4b918804cc7357d53e204f4acf17a07f696e1dc195f9f8d38a6270eb2ed9f428" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"rfsm.1.7.0\"\
\nopam install -vy \"rfsm.1.7.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"rfsm.1.7.0\" | grep -q '\"freebsd\"'; 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] rfsm.1.7.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 15 packages
- install cppo 1.8.0 [required by ppx_deriving]
- install dune 3.17.0 [required by rfsm]
- install lascar 0.7.0 [required by rfsm]
- install menhir 20211128 [required by rfsm]
- install menhirLib 20211128 [required by menhir]
- install menhirSdk 20211128 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.6 [required by ppx_deriving]
- install ocamlgraph 2.1.0 [required by rfsm]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.3 [required by lascar]
- install ppxlib 0.33.1~5.3preview [required by lascar]
- install rfsm 1.7.0
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ocamlgraph]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/43: [cppo.1.8.0: extract]
Processing 2/43: [cppo.1.8.0: extract] [dune.3.17.0: extract]
Processing 3/43: [cppo.1.8.0: extract] [dune.3.17.0: extract] [lascar.0.7.0: http]
-> retrieved cppo.1.8.0 (cached)
Processing 3/43: [dune.3.17.0: extract] [lascar.0.7.0: http]
Processing 4/43: [dune.3.17.0: extract] [lascar.0.7.0: http] [menhir.20211128 + 2 others: extract]
-> retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128 (cached)
Processing 4/43: [dune.3.17.0: extract] [lascar.0.7.0: http]
Processing 5/43: [dune.3.17.0: extract] [lascar.0.7.0: http] [ocaml-compiler-libs.v0.12.4: extract]
Processing 5/43: [dune.3.17.0: extract] [lascar.0.7.0: extract] [ocaml-compiler-libs.v0.12.4: extract]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 5/43: [dune.3.17.0: extract] [lascar.0.7.0: extract]
Processing 6/43: [dune.3.17.0: extract] [lascar.0.7.0: extract] [ocamlfind.1.9.6: extract]
-> retrieved lascar.0.7.0 (https://github.com/jserot/lascar/archive/0.7.0.tar.gz)
Processing 6/43: [dune.3.17.0: extract] [ocamlfind.1.9.6: extract]
Processing 7/43: [dune.3.17.0: extract] [ocamlfind.1.9.6: extract] [ocamlgraph.2.1.0: extract]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 7/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract]
Processing 8/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ppx_derivers.1.2.1: extract]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 9/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ppx_derivers.1.2.1: extract] [ocamlfind: patch]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 9/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ocamlfind: patch]
Processing 10/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ppx_deriving.6.0.3: extract] [ocamlfind: patch]
Processing 10/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ppx_deriving.6.0.3: extract] [ocamlfind: ./configure]
-> retrieved ppx_deriving.6.0.3 (cached)
Processing 10/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ocamlfind: ./configure]
Processing 11/43: [dune.3.17.0: extract] [ocamlgraph.2.1.0: extract] [ppxlib.0.33.1~5.3preview: extract] [ocamlfind: ./configure]
-> retrieved ocamlgraph.2.1.0 (cached)
Processing 11/43: [dune.3.17.0: extract] [ppxlib.0.33.1~5.3preview: extract] [ocamlfind: ./configure]
Processing 12/43: [dune.3.17.0: extract] [ppxlib.0.33.1~5.3preview: extract] [rfsm.1.7.0: http] [ocamlfind: ./configure]
-> retrieved ppxlib.0.33.1~5.3preview (cached)
Processing 12/43: [dune.3.17.0: extract] [rfsm.1.7.0: http] [ocamlfind: ./configure]
Processing 13/43: [dune.3.17.0: extract] [rfsm.1.7.0: http] [sexplib0.v0.17.0: extract] [ocamlfind: ./configure]
-> retrieved sexplib0.v0.17.0 (cached)
Processing 13/43: [dune.3.17.0: extract] [rfsm.1.7.0: http] [ocamlfind: ./configure]
Processing 14/43: [dune.3.17.0: extract] [rfsm.1.7.0: http] [stdlib-shims.0.3.0: extract] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 14/43: [dune.3.17.0: extract] [rfsm.1.7.0: http] [ocamlfind: ./configure]
-> retrieved dune.3.17.0 (cached)
Processing 14/43: [rfsm.1.7.0: http] [ocamlfind: ./configure]
Processing 15/43: [rfsm.1.7.0: http] [dune: ocaml 7] [ocamlfind: ./configure]
Processing 15/43: [rfsm.1.7.0: extract] [dune: ocaml 7] [ocamlfind: ./configure]
+ /home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.2/bin" "-sitelib" "/home/opam/.opam/4.14.2/lib" "-mandir" "/home/opam/.opam/4.14.2/man" "-config" "/home/opam/.opam/4.14.2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.14.2/lib/ocaml
- Binaries: /home/opam/.opam/4.14.2/bin
- Manual pages: /home/opam/.opam/4.14.2/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.14.2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.14.2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.14.2/bin
- Manual pages: /home/opam/.opam/4.14.2/man
- topfind script: /home/opam/.opam/4.14.2/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 15/43: [rfsm.1.7.0: extract] [dune: ocaml 7] [ocamlfind: gmake all]
-> retrieved rfsm.1.7.0 (https://github.com/jserot/rfsm/archive/1.7.0.tar.gz)
Processing 15/43: [dune: ocaml 7] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14.2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.2/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14.2/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.14.2/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.2/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
Processing 15/43: [dune: ocaml 7] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 15/43: [dune: ocaml 7]
Processing 16/43: [dune: ocaml 7] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.14.2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.2/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.14.2/bin"
- install -d "/home/opam/.opam/4.14.2/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14.2/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.2/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14.2/lib/findlib"
- install -d "/home/opam/.opam/4.14.2/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14.2/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.2/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.14.2/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.14.2/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.2/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14.2/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.2/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.2/lib/$x/META.tmp" "/home/opam/.opam/4.14.2/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14.2/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.2/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.14.2/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14.2/man/man1" "/home/opam/.opam/4.14.2/man/man3" "/home/opam/.opam/4.14.2/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.2/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14.2/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 16/43: [dune: ocaml 7]
+ /home/opam/.opam/4.14.2/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.17.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 7
-
Processing 16/43: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.2/.opam-switch/build/dune.3.17.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.17.0)
-> compiled dune.3.17.0
-> installed dune.3.17.0
Processing 18/43: [cppo: dune build]
Processing 19/43: [cppo: dune build] [menhirLib: dune build]
Processing 20/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 21/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build]
Processing 22/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 23/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
Processing 24/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ppx_derivers" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ppx_derivers.1.2.1)
-> compiled ppx_derivers.1.2.1
Processing 24/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed ppx_derivers.1.2.1
Processing 25/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "stdlib-shims" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/stdlib-shims.0.3.0)
-> compiled stdlib-shims.0.3.0
Processing 25/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> installed stdlib-shims.0.3.0
Processing 26/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
Processing 27/43: [cppo: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhirSdk" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhirSdk.20211128)
-> compiled menhirSdk.20211128
Processing 27/43: [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
-> installed menhirSdk.20211128
Processing 28/43: [cppo: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhirLib" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhirLib.20211128)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20211128
Processing 28/43: [cppo: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
-> installed menhirLib.20211128
Processing 29/43: [cppo: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
Processing 30/43: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build] [sexplib0: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "sexplib0" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/sexplib0.v0.17.0)
-> compiled sexplib0.v0.17.0
Processing 30/43: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build]
-> installed sexplib0.v0.17.0
Processing 31/43: [cppo: dune build] [menhir: dune build] [ocaml-compiler-libs: dune build] [ocamlgraph: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ocaml-compiler-libs" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocaml-compiler-libs.v0.12.4)
-> compiled ocaml-compiler-libs.v0.12.4
Processing 31/43: [cppo: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 32/43: [cppo: dune build] [menhir: dune build] [ocamlgraph: dune build]
Processing 33/43: [cppo: dune build] [menhir: dune build] [ocamlgraph: dune build] [ppxlib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "cppo" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/cppo.1.8.0)
-> compiled cppo.1.8.0
Processing 33/43: [menhir: dune build] [ocamlgraph: dune build] [ppxlib: dune build]
-> installed cppo.1.8.0
Processing 34/43: [menhir: dune build] [ocamlgraph: dune build] [ppxlib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ocamlgraph" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlgraph.2.1.0)
-> compiled ocamlgraph.2.1.0
Processing 34/43: [menhir: dune build] [ppxlib: dune build]
-> installed ocamlgraph.2.1.0
Processing 35/43: [menhir: dune build] [ppxlib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ppxlib" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ppxlib.0.33.1~5.3preview)
-> compiled ppxlib.0.33.1~5.3preview
Processing 35/43: [menhir: dune build]
-> installed ppxlib.0.33.1~5.3preview
Processing 36/43: [menhir: dune build]
Processing 37/43: [menhir: dune build] [ppx_deriving: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhir" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhir.20211128)
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --no-pager --table --fixed-exception --require-aliases --strict --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- The action table is 11324 entries; 1610 non-zero; 1359 compressed.
- The action table occupies roughly 2816 bytes.
- The goto table is 16986 entries; 329 non-zero; 636 compressed.
- The goto table occupies roughly 1368 bytes.
- The error table occupies roughly 1448 bytes.
- The default_reduction table occupies roughly 336 bytes.
- The lhs table occupies roughly 168 bytes.
- The trace table occupies roughly 8 bytes.
- (cd _build/default/src/stage2 && .bin/menhir --no-pager --table --fixed-exception --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20211128
Processing 37/43: [ppx_deriving: dune build]
-> installed menhir.20211128
Processing 38/43: [ppx_deriving: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "ppx_deriving" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ppx_deriving.6.0.3)
-> compiled ppx_deriving.6.0.3
-> installed ppx_deriving.6.0.3
Processing 40/43: [lascar: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "lascar" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/lascar.0.7.0)
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/utils/.utils.objs/byte -no-alias-deps -open Utils -o src/utils/.utils.objs/byte/utils__Parsing.cmi -c -intf src/utils/parsing.mli)
- File "src/utils/parsing.mli", line 19, characters 19-27:
- 19 | -> (Genlex.token Stream.t -> 'a)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 19, characters 6-18:
- 19 | -> (Genlex.token Stream.t -> 'a)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 20, characters 18-26:
- 20 | -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 20, characters 5-17:
- 20 | -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 32, characters 35-43:
- 32 | lexer:(string -> Genlex.token Stream.t)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 32, characters 22-34:
- 32 | lexer:(string -> Genlex.token Stream.t)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 33, characters 26-34:
- 33 | -> parser:(Genlex.token Stream.t -> 'a)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 33, characters 13-25:
- 33 | -> parser:(Genlex.token Stream.t -> 'a)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 35, characters 10-22:
- 35 | -> ('a, Genlex.token option) Result.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 41, characters 34-46:
- 41 | exception Parse_error of string * Genlex.token option (** Parsed string, lookahead token *)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 44, characters 35-43:
- 44 | lexer:(string -> Genlex.token Stream.t)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 44, characters 22-34:
- 44 | lexer:(string -> Genlex.token Stream.t)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 45, characters 26-34:
- 45 | -> parser:(Genlex.token Stream.t -> 'a)
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.mli", line 45, characters 13-25:
- 45 | -> parser:(Genlex.token Stream.t -> 'a)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Utils -o src/utils/.utils.objs/byte/utils__Parsing.cmo -c -impl src/utils/parsing.ml)
- File "src/utils/parsing.ml", line 14, characters 8-19:
- 14 | match Stream.peek s, stop_on with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 15, characters 10-20:
- 15 | | Some (Genlex.Kwd sep'), _ when sep'=sep ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 20, characters 10-20:
- 20 | | Some (Genlex.Kwd c), Some c' when c=c' -> [] (* Special case: do not report error but return *)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 16, characters 5-16:
- 16 | Stream.junk s;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 21, characters 23-37:
- 21 | | Some _, _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 23, characters 8-19:
- 23 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 35, characters 16-27:
- 35 | begin match Stream.peek ss with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 4-18:
- 40 | Stream.Failure -> Error (Stream.peek ss)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 29-40:
- 40 | Stream.Failure -> Error (Stream.peek ss)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 42, characters 34-46:
- 42 | exception Parse_error of string * Genlex.token option
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 48, characters 16-27:
- 48 | begin match Stream.peek ss with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 50, characters 34-45:
- 50 | | t -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 4-18:
- 53 | Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 45-56:
- 53 | Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Utils -o src/utils/.utils.objs/native/utils__Parsing.cmx -c -impl src/utils/parsing.ml)
- File "src/utils/parsing.ml", line 14, characters 8-19:
- 14 | match Stream.peek s, stop_on with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 15, characters 10-20:
- 15 | | Some (Genlex.Kwd sep'), _ when sep'=sep ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 20, characters 10-20:
- 20 | | Some (Genlex.Kwd c), Some c' when c=c' -> [] (* Special case: do not report error but return *)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 16, characters 5-16:
- 16 | Stream.junk s;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 21, characters 23-37:
- 21 | | Some _, _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 23, characters 8-19:
- 23 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 35, characters 16-27:
- 35 | begin match Stream.peek ss with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 4-18:
- 40 | Stream.Failure -> Error (Stream.peek ss)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 40, characters 29-40:
- 40 | Stream.Failure -> Error (Stream.peek ss)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 42, characters 34-46:
- 42 | exception Parse_error of string * Genlex.token option
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 48, characters 16-27:
- 48 | begin match Stream.peek ss with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 50, characters 34-45:
- 50 | | t -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 4-18:
- 53 | Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/utils/parsing.ml", line 53, characters 45-56:
- 53 | Stream.Failure -> raise (Parse_error (s, Stream.peek ss))
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_expr.cmi -c -intf src/lib/fsm_expr.pp.mli)
- File "src/lib/fsm_expr.mli", line 47, characters 36-44:
- 47 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 47, characters 23-35:
- 47 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 48, characters 26-34:
- 48 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.mli", line 48, characters 13-25:
- 48 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_expr.cmo -c -impl src/lib/fsm_expr.pp.ml)
- File "src/lib/fsm_expr.ml", line 42, characters 36-44:
- 42 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 42, characters 23-35:
- 42 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 26-34:
- 43 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 13-25:
- 43 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 57-74:
- 134 | let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 37-53:
- 134 | let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 136, characters 9-15:
- 136 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 139, characters 12-23:
- 139 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 144, characters 21-32:
- 144 | begin match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 145, characters 29-40:
- 145 | | Some (Kwd ")") -> Stream.junk s; e
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 146, characters 22-36:
- 146 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 148, characters 19-33:
- 148 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 151, characters 12-23:
- 151 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 152, characters 64-75:
- 152 | | Some (Kwd op) when List.mem_assoc op.[0] V.unary_ops -> Stream.junk s; let e = p_exp0 s in EUnop(op.[0], e)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 158, characters 12-23:
- 158 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 159, characters 83-94:
- 159 | | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 0 -> Stream.junk s; let e2 = p_exp1 s in EBinop(op, e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 163, characters 12-23:
- 163 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 164, characters 83-94:
- 164 | | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 1 -> Stream.junk s; let e2 = p_exp s in EBinop(op, e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_action.cmi -c -intf src/lib/fsm_action.pp.mli)
- File "src/lib/fsm_action.mli", line 20, characters 46-54:
- 20 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 20, characters 33-45:
- 20 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 21, characters 36-44:
- 21 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 21, characters 23-35:
- 21 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 23, characters 26-34:
- 23 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.mli", line 23, characters 13-25:
- 23 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_condition.cmi -c -intf src/lib/fsm_condition.pp.mli)
- File "src/lib/fsm_condition.mli", line 20, characters 46-54:
- 20 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 20, characters 33-45:
- 20 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 21, characters 36-44:
- 21 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 21, characters 23-35:
- 21 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 22, characters 26-34:
- 22 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.mli", line 22, characters 13-25:
- 22 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_action.cmo -c -impl src/lib/fsm_action.pp.ml)
- File "src/lib/fsm_action.ml", line 18, characters 46-54:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 18, characters 33-45:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 36-44:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 23-35:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 26-34:
- 21 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 13-25:
- 21 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 60-77:
- 32 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 40-56:
- 32 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 33, characters 26-37:
- 33 | let rec p_act s = match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 34, characters 6-18:
- 34 | | Genlex.Ident e1 -> p_act1 e1 s
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 35, characters 17-31:
- 35 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 36, characters 26-37:
- 36 | and p_act1 e1 s = match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 37, characters 6-16:
- 37 | | Genlex.Kwd ":=" -> let e2 = Expr.parse s in Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 38, characters 17-31:
- 38 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_expr.cmx -c -impl src/lib/fsm_expr.pp.ml)
- File "src/lib/fsm_expr.ml", line 42, characters 36-44:
- 42 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 42, characters 23-35:
- 42 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 26-34:
- 43 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 43, characters 13-25:
- 43 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 57-74:
- 134 | let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 134, characters 37-53:
- 134 | let lexer s = s |> mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 136, characters 9-15:
- 136 | open Genlex
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 139, characters 12-23:
- 139 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 144, characters 21-32:
- 144 | begin match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 145, characters 29-40:
- 145 | | Some (Kwd ")") -> Stream.junk s; e
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 146, characters 22-36:
- 146 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 148, characters 19-33:
- 148 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 151, characters 12-23:
- 151 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 152, characters 64-75:
- 152 | | Some (Kwd op) when List.mem_assoc op.[0] V.unary_ops -> Stream.junk s; let e = p_exp0 s in EUnop(op.[0], e)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 158, characters 12-23:
- 158 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 159, characters 83-94:
- 159 | | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 0 -> Stream.junk s; let e2 = p_exp1 s in EBinop(op, e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 163, characters 12-23:
- 163 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_expr.ml", line 164, characters 83-94:
- 164 | | Some (Kwd op) when List.mem_assoc op V.binary_ops && infix_level op = 1 -> Stream.junk s; let e2 = p_exp s in EBinop(op, e1, e2)
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_condition.cmo -c -impl src/lib/fsm_condition.pp.ml)
- File "src/lib/fsm_condition.ml", line 18, characters 46-54:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 18, characters 33-45:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 36-44:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 23-35:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 26-34:
- 20 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 13-25:
- 20 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 60-77:
- 34 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 40-56:
- 34 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 36, characters 13-19:
- 36 | let open Genlex in
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 37, characters 10-21:
- 37 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 39, characters 19-30:
- 39 | begin match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 41, characters 20-34:
- 41 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 43, characters 17-31:
- 43 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_transition.cmi -c -intf src/lib/fsm_transition.pp.mli)
- File "src/lib/fsm_transition.mli", line 22, characters 46-54:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 22, characters 33-45:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 23, characters 36-44:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 23, characters 23-35:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 24, characters 26-34:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.mli", line 24, characters 13-25:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_action.cmx -c -impl src/lib/fsm_action.pp.ml)
- File "src/lib/fsm_action.ml", line 18, characters 46-54:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 18, characters 33-45:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 36-44:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 19, characters 23-35:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 26-34:
- 21 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 21, characters 13-25:
- 21 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 60-77:
- 32 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 32, characters 40-56:
- 32 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 33, characters 26-37:
- 33 | let rec p_act s = match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 34, characters 6-18:
- 34 | | Genlex.Ident e1 -> p_act1 e1 s
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 35, characters 17-31:
- 35 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 36, characters 26-37:
- 36 | and p_act1 e1 s = match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 37, characters 6-16:
- 37 | | Genlex.Kwd ":=" -> let e2 = Expr.parse s in Assign (e1, e2)
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_action.ml", line 38, characters 17-31:
- 38 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_condition.cmx -c -impl src/lib/fsm_condition.pp.ml)
- File "src/lib/fsm_condition.ml", line 18, characters 46-54:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 18, characters 33-45:
- 18 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 36-44:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 19, characters 23-35:
- 19 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 26-34:
- 20 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 20, characters 13-25:
- 20 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 60-77:
- 34 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 34, characters 40-56:
- 34 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 36, characters 13-19:
- 36 | let open Genlex in
- ^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 37, characters 10-21:
- 37 | match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 39, characters 19-30:
- 39 | begin match Stream.next s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 41, characters 20-34:
- 41 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_condition.ml", line 43, characters 17-31:
- 43 | | _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm_transition.cmo -c -impl src/lib/fsm_transition.pp.ml)
- File "src/lib/fsm_transition.ml", line 22, characters 46-54:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 22, characters 33-45:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 36-44:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 23-35:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 26-34:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 13-25:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 60-77:
- 54 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 40-56:
- 54 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 58, characters 12-23:
- 58 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 14-24:
- 59 | | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 46-57:
- 59 | | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 60, characters 24-38:
- 60 | | Some _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 62, characters 10-21:
- 62 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 63, characters 12-22:
- 63 | | Some (Genlex.Kwd sep) when sep="|" ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm_transition.cmx -c -impl src/lib/fsm_transition.pp.ml)
- File "src/lib/fsm_transition.ml", line 22, characters 46-54:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 22, characters 33-45:
- 22 | val of_string: ?lexer:(string->Genlex.token Stream.t) -> string -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 36-44:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 23, characters 23-35:
- 23 | val lexer: string -> Genlex.token Stream.t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 26-34:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 24, characters 13-25:
- 24 | val parse: Genlex.token Stream.t -> t
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 60-77:
- 54 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 54, characters 40-56:
- 54 | let lexer s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 58, characters 12-23:
- 58 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 14-24:
- 59 | | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 59, characters 46-57:
- 59 | | Some (Genlex.Kwd sep) when sep="|" -> Stream.junk s; p_actions s
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 60, characters 24-38:
- 60 | | Some _ -> raise Stream.Failure
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 62, characters 10-21:
- 62 | match Stream.peek s with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/lib/fsm_transition.ml", line 63, characters 12-22:
- 63 | | Some (Genlex.Kwd sep) when sep="|" ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlc.opt -w -40 -g -bin-annot -I src/lib/.lascar.objs/byte -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/byte/lascar__Fsm.cmo -c -impl src/lib/fsm.pp.ml)
- File "src/lib/fsm.ml", line 232, characters 72-89:
- 232 | let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 232, characters 52-68:
- 232 | let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/ocamlopt.opt -w -40 -g -I src/lib/.lascar.objs/byte -I src/lib/.lascar.objs/native -I /home/opam/.opam/4.14.2/lib/ppx_deriving/runtime -I src/utils/.utils.objs/byte -I src/utils/.utils.objs/native -intf-suffix .ml -no-alias-deps -open Lascar -o src/lib/.lascar.objs/native/lascar__Fsm.cmx -c -impl src/lib/fsm.pp.ml)
- File "src/lib/fsm.ml", line 232, characters 72-89:
- 232 | let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "src/lib/fsm.ml", line 232, characters 52-68:
- 232 | let mk_lexer keywords s = s |> Expr.mk_unaries |> Stream.of_string |> Genlex.make_lexer keywords
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled lascar.0.7.0
-> installed lascar.0.7.0
Processing 42/43: [rfsm: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "rfsm" "-j" "7" "@install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/rfsm.1.7.0)
- Error: execve(./build_options_spec): No such file or directory
- -> required by _build/default/src/bin/options_spec.ml
- -> required by
- _build/default/src/bin/.rfsmc.eobjs/dune__exe__Options_spec.impl.d
- -> required by
- _build/default/src/bin/.rfsmc.eobjs/dune__exe__Options_spec.impl.all-deps
- -> required by
- _build/default/src/bin/.rfsmc.eobjs/dune__exe__Rfsmc.impl.all-deps
- -> required by _build/default/src/bin/rfsmc.exe
- -> required by _build/install/default/bin/rfsmc
- -> required by _build/default/rfsm.install
- -> required by alias install
- (cd _build/default && /home/opam/.opam/4.14.2/bin/menhir src/bin/old_parser.mly --base src/bin/old_parser --infer-read-reply src/bin/old_parser__mock.mli.inferred)
- Warning: 2 states have shift/reduce conflicts.
- Warning: 2 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/4.14.2/bin/menhir src/bin/main_parser.mly --base src/bin/main_parser --infer-read-reply src/bin/main_parser__mock.mli.inferred)
- Warning: 2 states have shift/reduce conflicts.
- Warning: 2 shift/reduce conflicts were arbitrarily resolved.
[ERROR] The compilation of rfsm.1.7.0 failed at "dune build -p rfsm -j 7 @install".
#=== ERROR while compiling rfsm.1.7.0 =========================================#
# context 2.3.0 | freebsd/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
# path ~/.opam/4.14.2/.opam-switch/build/rfsm.1.7.0
# command ~/.opam/4.14.2/bin/dune build -p rfsm -j 7 @install
# exit-code 1
# env-file ~/.opam/log/rfsm-35371-93760b.env
# output-file ~/.opam/log/rfsm-35371-93760b.out
### output ###
# [...]
# -> required by
# _build/default/src/bin/.rfsmc.eobjs/dune__exe__Rfsmc.impl.all-deps
# -> required by _build/default/src/bin/rfsmc.exe
# -> required by _build/install/default/bin/rfsmc
# -> required by _build/default/rfsm.install
# -> required by alias install
# (cd _build/default && /home/opam/.opam/4.14.2/bin/menhir src/bin/old_parser.mly --base src/bin/old_parser --infer-read-reply src/bin/old_parser__mock.mli.inferred)
# Warning: 2 states have shift/reduce conflicts.
# Warning: 2 shift/reduce conflicts were arbitrarily resolved.
# (cd _build/default && /home/opam/.opam/4.14.2/bin/menhir src/bin/main_parser.mly --base src/bin/main_parser --infer-read-reply src/bin/main_parser__mock.mli.inferred)
# Warning: 2 states have shift/reduce conflicts.
# Warning: 2 shift/reduce conflicts were arbitrarily resolved.
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build rfsm 1.7.0
+-
+- The following changes have been performed
| - install cppo 1.8.0
| - install dune 3.17.0
| - install lascar 0.7.0
| - install menhir 20211128
| - install menhirLib 20211128
| - install menhirSdk 20211128
| - install ocaml-compiler-libs v0.12.4
| - install ocamlfind 1.9.6
| - install ocamlgraph 2.1.0
| - install ppx_derivers 1.2.1
| - install ppx_deriving 6.0.3
| - install ppxlib 0.33.1~5.3preview
| - install sexplib0 v0.17.0
| - install stdlib-shims 0.3.0
+-
The former state can be restored with:
/usr/local/bin/opam switch import "/home/opam/.opam/4.14.2/.opam-switch/backup/state-20241217231336.export"
'opam install -vy rfsm.1.7.0' failed.
jail: /usr/bin/su -l opam -c cd '/' && env OPAM_HEALTH_CHECK_CI='true' CI='true' OPAMCRITERIA='+removed' OPAMEXTERNALSOLVER='builtin-0install' OPAMUTF8='never' OPAMPRECISETRACKING='1' '/usr/bin/env' 'bash' '-c' '
opam remove -y "rfsm.1.7.0"
opam install -vy "rfsm.1.7.0"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "rfsm.1.7.0" | grep -q '\''"freebsd"'\''; then
echo "This package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field."
exit 69
fi
fi
exit $res
': failed
"jail" "-c" "name=obuilder_48244_27587" "mount.fstab=/tmp/obuilder-jail-e5f937/fstab" "mount.devfs" "path=/obuilder/result/40efb35fae5654d402874153fe536d66004903b95bc49e64c02586651d0a5efe/rootfs" "host=inherit" "ip6=inherit" "ip4=inherit" "command=/usr/bin/su" "-l" "opam" "-c" "cd '/' && env OPAM_HEALTH_CHECK_CI='true' CI='true' OPAMCRITERIA='+removed' OPAMEXTERNALSOLVER='builtin-0install' OPAMUTF8='never' OPAMPRECISETRACKING='1' '/usr/bin/env' 'bash' '-c' '
opam remove -y "rfsm.1.7.0"
opam install -vy "rfsm.1.7.0"
res=$?
if [ $res = 31 ]; then
if opam show -f x-ci-accept-failures: "rfsm.1.7.0" | grep -q '\''"freebsd"'\''; then
echo "This package failed and has been disabled for CI using the '\''x-ci-accept-failures'\'' field."
exit 69
fi
fi
exit $res
'" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs