← Back to PR #29099
Build Log: fstar.2025.12.15
Status: FAILURE
Log Output
Processing: [default: loading data]
[fstar.2025.12.15: http]
[fstar.2025.12.15: extract]
-> retrieved fstar.2025.12.15 (https://github.com/FStarLang/FStar/releases/download/v2025.12.15/fstar-v2025.12.15-src.tar.gz)
[fstar: make 255]
+ /usr/bin/make "-j" "255" "ADMIT=1" (CWD=/home/opam/.opam/default/.opam-switch/build/fstar.2025.12.15)
- DUNE BUILD
- INSTALL LIB SRC
- File "fstar-guts/FStarC_Parser_Parse.mly", line 129, characters 60-70:
- Warning: the token LBRACK_BAR is unused.
- File "fstar-guts/FStarC_Parser_Parse.mly", line 323, characters 0-15:
- Warning: symbol decoratableDecl is unreachable from any of the start symbol(s).
- File "fstar-guts/FStarC_Parser_Parse.mly", line 306, characters 0-16:
- Warning: symbol noDecorationDecl is unreachable from any of the start symbol(s).
- File "fstar-guts/ml/FStarC_Extraction_ML_PrintML.ml", line 80, characters 23-41:
- 80 | | [] -> Ldot(Lident path_abbrev, sym) |> mk_sym_lident
- ^^^^^^^^^^^^^^^^^^
- Error: This expression should not be a constructor, the expected type is
- Longident.t with_loc
- Warning: 20 states have shift/reduce conflicts.
- Warning: 302 shift/reduce conflicts were arbitrarily resolved.
- Warning: 226 end-of-stream conflicts were arbitrarily resolved.
- make: *** [Makefile:34: build] Error 1
[ERROR] The compilation of fstar.2025.12.15 failed at "make -j 255 ADMIT=1".
build failed...
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"base-bytes.base" -> {"ocaml.5.4.0" "ocamlfind.1.9.8"}
"batteries.3.10.0" -> {"camlp-streams.5.0.1" "dune.3.20.2" "num.1.6" "ocaml.5.4.0" "ocamlfind.1.9.8"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.4.0"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.4.0"}
"fstar.2025.12.15" -> {"batteries.3.10.0" "dune.3.20.2" "memtrace.0.2.3" "menhir.20250912" "menhirLib.20250912" "mtime.2.1.0" "ocaml.5.4.0" "pprint.20230830" "ppx_deriving.6.1.1" "ppx_deriving_yojson.3.10.0" "ppxlib.0.37.0" "process.0.2.1" "sedlex.3.7" "stdint.0.7.2" "yojson.3.0.0" "zarith.1.14"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.5.4.0" "seq.base"}
"memtrace.0.2.3" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.4.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.4.0"}
"mtime.2.1.0" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"num.1.6" -> "ocaml.5.4.0";
"ocaml.5.4.0" -> {"ocaml-base-compiler.5.4.0" "ocaml-config.3"}
"ocaml-base-compiler.5.4.0" -> "ocaml-compiler.5.4.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.4.0";
"ocamlbuild.0.16.1" -> "ocaml.5.4.0";
"ocamlfind.1.9.8" -> "ocaml.5.4.0";
"pprint.20230830" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.4.0"}
"ppx_deriving.6.1.1" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.4.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.37.0"}
"ppx_deriving_yojson.3.10.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ppx_deriving.6.1.1" "ppxlib.0.37.0" "yojson.3.0.0"}
"ppxlib.0.37.0" -> {"dune.3.20.2" "ocaml.5.4.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"process.0.2.1" -> {"base-bytes.base" "base-unix.base" "ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"sedlex.3.7" -> {"dune.3.20.2" "gen.1.1" "ocaml.5.4.0" "ppxlib.0.37.0"}
"seq.base" -> "ocaml.5.4.0";
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"stdint.0.7.2" -> {"dune.3.20.2" "ocaml.5.4.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"topkg.1.1.1" -> {"ocaml.5.4.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.4.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.4.0" "ocamlfind.1.9.8"}
}