Building on spring
(from freebsd)
2024-08-08 10:41.28 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" 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/local/bin/opam-dev /usr/local/bin/opam"))
2024-08-08 10:41.30 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" 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 85058bdc24b7375e71be2d749b47bd7a1c8dd5b4"))
2024-08-08 10:41.31 ---> using "ce11077fd6b5f0fe43748cf38a8fe6352459b19d6d46e6ffe9d0777a816d13c5" 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-08-08 10:41.33 ---> using "250005dfc2b47d1b02f9e7f5ee3b74c50d6278cc900e4f133ee5445c0e192fd8" 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 <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> 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-base-compiler.4.14.2 (cached)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# Run eval $(opam env --switch=4.14.2) to update the current shell environment
2024-08-08 10:41.34 ---> using "54c80793d4323fc8fe04470c0b9b3c6685fb05590038ce356a59fe77ca07a083" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-08-08 10:41.34 ---> using "1e6fc31f64ff3948e58dd08c9b8e2efab33b3dde974d579ae503581cc820ed99" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"lascar.0.7.0\"\
\nopam install -vy \"lascar.0.7.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"lascar.0.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] lascar.0.7.0 is not installed.
Nothing to do.
The following actions will be performed:
=== install 10 packages
- install cppo 1.6.9 [required by ppx_deriving]
- install dune 3.16.0 [required by lascar]
- install lascar 0.7.0
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.6 [required by ppx_deriving]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.2 [required by lascar]
- install ppxlib 0.33.0 [required by lascar]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/30: [cppo.1.6.9: extract]
Processing 2/30: [cppo.1.6.9: extract] [dune.3.16.0: extract]
Processing 3/30: [cppo.1.6.9: extract] [dune.3.16.0: extract] [lascar.0.7.0: http]
-> retrieved cppo.1.6.9 (cached)
Processing 3/30: [dune.3.16.0: extract] [lascar.0.7.0: http]
Processing 4/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ocaml-compiler-libs.v0.12.4: extract]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 4/30: [dune.3.16.0: extract] [lascar.0.7.0: http]
Processing 5/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ocamlfind.1.9.6: extract]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 5/30: [dune.3.16.0: extract] [lascar.0.7.0: http]
Processing 6/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ppx_derivers.1.2.1: extract]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 7/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ppx_derivers.1.2.1: extract] [ocamlfind: patch]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 7/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ocamlfind: patch]
Processing 8/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ppx_deriving.6.0.2: extract] [ocamlfind: patch]
Processing 8/30: [dune.3.16.0: extract] [lascar.0.7.0: http] [ppx_deriving.6.0.2: extract] [ocamlfind: ./configure]
Processing 8/30: [dune.3.16.0: extract] [lascar.0.7.0: extract] [ppx_deriving.6.0.2: extract] [ocamlfind: ./configure]
-> retrieved ppx_deriving.6.0.2 (cached)
Processing 8/30: [dune.3.16.0: extract] [lascar.0.7.0: extract] [ocamlfind: ./configure]
Processing 9/30: [dune.3.16.0: extract] [lascar.0.7.0: extract] [ppxlib.0.33.0: extract] [ocamlfind: ./configure]
-> retrieved lascar.0.7.0 (https://github.com/jserot/lascar/archive/0.7.0.tar.gz)
Processing 9/30: [dune.3.16.0: extract] [ppxlib.0.33.0: extract] [ocamlfind: ./configure]
Processing 10/30: [dune.3.16.0: extract] [ppxlib.0.33.0: extract] [sexplib0.v0.17.0: extract] [ocamlfind: ./configure]
-> retrieved sexplib0.v0.17.0 (cached)
Processing 10/30: [dune.3.16.0: extract] [ppxlib.0.33.0: extract] [ocamlfind: ./configure]
Processing 11/30: [dune.3.16.0: extract] [ppxlib.0.33.0: extract] [stdlib-shims.0.3.0: extract] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 11/30: [dune.3.16.0: extract] [ppxlib.0.33.0: extract] [ocamlfind: ./configure]
-> retrieved ppxlib.0.33.0 (cached)
Processing 11/30: [dune.3.16.0: extract] [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 11/30: [dune.3.16.0: extract] [ocamlfind: gmake all]
-> retrieved dune.3.16.0 (cached)
Processing 11/30: [ocamlfind: gmake all]
Processing 12/30: [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 12/30: [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 12/30: [dune: ocaml 7]
Processing 13/30: [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 13/30: [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.16.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 13/30: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.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.16.0)
-> compiled dune.3.16.0
-> installed dune.3.16.0
Processing 15/30: [cppo: dune build]
Processing 16/30: [cppo: dune build] [ocaml-compiler-libs: dune build]
Processing 17/30: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 18/30: [cppo: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
Processing 19/30: [cppo: 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 19/30: [cppo: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
-> installed ppx_derivers.1.2.1
Processing 20/30: [cppo: 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 20/30: [cppo: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build]
-> installed stdlib-shims.0.3.0
Processing 21/30: [cppo: dune build] [ocaml-compiler-libs: 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 21/30: [cppo: dune build] [ocaml-compiler-libs: dune build]
-> installed sexplib0.v0.17.0
Processing 22/30: [cppo: dune build] [ocaml-compiler-libs: 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 22/30: [cppo: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 23/30: [cppo: dune build]
Processing 24/30: [cppo: dune build] [ppxlib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "cppo" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
Processing 24/30: [ppxlib: dune build]
-> installed cppo.1.6.9
Processing 25/30: [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.0)
-> compiled ppxlib.0.33.0
-> installed ppxlib.0.33.0
Processing 27/30: [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.2)
-> compiled ppx_deriving.6.0.2
-> installed ppx_deriving.6.0.2
Processing 29/30: [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 -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 -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/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 -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_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/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/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/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/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.
- (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.
-> compiled lascar.0.7.0
-> installed lascar.0.7.0
Done.
2024-08-08 10:46.25 ---> saved as "6d798ffe721a2650a38bbabf3c7f7cf90cf837bcced9d2c6c7c3e7f94bde9df3"
Job succeeded
Home|Differences with the last checks|Previous runs