Build:
- 0
2026-06-16 12:14.24: New job: build gadelac.0.6.1 (45ce32040fff)
2026-06-16 12:14.24: Waiting for resource in pool day11-builds
2026-06-16 12:51.08: Got resource from pool day11-builds
2026-06-16 12:51.08: [profile full] build gadelac.0.6.1
2026-06-16 12:51.08: build gadelac.0.6.1 (45ce32040fff)
=== DEPENDENCIES (12 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
dune.3.23.1 5402470d931c
menhir.20260209 949a55ecfabe
menhirCST.20260209 2f7f161ea867
menhirGLR.20260209 88b9413f2126
menhirLib.20260209 33c89da356e0
menhirSdk.20260209 3e7d50160069
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlbuild.0.16.1 8f6c52e6fce8
=== STDOUT ===
Processing: [default: loading data]
[gadelac.0.6.1: dl]
[gadelac.0.6.1: extract]
[gadelac.0.6.1/gadelac.install: dl]
-> retrieved gadelac.0.6.1 (https://opam.ocaml.org/cache)
[gadelac: make gadelac]
+ /usr/bin/make "gadelac" (CWD=/home/opam/.opam/default/.opam-switch/build/gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- + /home/opam/.opam/default/bin/ocamlc.opt -config
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 | with Not_found -> String.copy original
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- + /home/opam/.opam/default/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -pack Utils/Bool.cmo Utils/Choice.cmo Utils/MStack.cmo Utils/Function.cmo Utils/PList.cmo Utils/Print.cmo Utils/DataStructure.cmo Utils/Int.cmo Utils/Matrix.cmo Utils/MString.cmo Utils/Option.cmo Utils/Rand.cmo Utils/Read.cmo Utils/Time.cmo -o Utils.cmo
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules C.ml > C.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o C.cmo C.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o C.cmo C.ml
- File "C.ml", line 84, characters 90-94:
- 84 | | I.KBGet (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
- ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Main.cmo Main.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 | with Not_found -> String.copy original
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
- ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 11.5)
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- + touch Utils.mli ; if /home/opam/.opam/default/bin/ocamlopt.opt -pack -I Utils Utils/Bool.cmx Utils/Choice.cmx Utils/Function.cmx Utils/MStack.cmx Utils/PList.cmx Utils/Print.cmx Utils/DataStructure.cmx Utils/Int.cmx Utils/Matrix.cmx Utils/MString.cmx Utils/Option.cmx Utils/Rand.cmx Utils/Read.cmx Utils/Time.cmx -o Utils.cmx ; then rm -f Utils.mli ; else rm -f Utils.mli ; exit 1; fi
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- File "Ast.ml", line 103, characters 34-50:
- 103 | let predicate pred arity = match (String.lowercase pred, arity) with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 124, characters 37-53:
- 124 | | S.Positive (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Distinct (term t1, term t2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 125, characters 37-53:
- 125 | | S.Negative (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Equal (term t1, term t2)
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 126, characters 53-69:
- 126 | | S.Positive (pred, _) | S.Negative (pred, _) when String.lowercase pred = "distinct" -> failwith "distinct used with the wrong number of arguments."
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + /home/opam/.opam/default/bin/ocamllex.opt -q Lexer.mll
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- + menhir --raw-depend --ocamldep '/home/opam/.opam/default/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- + menhir --ocamlc /home/opam/.opam/default/bin/ocamlc.opt --infer Parser.mly
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- File "Frequency.ml", line 12, characters 25-41:
- 12 | let read_param s = match String.lowercase s with
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Context.cmi Context.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- + /home/opam/.opam/default/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- + /home/opam/.opam/default/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- + /home/opam/.opam/default/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- File "ASP.ml", line 5, characters 29-46:
- 5 | let upcs = Utils.PList.map String.capitalize vars in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "ASP.ml", line 10, characters 47-64:
- 10 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o C.cmx C.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- File "Prolog.ml", line 6, characters 47-64:
- 6 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o C.cmx C.ml
- File "C.ml", line 84, characters 90-94:
- 84 | | I.KBGet (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
- ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- + /home/opam/.opam/default/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- + /home/opam/.opam/default/bin/ocamlopt.opt str.cmxa unix.cmxa Logic.cmx Utils.cmx Ast.cmx Parser.cmx Lexer.cmx Variable.cmx Unification.cmx Desugared.cmx Pred.cmx Symbol.cmx Analysis.cmx Frequency.cmx Temporize.cmx ASP.cmx Domain.cmx Safety.cmx Reachability.cmx ComputeRigids.cmx GAtomic.cmx GTerm.cmx Annotations.cmx Generate.cmx Stratify.cmx Normal.cmx Inversion.cmx Grouping.cmx Scope.cmx PreInstruction.cmx Instructions.cmx C.cmx CLIPS.cmx Context.cmx Inlining.cmx Frame.cmx Ground.cmx MergeRigids.cmx Specialization.cmx Optimization.cmx CommandLine.cmx OCaml.cmx Prolog.cmx Transformations.cmx Main.cmx -o Main.native
- # Parallel statistics: { count(total): 15(178), max: 13, min: 2, average(total): 4.067(1.258) }
- cp Src/_build/Main.native gadelac
-> compiled gadelac.0.6.1
-> installed gadelac.0.6.1
=== STDERR ===
2026-06-16 12:51.34: OK: build gadelac.0.6.1 (runc: 17.2s, disk: 31KB)
2026-06-16 12:51.34: Job succeeded