← Back to PR #29012
Build Log: smtml.0.16.0
Status: FAILURE
Log Output
Processing: [default: loading data]
[smtml.0.16.0: http]
[smtml.0.16.0: extract]
-> retrieved smtml.0.16.0 (https://github.com/formalsec/smtml/archive/refs/tags/v0.16.0.tar.gz)
[smtml: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "smtml" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/smtml.0.16.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -open Smtml_prelude -g -bin-annot -I src/smtml/.smtml.objs/byte -I src/smtml/.smtml.objs/public_cmi -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/dolmen -I /home/opam/.opam/default/lib/dolmen/ae -I /home/opam/.opam/default/lib/dolmen/class -I /home/opam/.opam/default/lib/dolmen/dimacs -I /home/opam/.opam/default/lib/dolmen/icnf -I /home/opam/.opam/default/lib/dolmen/intf -I /home/opam/.opam/default/lib/dolmen/line -I /home/opam/.opam/default/lib/dolmen/smtlib2 -I /home/opam/.opam/default/lib/dolmen/smtlib2/poly -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_response -I /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -I /home/opam/.opam/default/lib/dolmen/std -I /home/opam/.opam/default/lib/dolmen/tptp -I /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -I /home/opam/.opam/default/lib/dolmen/zf -I /home/opam/.opam/default/lib/dolmen_loop -I /home/opam/.opam/default/lib/dolmen_model -I /home/opam/.opam/default/lib/dolmen_type -I /home/opam/.opam/default/lib/farith -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/gen -I /home/opam/.opam/default/lib/hc -I /home/opam/.opam/default/lib/hmap -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/mtime -I /home/opam/.opam/default/lib/mtime/clock -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml_intrinsics -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/pp_loc -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/prelude -I /home/opam/.opam/default/lib/rresult -I /home/opam/.opam/default/lib/scfg -I /home/opam/.opam/default/lib/sedlex -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/spelll -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/uutf -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/smtml_prelude/.smtml_prelude.objs/byte -no-alias-deps -open Smtml -o src/smtml/.smtml.objs/byte/smtml__Utils.cmo -c -impl src/smtml/utils.pp.ml)
- File "src/smtml/utils.ml", line 35, characters 14-27:
- 35 | if not (List.is_empty !log_entries) then
- ^^^^^^^^^^^^^
- Error: Unbound value List.is_empty
[ERROR] The compilation of smtml.0.16.0 failed at "dune build -p smtml -j 255 @install".
build failed...
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"astring.0.8.5" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"base.v0.16.4" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2" "sexplib0.v0.16.0"}
"bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cmdliner.2.1.0" -> "ocaml.4.14.2";
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.4.14.2"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"dolmen.0.10" -> {"dune.3.20.2" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.4.14.2" "seq.base"}
"dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.20.2" "gen.1.1" "ocaml.4.14.2" "pp_loc.2.1.0"}
"dolmen_model.0.10" -> {"dolmen.0.10" "dolmen_loop.0.10" "dune.3.20.2" "farith.0.1" "ocaml.4.14.2" "zarith.1.14"}
"dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.20.2" "ocaml.4.14.2" "spelll.0.4" "uutf.1.0.4"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.4.14.2"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.4.14.2"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.4.14.2"}
"farith.0.1" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_deriving.6.0.3" "ppx_hash.v0.16.0" "zarith.1.14"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.2.1.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base"}
"hc.0.5" -> {"dune.3.20.2" "ocaml.4.14.2"}
"hmap.0.8.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.2.1.0" "fmt.0.11.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.4.14.2"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.4.14.2"}
"mtime.2.1.0" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"ocaml.4.14.2" -> {"ocaml-base-compiler.4.14.2" "ocaml-config.2"}
"ocaml-compiler-libs.v0.12.4" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ocaml-config.2" -> "ocaml-base-compiler.4.14.2";
"ocaml_intrinsics.v0.16.2" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.4.14.2"}
"ocamlbuild.0.16.1" -> "ocaml.4.14.2";
"ocamlfind.1.9.8" -> "ocaml.4.14.2";
"patricia-tree.0.11.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_compare.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.4.14.2"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.4.14.2" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_hash.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppx_compare.v0.16.0" "ppx_sexp_conv.v0.16.0" "ppxlib.0.35.0"}
"ppx_sexp_conv.v0.16.0" -> {"base.v0.16.4" "dune.3.20.2" "ocaml.4.14.2" "ppxlib.0.35.0" "sexplib0.v0.16.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.4.14.2" "ocaml-compiler-libs.v0.12.4" "ppx_derivers.1.2.1" "sexplib0.v0.16.0" "stdlib-shims.0.3.0"}
"prelude.0.5" -> {"dune.3.20.2" "ocaml.4.14.2"}
"rresult.0.7.0" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"rusage.1.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"scfg.0.5" -> {"bos.0.2.1" "cmdliner.2.1.0" "dune.3.20.2" "fmt.0.11.0" "fpath.0.7.3" "menhir.20250912" "ocaml.4.14.2" "prelude.0.5" "sedlex.3.7"}
"sedlex.3.7" -> {"dune.3.20.2" "gen.1.1" "ocaml.4.14.2" "ppxlib.0.35.0"}
"seq.base" -> "ocaml.4.14.2";
"sexplib0.v0.16.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"smtml.0.16.0" -> {"bos.0.2.1" "cmdliner.2.1.0" "dolmen.0.10" "dolmen_model.0.10" "dolmen_type.0.10" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "fpath.0.7.3" "hc.0.5" "menhir.20250912" "mtime.2.1.0" "ocaml.4.14.2" "ocaml_intrinsics.v0.16.2" "patricia-tree.0.11.0" "prelude.0.5" "rusage.1.0.0" "scfg.0.5" "yojson.3.0.0" "zarith.1.14"}
"spelll.0.4" -> {"dune.3.20.2" "ocaml.4.14.2" "seq.base" "stdlib-shims.0.3.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"topkg.1.1.1" -> {"ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"uutf.1.0.4" -> {"cmdliner.2.1.0" "ocaml.4.14.2" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.4.14.2"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.4.14.2" "ocamlfind.1.9.8"}
}