Build:
- 0
2026-06-24 15:49.23: New job: build archetype.1.0.0 (90db98ab4934)
2026-06-24 15:49.23: Waiting for resource in pool day11-builds
2026-06-24 16:51.40: Got resource from pool day11-builds
2026-06-24 16:51.40: [profile full] build archetype.1.0.0
2026-06-24 16:51.40: build archetype.1.0.0 (90db98ab4934)
=== DEPENDENCIES (25 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
cppo.1.8.0 c1dde40516bb
digestif.1.3.0 b6f53523d64e
dune.3.12.2 3187864b13e7
eqaf.0.10 f92c4687813c
menhir.20250912 9743beb279ea
menhirCST.20250912 687e61fe7ab3
menhirLib.20250912 4b3fa4c5c174
menhirSdk.20250912 4624f5c7ba94
num.1.6 b2d99af37bad
ocaml.5.2.1 ce2dc9fc0eff
ocaml-base-compiler.5.2.1 88ed4056afb0
ocaml-compiler-libs.v0.17.0 f6ad2bfd975e
ocaml-config.3 2c9ee201ff82
ocamlfind.1.9.8 da71e236833e
ppx_derivers.1.2.1 bc5ec319cc64
ppx_deriving.6.1.1 a7bdc251c4b8
ppx_deriving_yojson.3.10.0 2d4e2b2e335c
ppxlib.0.38.0 4e6c727b3ef1
result.1.5 ae6bb9f5d4f5
sexplib0.v0.17.0 878c600563b4
stdlib-shims.0.3.0 5b46454ff3d2
visitors.20260520 7a86cf2b7064
yojson.3.0.0 5c0e8a9a4564
=== STDOUT ===
Processing: [default: loading data]
[archetype.1.0.0: dl]
[archetype.1.0.0: extract]
-> retrieved archetype.1.0.0 (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.1.0.0)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -bin-annot -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__Typing.cmo -c -impl src/typing.pp.ml)
- File "src/typing.ml", line 80, characters 19-27:
- 80 | let compatible ?(autoview = false) ~(from_ : M.ptyp) ~(to_ : M.ptyp) =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -w -30 -w -7 -w -17 -g -bin-annot -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 806-816, characters 4-5:
- 806 | ....{ spec with
- 807 | predicates = spec.predicates @ v.predicates;
- 808 | definitions = spec.definitions @ v.definitions;
- 809 | lemmas = spec.lemmas @ v.lemmas;
- 810 | theorems = spec.theorems @ v.theorems;
- ...
- 813 | effects = spec.effects @ v.effects;
- 814 | postconditions = spec.postconditions @ v.postconditions;
- 815 | loc = Location.merge spec.loc v.loc;
- 816 | }
- 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 852, characters 4-66:
- 852 | { 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 -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 681-683, characters 6-47:
- 681 | ......{ f with
- 682 | node = prune_function_node f.node;
- 683 | 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 1312-1325, characters 8-9:
- 1312 | ........{f with
- 1313 | node = (
- 1314 | let process_fs (fs : function_struct) =
- 1315 | {fs with
- 1316 | args = fs.args |> List.map (fun (id, t, dv) -> (id, process_type t, Option.map process_mterm dv));
- ...
- 1322 | | Entry fs -> Entry (process_fs fs)
- 1323 | );
- 1324 | spec = Option.map process_specification f.spec;
- 1325 | }..
- 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 2633-2635, characters 4-54:
- 2633 | ....{ f__ with
- 2634 | node = for_function_node f__.node;
- 2635 | spec = Option.map remove_shadow_effect f__.spec}
- 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 -intf-suffix .ml -no-alias-deps -open Archetype -o src/.archetype.objs/native/archetype__Typing.cmx -c -impl src/typing.pp.ml)
- File "src/typing.ml", line 80, characters 19-27:
- 80 | let compatible ?(autoview = false) ~(from_ : M.ptyp) ~(to_ : M.ptyp) =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (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 -intf-suffix .ml -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 806-816, characters 4-5:
- 806 | ....{ spec with
- 807 | predicates = spec.predicates @ v.predicates;
- 808 | definitions = spec.definitions @ v.definitions;
- 809 | lemmas = spec.lemmas @ v.lemmas;
- 810 | theorems = spec.theorems @ v.theorems;
- ...
- 813 | effects = spec.effects @ v.effects;
- 814 | postconditions = spec.postconditions @ v.postconditions;
- 815 | loc = Location.merge spec.loc v.loc;
- 816 | }
- 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 852, characters 4-66:
- 852 | { 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 -intf-suffix .ml -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 681-683, characters 6-47:
- 681 | ......{ f with
- 682 | node = prune_function_node f.node;
- 683 | 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 1312-1325, characters 8-9:
- 1312 | ........{f with
- 1313 | node = (
- 1314 | let process_fs (fs : function_struct) =
- 1315 | {fs with
- 1316 | args = fs.args |> List.map (fun (id, t, dv) -> (id, process_type t, Option.map process_mterm dv));
- ...
- 1322 | | Entry fs -> Entry (process_fs fs)
- 1323 | );
- 1324 | spec = Option.map process_specification f.spec;
- 1325 | }..
- 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 2633-2635, characters 4-54:
- 2633 | ....{ f__ with
- 2634 | node = for_function_node f__.node;
- 2635 | spec = Option.map remove_shadow_effect f__.spec}
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-> compiled archetype.1.0.0
-> installed archetype.1.0.0
=== STDERR ===
2026-06-24 16:52.52: OK: build archetype.1.0.0 (runc: 57.7s, disk: 17KB)
2026-06-24 16:52.52: Job succeeded