Build:
- 0
2026-09-03 20:15.08: New job: build archetype.0.1.13 (792f74baf82c)
2026-09-03 20:15.08: Waiting for resource in pool day11-builds
2026-09-03 22:07.11: Got resource from pool day11-builds
2026-09-03 22:07.11: [profile full] build archetype.0.1.13
2026-09-03 22:07.11: build archetype.0.1.13 (792f74baf82c)
=== DEPENDENCIES (25 transitive) ===
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
cppo.1.8.0 9ddefe83b866
digestif.1.3.1 0626181c6ad4
dune.3.24.2 cf844c114f1a
eqaf.0.10 1fce10103d5a
menhir.20250912 7045e56f5351
menhirCST.20250912 43508ab96018
menhirLib.20250912 e2f0601a09f7
menhirSdk.20250912 8bc71c725b68
num.1.6 594caeb3af0f
ocaml.5.2.1 d8399d6b6c43
ocaml-base-compiler.5.2.1 a53cb1b6356d
ocaml-compiler-libs.v0.17.0 51278a3ba75b
ocaml-config.3 1c357e4d2066
ocamlfind.1.9.8 e3f08a6b7b86
ppx_derivers.1.2.1 5901b77c2ce2
ppx_deriving.6.1.3 4fff18064986
ppx_deriving_yojson.3.10.0 f0c6a3ec828a
ppxlib.0.38.0 624bc44a65c2
result.1.5 79cec5ab74cd
sexplib0.v0.17.0 3bebf8f2981b
stdlib-shims.0.3.0 5eae1233e520
visitors.20260520 bb10c2e480f4
yojson.3.0.0 1fd761cacc8f
=== STDOUT ===
Processing: [default: loading data]
[archetype.0.1.13: dl]
[archetype.0.1.13: extract]
-> retrieved archetype.0.1.13 (https://opam.ocaml.org/cache)
[archetype: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "archetype" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/archetype.0.1.13)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -bin-annot -bin-annot-occurrences -I src/.archetype.objs/byte -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/visitors/runtime -I /home/opam/.opam/default/lib/yojson -no-alias-deps -open Archetype -o src/.archetype.objs/byte/archetype__Gen_model.cmo -c -impl src/gen_model.pp.ml)
- File "src/gen_model.ml", lines 668-678, characters 4-5:
- 668 | ....{ spec with
- 669 | predicates = spec.predicates @ v.predicates;
- 670 | definitions = spec.definitions @ v.definitions;
- 671 | lemmas = spec.lemmas @ v.lemmas;
- 672 | theorems = spec.theorems @ v.theorems;
- ...
- 675 | effects = spec.effects @ v.effects;
- 676 | postconditions = spec.postconditions @ v.postconditions;
- 677 | loc = Location.merge spec.loc v.loc;
- 678 | }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_model.ml", line 714, characters 4-66:
- 714 | { sec with items = sec.items @ new_s.items; loc = new_s.loc; }
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -bin-annot -bin-annot-occurrences -I src/.archetype.objs/byte -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/visitors/runtime -I /home/opam/.opam/default/lib/yojson -no-alias-deps -open Archetype -o src/.archetype.objs/byte/archetype__Gen_transform.cmo -c -impl src/gen_transform.pp.ml)
- File "src/gen_transform.ml", lines 487-489, characters 6-47:
- 487 | ......{ f with
- 488 | node = prune_function_node f.node;
- 489 | spec = Option.map prune_specs f.spec; }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_transform.ml", lines 956-969, characters 8-9:
- 956 | ........{f with
- 957 | node = (
- 958 | let process_fs (fs : function_struct) =
- 959 | {fs with
- 960 | args = fs.args |> List.map (fun (id, t, dv) -> (id, process_type t, Option.map process_mterm dv));
- ...
- 966 | | Entry fs -> Entry (process_fs fs)
- 967 | );
- 968 | spec = Option.map process_specification f.spec;
- 969 | }..
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -I src/.archetype.objs/byte -I src/.archetype.objs/native -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/visitors/runtime -I /home/opam/.opam/default/lib/yojson -cmi-file src/.archetype.objs/byte/archetype__Gen_model.cmi -no-alias-deps -open Archetype -o src/.archetype.objs/native/archetype__Gen_model.cmx -c -impl src/gen_model.pp.ml)
- File "src/gen_model.ml", lines 668-678, characters 4-5:
- 668 | ....{ spec with
- 669 | predicates = spec.predicates @ v.predicates;
- 670 | definitions = spec.definitions @ v.definitions;
- 671 | lemmas = spec.lemmas @ v.lemmas;
- 672 | theorems = spec.theorems @ v.theorems;
- ...
- 675 | effects = spec.effects @ v.effects;
- 676 | postconditions = spec.postconditions @ v.postconditions;
- 677 | loc = Location.merge spec.loc v.loc;
- 678 | }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_model.ml", line 714, characters 4-66:
- 714 | { sec with items = sec.items @ new_s.items; loc = new_s.loc; }
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -I src/.archetype.objs/byte -I src/.archetype.objs/native -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/visitors/runtime -I /home/opam/.opam/default/lib/yojson -cmi-file src/.archetype.objs/byte/archetype__Gen_transform.cmi -no-alias-deps -open Archetype -o src/.archetype.objs/native/archetype__Gen_transform.cmx -c -impl src/gen_transform.pp.ml)
- File "src/gen_transform.ml", lines 487-489, characters 6-47:
- 487 | ......{ f with
- 488 | node = prune_function_node f.node;
- 489 | spec = Option.map prune_specs f.spec; }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_transform.ml", lines 956-969, characters 8-9:
- 956 | ........{f with
- 957 | node = (
- 958 | let process_fs (fs : function_struct) =
- 959 | {fs with
- 960 | args = fs.args |> List.map (fun (id, t, dv) -> (id, process_type t, Option.map process_mterm dv));
- ...
- 966 | | Entry fs -> Entry (process_fs fs)
- 967 | );
- 968 | spec = Option.map process_specification f.spec;
- 969 | }..
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-> compiled archetype.0.1.13
-> installed archetype.0.1.13
=== STDERR ===
2026-09-03 22:08.11: OK: build archetype.0.1.13 (runc: 51.2s, disk: 15KB)
2026-09-03 22:08.11: Job succeeded