Build:
- 0
2026-11-09 17:01.04: New job: build smtml.0.28.0 (14d361cc7c6d)
2026-11-09 17:01.04: Waiting for resource in pool day11-builds
2026-11-09 17:53.28: Got resource from pool day11-builds
2026-11-09 17:53.28: [profile full] build smtml.0.28.0
2026-11-09 17:53.28: build smtml.0.28.0 (14d361cc7c6d)
=== DEPENDENCIES (72 transitive) ===
astring.0.8.5 183d0629d466
base.v0.17.3 df95fc835e36
base-bytes.base 25adf1fa2472
base-threads.base e5afefc1e615
base-unix.base 52b3a79a2336
bos.0.3.0 3ccc9f66dfc3
cmdliner.2.1.1 87086de17248
compiler-cloning.enabled 656c3e8c82d2
conf-gmp.5 5fdec896ddcc
conf-pkg-config.5 918c1ea9acfc
cppo.1.8.0 79a26af73ce9
csexp.1.5.2 954067a5cbf9
dolmen.0.11 9c6a0ff203a5
dolmen_loop.0.11 390bcb79ca27
dolmen_model.0.11 dc108503d84a
dolmen_type.0.11 3f9ad0253d68
dune.3.23.1 9c86cc0672e8
dune-build-info.3.23.1 566c362dcc73
dune-configurator.3.23.1 2e8bb64d1e30
dune-private-libs.3.23.1 16f69a697c6a
dune-site.3.23.1 ab05eb06f121
dyn.3.23.1 94718c54a8ae
farith.0.1 fcfd84a70920
fmt.0.11.0 6e18f3c0f0c0
fpath.0.7.3 fbf00c419b62
fs-io.3.23.1 98c8176626c2
gen.1.1 1f08b49a860f
hc.0.5 9e8d8000b4f1
hmap.0.8.1 e4bcb6bcc59e
js_of_ocaml-compiler.6.5.0 eb048c58151d
logs.0.10.0 4c516c520161
lwt.6.1.2 11678f1c0d56
menhir.20260209 2dda8ef3f7ea
menhirCST.20260209 43c258620573
menhirGLR.20260209 7c36bc620f2b
menhirLib.20260209 16075cc981b2
menhirSdk.20260209 669551834778
mtime.2.2.0 95cbb40220b0
ocaml.5.5.2 fec8e2d43a6e
ocaml-base-compiler.5.5.2 ef85578d279b
ocaml-compiler.5.5.2 2759c28bbd03
ocaml-compiler-libs.v0.17.0 92c829263696
ocaml_intrinsics.v0.17.0 094e2c218df3
ocaml_intrinsics_kernel.v0.17.3 59828c922f12
ocamlbuild.0.16.1 72dd90b12cc0
ocamlfind.1.9.9~preview f6d4e7fc14b0
ocplib-endian.1.2 a5a11845ea8c
ordering.3.23.1 e8d62f292448
pp.2.0.0 5d0e89885a34
pp_loc.2.1.0 0f65efbe6aa2
ppx_compare.v0.17.0 423d67dbab16
ppx_derivers.1.2.1 03002d2f3fc0
ppx_deriving.6.2.0 5822d85e9f85
ppx_enumerate.v0.17.0 1d851fda3780
ppx_hash.v0.17.0 c729f11bcce3
ppx_sexp_conv.v0.17.1 9f7d7f26123e
ppxlib.0.39.0 5a019ed23d09
ppxlib_jane.v0.17.4 d37269e7b526
prelude.0.5 c4c4c8bdd913
rresult.0.7.0 d2568056b761
scfg.0.5 cd0bdf097c18
sedlex.3.8.1 d644b91ff9fb
seq.base f11222a9db6a
sexplib0.v0.17.0 40e19e8f4f72
spelll.0.4 ca888a7f5af1
stdlib-shims.0.3.0 212e676753aa
stdune.3.23.1 d4b94e4c2760
top-closure.3.23.1 44804e243a60
topkg.1.1.1 aa4302b13957
uutf.1.0.4 41f750694ffc
yojson.3.0.0 38da1748865e
zarith.1.14 f815f6ef43c3
=== STDOUT ===
Processing: [default: loading data]
[smtml.0.28.0: dl]
[smtml.0.28.0: extract]
-> retrieved smtml.0.28.0 (https://opam.ocaml.org/cache)
[smtml: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "smtml" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/smtml.0.28.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -open Smtml_prelude -w -40 -open Smtzilla_utils -g -bin-annot -bin-annot-occurrences -I src/smtml/.smtml.objs/byte -I src/smtml/.smtml.objs/public_cmi -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/std -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/hc -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/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/scfg -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/smtml_prelude/.smtml_prelude.objs/byte -I src/smtzilla_utils/.smtzilla_utils.objs/byte -H /home/opam/.opam/default/lib/astring -H /home/opam/.opam/default/lib/base -H /home/opam/.opam/default/lib/base/base_internalhash_types -H /home/opam/.opam/default/lib/base/shadow_stdlib -H /home/opam/.opam/default/lib/dolmen/ae -H /home/opam/.opam/default/lib/dolmen/class -H /home/opam/.opam/default/lib/dolmen/dimacs -H /home/opam/.opam/default/lib/dolmen/icnf -H /home/opam/.opam/default/lib/dolmen/intf -H /home/opam/.opam/default/lib/dolmen/line -H /home/opam/.opam/default/lib/dolmen/smtlib2 -H /home/opam/.opam/default/lib/dolmen/smtlib2/poly -H /home/opam/.opam/default/lib/dolmen/smtlib2/print -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_script -H /home/opam/.opam/default/lib/dolmen/tptp -H /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -H /home/opam/.opam/default/lib/dolmen/zf -H /home/opam/.opam/default/lib/dolmen_loop -H /home/opam/.opam/default/lib/dune-private-libs/dune-section -H /home/opam/.opam/default/lib/dune-private-libs/meta_parser -H /home/opam/.opam/default/lib/dune-site -H /home/opam/.opam/default/lib/dune-site/linker -H /home/opam/.opam/default/lib/dune-site/plugins -H /home/opam/.opam/default/lib/dune-site/private -H /home/opam/.opam/default/lib/gen -H /home/opam/.opam/default/lib/hmap -H /home/opam/.opam/default/lib/ocaml-compiler-libs/common -H /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -H /home/opam/.opam/default/lib/ocaml/compiler-libs -H /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -H /home/opam/.opam/default/lib/pp_loc -H /home/opam/.opam/default/lib/ppx_compare/runtime-lib -H /home/opam/.opam/default/lib/ppx_derivers -H /home/opam/.opam/default/lib/ppx_hash/runtime-lib -H /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -H /home/opam/.opam/default/lib/ppxlib -H /home/opam/.opam/default/lib/ppxlib/ast -H /home/opam/.opam/default/lib/ppxlib/astlib -H /home/opam/.opam/default/lib/ppxlib/print_diff -H /home/opam/.opam/default/lib/ppxlib/stdppx -H /home/opam/.opam/default/lib/ppxlib/traverse_builtins -H /home/opam/.opam/default/lib/ppxlib_jane -H /home/opam/.opam/default/lib/prelude -H /home/opam/.opam/default/lib/sedlex -H /home/opam/.opam/default/lib/seq -H /home/opam/.opam/default/lib/sexplib0 -H /home/opam/.opam/default/lib/spelll -H /home/opam/.opam/default/lib/stdlib-shims -H /home/opam/.opam/default/lib/uutf -cmi-file src/smtml/.smtml.objs/byte/smtml__Dolmenexpr_to_expr.cmi -no-alias-deps -open Smtml -o src/smtml/.smtml.objs/byte/smtml__Dolmenexpr_to_expr.cmo -c -impl src/smtml/dolmenexpr_to_expr.pp.ml)
- File "src/smtml/dolmenexpr_to_expr.ml", line 146, characters 22-37:
- 146 | | Cst { builtin = DBuiltin.Bitvec i; _ } ->
- ^^^^^^^^^^^^^^^
- Error: Unbound constructor DBuiltin.Bitvec
- Hint: Did you mean DBuiltin.Bitv?
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -open Smtml_prelude -w -40 -open Smtzilla_utils -g -O3 -I src/smtml/.smtml.objs/byte -I src/smtml/.smtml.objs/native -I src/smtml/.smtml.objs/public_cmi -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/std -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/hc -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/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/scfg -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/smtml_prelude/.smtml_prelude.objs/byte -I src/smtml_prelude/.smtml_prelude.objs/native -I src/smtzilla_utils/.smtzilla_utils.objs/byte -I src/smtzilla_utils/.smtzilla_utils.objs/native -H /home/opam/.opam/default/lib/astring -H /home/opam/.opam/default/lib/base -H /home/opam/.opam/default/lib/base/base_internalhash_types -H /home/opam/.opam/default/lib/base/shadow_stdlib -H /home/opam/.opam/default/lib/dolmen/ae -H /home/opam/.opam/default/lib/dolmen/class -H /home/opam/.opam/default/lib/dolmen/dimacs -H /home/opam/.opam/default/lib/dolmen/icnf -H /home/opam/.opam/default/lib/dolmen/intf -H /home/opam/.opam/default/lib/dolmen/line -H /home/opam/.opam/default/lib/dolmen/smtlib2 -H /home/opam/.opam/default/lib/dolmen/smtlib2/poly -H /home/opam/.opam/default/lib/dolmen/smtlib2/print -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_script -H /home/opam/.opam/default/lib/dolmen/tptp -H /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -H /home/opam/.opam/default/lib/dolmen/zf -H /home/opam/.opam/default/lib/dolmen_loop -H /home/opam/.opam/default/lib/dune-private-libs/dune-section -H /home/opam/.opam/default/lib/dune-private-libs/meta_parser -H /home/opam/.opam/default/lib/dune-site -H /home/opam/.opam/default/lib/dune-site/linker -H /home/opam/.opam/default/lib/dune-site/plugins -H /home/opam/.opam/default/lib/dune-site/private -H /home/opam/.opam/default/lib/gen -H /home/opam/.opam/default/lib/hmap -H /home/opam/.opam/default/lib/ocaml-compiler-libs/common -H /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -H /home/opam/.opam/default/lib/ocaml/compiler-libs -H /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -H /home/opam/.opam/default/lib/pp_loc -H /home/opam/.opam/default/lib/ppx_compare/runtime-lib -H /home/opam/.opam/default/lib/ppx_derivers -H /home/opam/.opam/default/lib/ppx_hash/runtime-lib -H /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -H /home/opam/.opam/default/lib/ppxlib -H /home/opam/.opam/default/lib/ppxlib/ast -H /home/opam/.opam/default/lib/ppxlib/astlib -H /home/opam/.opam/default/lib/ppxlib/print_diff -H /home/opam/.opam/default/lib/ppxlib/stdppx -H /home/opam/.opam/default/lib/ppxlib/traverse_builtins -H /home/opam/.opam/default/lib/ppxlib_jane -H /home/opam/.opam/default/lib/prelude -H /home/opam/.opam/default/lib/sedlex -H /home/opam/.opam/default/lib/seq -H /home/opam/.opam/default/lib/sexplib0 -H /home/opam/.opam/default/lib/spelll -H /home/opam/.opam/default/lib/stdlib-shims -H /home/opam/.opam/default/lib/uutf -cmi-file src/smtml/.smtml.objs/byte/smtml__Dolmenexpr_to_expr.cmi -no-alias-deps -open Smtml -o src/smtml/.smtml.objs/native/smtml__Dolmenexpr_to_expr.cmx -c -impl src/smtml/dolmenexpr_to_expr.pp.ml)
- File "src/smtml/dolmenexpr_to_expr.ml", line 146, characters 22-37:
- 146 | | Cst { builtin = DBuiltin.Bitvec i; _ } ->
- ^^^^^^^^^^^^^^^
- Error: Unbound constructor DBuiltin.Bitvec
- Hint: Did you mean DBuiltin.Bitv?
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -open Smtml_prelude -w -40 -open Smtzilla_utils -g -bin-annot -bin-annot-occurrences -I src/smtml/.smtml.objs/byte -I src/smtml/.smtml.objs/public_cmi -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/std -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/hc -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/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_enumerate -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/scfg -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I src/smtml_prelude/.smtml_prelude.objs/byte -I src/smtzilla_utils/.smtzilla_utils.objs/byte -H /home/opam/.opam/default/lib/astring -H /home/opam/.opam/default/lib/base -H /home/opam/.opam/default/lib/base/base_internalhash_types -H /home/opam/.opam/default/lib/base/shadow_stdlib -H /home/opam/.opam/default/lib/dolmen/ae -H /home/opam/.opam/default/lib/dolmen/class -H /home/opam/.opam/default/lib/dolmen/dimacs -H /home/opam/.opam/default/lib/dolmen/icnf -H /home/opam/.opam/default/lib/dolmen/intf -H /home/opam/.opam/default/lib/dolmen/line -H /home/opam/.opam/default/lib/dolmen/smtlib2 -H /home/opam/.opam/default/lib/dolmen/smtlib2/poly -H /home/opam/.opam/default/lib/dolmen/smtlib2/print -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v6_script -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7 -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_response -H /home/opam/.opam/default/lib/dolmen/smtlib2/v7_script -H /home/opam/.opam/default/lib/dolmen/tptp -H /home/opam/.opam/default/lib/dolmen/tptp/v6_3_0 -H /home/opam/.opam/default/lib/dolmen/zf -H /home/opam/.opam/default/lib/dolmen_loop -H /home/opam/.opam/default/lib/dune-private-libs/dune-section -H /home/opam/.opam/default/lib/dune-private-libs/meta_parser -H /home/opam/.opam/default/lib/dune-site -H /home/opam/.opam/default/lib/dune-site/linker -H /home/opam/.opam/default/lib/dune-site/plugins -H /home/opam/.opam/default/lib/dune-site/private -H /home/opam/.opam/default/lib/gen -H /home/opam/.opam/default/lib/hmap -H /home/opam/.opam/default/lib/ocaml-compiler-libs/common -H /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -H /home/opam/.opam/default/lib/ocaml/compiler-libs -H /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -H /home/opam/.opam/default/lib/pp_loc -H /home/opam/.opam/default/lib/ppx_compare/runtime-lib -H /home/opam/.opam/default/lib/ppx_derivers -H /home/opam/.opam/default/lib/ppx_hash/runtime-lib -H /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -H /home/opam/.opam/default/lib/ppxlib -H /home/opam/.opam/default/lib/ppxlib/ast -H /home/opam/.opam/default/lib/ppxlib/astlib -H /home/opam/.opam/default/lib/ppxlib/print_diff -H /home/opam/.opam/default/lib/ppxlib/stdppx -H /home/opam/.opam/default/lib/ppxlib/traverse_builtins -H /home/opam/.opam/default/lib/ppxlib_jane -H /home/opam/.opam/default/lib/prelude -H /home/opam/.opam/default/lib/sedlex -H /home/opam/.opam/default/lib/seq -H /home/opam/.opam/default/lib/sexplib0 -H /home/opam/.opam/default/lib/spelll -H /home/opam/.opam/default/lib/stdlib-shims -H /home/opam/.opam/default/lib/uutf -no-alias-deps -open Smtml -o src/smtml/.smtml.objs/byte/smtml__Smtlib.cmo -c -impl src/smtml/smtlib.pp.ml)
- File "src/smtml/smtlib.ml", line 431, characters 2-79:
- 431 | Dolmen.Smtlib2.Script.V2_6.Make (Loc) (Symbol) (Term) (Statement) (Extension)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Error: This application of the functor Dolmen.Smtlib2.Script.V2_6.Make is ill-typed.
- These arguments:
- Loc Smtml.Symbol Term Statement Extension
- do not match these parameters:
- (L : Dolmen_intf.Location.S) (I : Dolmen_smtlib2_v6_script.Id)
- (T : $T3) (S : $T4) (E : ...) -> ...
- 1. Module Loc matches the expected module type Dolmen_intf.Location.S
- 2. Module Smtml.Symbol matches the expected module type Dolmen_smtlib2_v6_script.Id
- 3. Modules do not match:
- Term :
- sig
- type t = Smtml.Expr.t
- val fp_of_size : float -> string -> string -> Smtml.Expr.t
- val const : ?loc:Loc.t -> Smtml.Symbol.t -> t
- val str : ?loc:'a -> string -> Smtml.Expr.t
- val int : ?loc:Loc.t -> string -> Smtml.Expr.t
- val real : ?loc:Loc.t -> string -> Smtml.Expr.t
- val hexa : ?loc:'a -> string -> Smtml.Expr.t
- val binary : ?loc:'a -> string -> Smtml.Expr.t
- val colon : ?loc:Loc.t -> t -> t -> t
- val make_fp_binop :
- Smtml.Symbol.t ->
- Smtml.Ty.Binop.t ->
- Smtml.Expr.t -> Smtml.Expr.t -> Smtml.Expr.t -> Smtml.Expr.t
- val apply : ?loc:Loc.t -> t -> t list -> t
- val letand : ?loc:'a -> t list -> t -> t
- val forall : ?loc:'a -> t list -> t -> t
- val exists : ?loc:'a -> t list -> t -> t
- val match_ : ?loc:'a -> 'b
- val sexpr : ?loc:'a -> 'b
- val annot : ?loc:'a -> 'b
- end
- is not included in
- $T3 =
- sig
- type t
- val const : ?loc:L.t -> I.t -> t
- val str : ?loc:L.t -> string -> t
- val int : ?loc:L.t -> string -> t
- val real : ?loc:L.t -> string -> t
- val hexa : ?loc:L.t -> string -> t
- val binary : ?loc:L.t -> string -> t
- val colon : ?loc:L.t -> t -> t -> t
- val as_ : ?loc:L.t -> t -> t -> t list -> t
- val apply : ?loc:L.t -> t -> t list -> t
- val letand : ?loc:L.t -> t list -> t -> t
- val forall : ?loc:L.t -> t list -> t -> t
- val exists : ?loc:L.t -> t list -> t -> t
- val match_ : ?loc:L.t -> t -> (t * t) list -> t
- val sexpr : ?loc:L.t -> t list -> t
- val annot : ?loc:L.t -> t -> t list -> t
- end
- The value as_ is required but not provided
- File "src/languages/smtlib2/v2.6/script/dolmen_smtlib2_v6_script.mli", line 18, characters 9-58:
- Expected declaration
- 4. Modules do not match:
- Statement :
- sig
- type t = Smtml.Ast.t
- val reset : ?loc:'a -> unit -> Smtml.Ast.t
- val exit : ?loc:'a -> unit -> Smtml.Ast.t
- val push : ?loc:'a -> int -> Smtml.Ast.t
- val pop : ?loc:'a -> int -> Smtml.Ast.t
- val reset_assertions : ?loc:'a -> unit -> Smtml.Ast.t
- val type_decl : ?loc:'a -> 'b
- val type_def :
- ?loc:'a ->
- Smtml.Symbol.t -> 'b -> Smtml.Expr.t -> Smtml.Ast.t
- val datatypes : ?loc:'a -> 'b
- val fun_decl :
- ?loc:Loc.t ->
- Smtml.Symbol.t ->
- Smtml.Expr.t list ->
- Smtml.Expr.t list -> Smtml.Expr.t -> Smtml.Ast.t
- val fun_def : ?loc:'a -> 'b
- val funs_def_rec : ?loc:'a -> 'b -> 'c
- val assert_ : ?loc:'a -> Smtml.Expr.t -> Smtml.Ast.t
- val get_assertions : ?loc:'a -> unit -> Smtml.Ast.t
- val check_sat : ?loc:'a -> Smtml.Expr.t list -> Smtml.Ast.t
- val get_model : ?loc:'a -> unit -> Smtml.Ast.t
- val get_value : ?loc:'a -> Smtml.Expr.t list -> Smtml.Ast.t
- val get_assignment : ?loc:'a -> unit -> Smtml.Ast.t
- val get_proof : ?loc:'a -> unit -> 'b
- val get_unsat_core : ?loc:'a -> unit -> 'b
- val get_unsat_assumptions : ?loc:'a -> unit -> 'b
- val get_info : ?loc:'a -> string -> Smtml.Ast.t
- val get_option : ?loc:'a -> string -> Smtml.Ast.t
- val echo : ?loc:'a -> string -> Smtml.Ast.t
- val set_info : ?loc:'a -> Smtml.Expr.t -> Smtml.Ast.t
- val set_option : ?loc:'a -> Smtml.Expr.t -> Smtml.Ast.t
- val set_logic : ?loc:Loc.t -> string -> Smtml.Ast.t
- end
- is not included in
- $T4 =
- sig
- type t
- val reset : ?loc:L.t -> unit -> t
- val set_logic : ?loc:L.t -> string -> t
- val set_option : ?loc:L.t -> T.t -> t
- val exit : ?loc:L.t -> unit -> t
- val push : ?loc:L.t -> int -> t
- val pop : ?loc:L.t -> int -> t
- val reset_assertions : ?loc:L.t -> unit -> t
- val type_decl : ?loc:L.t -> I.t -> int -> t
- val type_def : ?loc:L.t -> I.t -> I.t list -> T.t -> t
- val datatypes :
- ?loc:L.t ->
- (I.t * T.t list * (I.t * T.t list) list) list -> t
- val fun_decl :
- ?loc:L.t -> I.t -> T.t list -> T.t list -> T.t -> t
- val fun_def :
- ?loc:L.t -> I.t -> T.t list -> T.t list -> T.t -> T.t -> t
- val funs_def_rec :
- ?loc:L.t -> (I.t * T.t list * T.t list * T.t * T.t) list -> t
- val assert_ : ?loc:L.t -> T.t -> t
- val get_assertions : ?loc:L.t -> unit -> t
- val check_sat : ?loc:L.t -> T.t list -> t
- val get_model : ?loc:L.t -> unit -> t
- val get_value : ?loc:L.t -> T.t list -> t
- val get_assignment : ?loc:L.t -> unit -> t
- val get_proof : ?loc:L.t -> unit -> t
- val get_unsat_core : ?loc:L.t -> unit -> t
- val get_unsat_assumptions : ?loc:L.t -> unit -> t
- val get_info : ?loc:L.t -> T.t -> t
- val get_option : ?loc:L.t -> T.t -> t
- val echo : ?loc:L.t -> string -> t
- val set_info : ?loc:L.t -> T.t -> t
- end
- Values do not match:
- val set_option : ?loc:'a -> Smtml.Expr.t -> Smtml.Ast.t
- is not included in
- val set_option : ?loc:Loc.t -> T.t -> t
- The type ?loc:Loc.t -> Smtml.Expr.t -> Smtml.Ast.t
- is not compatible with the type ?loc:Loc.t -> T.t -> t
- Type Smtml.Expr.t = Smtml.Expr.expr Hc.hash_consed
- is not compatible with type T.t
- File "src/languages/smtlib2/v2.6/script/dolmen_smtlib2_v6_script.mli", line 19, characters 9-84:
- Expected declaration
- File "src/smtml/smtlib.ml", line 414, characters 6-16:
- Actual declaration
- 5. Module Extension matches the expected module type
[ERROR] The compilation of smtml.0.28.0 failed at "dune build -p smtml -j 39 --promote-install-files=false @install".
build failed...
=== STDERR ===
2026-11-09 17:53.58: FAILED: build smtml.0.28.0
2026-11-09 17:53.58: Job failed: build failed: smtml.0.28.0