Build:
- 0
2026-06-16 14:27.23: New job: build archetype.1.1.2 (8f08429cb8e8)
2026-06-16 14:27.23: Waiting for resource in pool day11-builds
2026-06-16 16:09.33: Got resource from pool day11-builds
2026-06-16 16:09.33: [profile full] build archetype.1.1.2
2026-06-16 16:09.33: build archetype.1.1.2 (8f08429cb8e8)
=== DEPENDENCIES (25 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
cppo.1.8.0 79f99f6f8888
digestif.1.3.0 4d01c0ad1396
dune.3.12.2 77e753f46f4f
eqaf.0.10 4aec57965782
menhir.20250912 18f9ae0740f9
menhirCST.20250912 5e1ff6b91646
menhirLib.20250912 9a6930cc3f62
menhirSdk.20250912 25755faaf462
num.1.6 f281926e2d11
ocaml.5.2.1 b36a3a003df3
ocaml-base-compiler.5.2.1 91ea68ae8779
ocaml-compiler-libs.v0.17.0 fc1d3848ab0a
ocaml-config.3 291db63d419b
ocamlfind.1.9.8 30fe322203e6
ppx_derivers.1.2.1 107cc3ddc44b
ppx_deriving.6.1.1 9d226078d3cc
ppx_deriving_yojson.3.10.0 e53c678c1089
ppxlib.0.38.0 b339b29c89d7
result.1.5 03aec233a1db
sexplib0.v0.17.0 ac365294fd9b
stdlib-shims.0.3.0 e32f90bed390
visitors.20260520 7145ca5a1145
yojson.3.0.0 7a95fb4a812a
=== STDOUT ===
Processing: [default: loading data]
[archetype.1.1.2: dl]
[archetype.1.1.2: extract]
-> retrieved archetype.1.1.2 (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.1.2)
- (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 976-986, characters 4-5:
- 976 | ....{ spec with
- 977 | predicates = spec.predicates @ v.predicates;
- 978 | definitions = spec.definitions @ v.definitions;
- 979 | lemmas = spec.lemmas @ v.lemmas;
- 980 | theorems = spec.theorems @ v.theorems;
- ...
- 983 | effects = spec.effects @ v.effects;
- 984 | postconditions = spec.postconditions @ v.postconditions;
- 985 | loc = Location.merge spec.loc v.loc;
- 986 | }
- 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 1022, characters 4-66:
- 1022 | { 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 725-727, characters 6-47:
- 725 | ......{ f with
- 726 | node = prune_function_node f.node;
- 727 | 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 2761-2763, characters 4-54:
- 2761 | ....{ f__ with
- 2762 | node = for_function_node f__.node;
- 2763 | 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/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 147, characters 17-25:
- 147 | let distance ?(autoview = false) ~(from_ : A.ptyp) ~(to_ : A.ptyp) =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "src/typing.ml", line 178, characters 18-26:
- 178 | let compatible ?autoview ~(from_ : A.ptyp) ~(to_ : A.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 976-986, characters 4-5:
- 976 | ....{ spec with
- 977 | predicates = spec.predicates @ v.predicates;
- 978 | definitions = spec.definitions @ v.definitions;
- 979 | lemmas = spec.lemmas @ v.lemmas;
- 980 | theorems = spec.theorems @ v.theorems;
- ...
- 983 | effects = spec.effects @ v.effects;
- 984 | postconditions = spec.postconditions @ v.postconditions;
- 985 | loc = Location.merge spec.loc v.loc;
- 986 | }
- 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 1022, characters 4-66:
- 1022 | { 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 725-727, characters 6-47:
- 725 | ......{ f with
- 726 | node = prune_function_node f.node;
- 727 | 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 2761-2763, characters 4-54:
- 2761 | ....{ f__ with
- 2762 | node = for_function_node f__.node;
- 2763 | 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 147, characters 17-25:
- 147 | let distance ?(autoview = false) ~(from_ : A.ptyp) ~(to_ : A.ptyp) =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-
- File "src/typing.ml", line 178, characters 18-26:
- 178 | let compatible ?autoview ~(from_ : A.ptyp) ~(to_ : A.ptyp) =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-> compiled archetype.1.1.2
-> installed archetype.1.1.2
=== STDERR ===
2026-06-16 16:10.35: OK: build archetype.1.1.2 (runc: 36.6s, disk: 16KB)
2026-06-16 16:10.35: Job succeeded