2025-09-10 18:22.05: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (f0275422657d1a69517d006f07fd5d04f7bdbea3) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d ocamlformat version: version 0.27.0 (from opam) To reproduce locally: git clone --recursive "https://github.com/ahrefs/ocannl.git" -b "master" && cd "ocannl" && git reset --hard f0275422 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d USER 1000:1000 RUN cd ~/opam-repository && (git cat-file -e b8021439f8c57ba6435bc2263f6596671f4f4466 || git fetch origin master) && git reset -q --hard b8021439f8c57ba6435bc2263f6596671f4f4466 && git log --no-decorate -n1 --oneline && opam update -u RUN opam depext -i dune WORKDIR /src RUN opam depext -i ocamlformat=0.27.0 COPY --chown=1000:1000 . /src/ RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2) END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-09-10 18:22.05: Using cache hint "ahrefs/ocannl-ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d-debian-12-4.08_opam-2.4-ocamlformat-b8021439f8c57ba6435bc2263f6596671f4f4466" 2025-09-10 18:22.05: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d) (user (uid 1000) (gid 1000)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b8021439f8c57ba6435bc2263f6596671f4f4466 || git fetch origin master) && git reset -q --hard b8021439f8c57ba6435bc2263f6596671f4f4466 && git log --no-decorate -n1 --oneline && opam update -u")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) (workdir /src) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) (copy (src .) (dst /src/)) (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) ) 2025-09-10 18:22.05: Waiting for resource in pool OCluster 2025-09-10 18:22.05: Waiting for worker… 2025-09-10 18:22.05: Got resource from pool OCluster Building on eumache All commits already cached HEAD is now at f0275422 FIxed remaining cases of empty origin, mostly by Claude (from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d) Unable to find image 'ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d' locally docker.io/ocaml/opam@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d: Pulling from ocaml/opam bbd0d7f7db1c: Already exists 213854c7ccc6: Already exists 5a1fc3ff734f: Already exists 9cb1c8fc2a98: Already exists 50461da03769: Already exists Digest: sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d Status: Downloaded newer image for ocaml/opam@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d 2025-09-10 18:22.05 ---> using "b69d5f1106f8a1cfb35e904f37f2ccc38216aa61a22ee32dd7c324a91608cf44" from cache /: (user (uid 1000) (gid 1000)) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b8021439f8c57ba6435bc2263f6596671f4f4466 || git fetch origin master) && git reset -q --hard b8021439f8c57ba6435bc2263f6596671f4f4466 && git log --no-decorate -n1 --oneline && opam update -u")) b8021439f8 Merge pull request #28261 from kit-ty-kate/deploy-fix-25819 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised default (at git+file:///home/opam/opam-repository): [INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2025-09-10 18:22.05 ---> using "1be76adbf83434462493f6d60d3a403af1e722bb13c1f26df1ed667dd3ad008c" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install dune 3.20.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [dune.3.20.0] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.20.0 Done. # Run eval $(opam env) to update the current shell environment 2025-09-10 18:22.05 ---> using "76384e7e1078506ef4c7e0c049f9a49f543e9fdc75f2cd2f57b1b769d15b1cc0" from cache /: (workdir /src) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install sexplib0 v0.14.0 [required by base] - install menhirLib 20240715 [required by ocamlformat-lib] - install menhirCST 20240715 [required by menhir] - install ocamlbuild 0.16.1 [required by fpath, astring, uuseg] - install cmdliner 1.3.0 [required by ocamlformat] - install menhirSdk 20240715 [required by ocamlformat-lib] - install either 1.0.0 [required by ocamlformat-lib] - install dune-build-info 3.20.0 [required by ocamlformat-lib] - install csexp 1.5.2 [required by ocamlformat] - install camlp-streams 5.0.1 [required by ocamlformat-lib] - install seq base [required by re] - install fix 20250428 [required by ocamlformat-lib] - install ocaml-version 4.0.1 [required by ocamlformat-lib] - install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg] - install menhir 20240715 [required by ocamlformat-lib] - install dune-configurator 3.20.0 [required by base] - install re 1.11.0 [required by ocamlformat] - install topkg 1.1.0 [required by fpath, astring, uuseg] - install base-bytes base [required by ocp-indent] - install base v0.14.3 [required by ocamlformat-lib] - install uutf 1.0.4 [required by ocamlformat-lib] - install astring 0.8.5 [required by ocamlformat-lib] - install ocp-indent 1.8.1 [required by ocamlformat-lib] - install stdio v0.14.0 [required by ocamlformat-lib] - install uucp 15.0.0 [required by uuseg] - install fpath 0.7.3 [required by ocamlformat-lib] - install uuseg 15.0.0 [required by ocamlformat-lib] - install ocamlformat-lib 0.27.0 [required by ocamlformat] - install ocamlformat 0.27.0 ===== 29 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [base.v0.14.3] found in cache [camlp-streams.5.0.1] found in cache [cmdliner.1.3.0] found in cache [csexp.1.5.2] found in cache [dune-build-info.3.20.0] found in cache [dune-configurator.3.20.0] found in cache [either.1.0.0] found in cache [fix.20250428] found in cache [fpath.0.7.3] found in cache [menhir.20240715] found in cache [menhirCST.20240715] found in cache [menhirLib.20240715] found in cache [menhirSdk.20240715] found in cache [ocaml-version.4.0.1] found in cache [ocamlbuild.0.16.1] found in cache [ocamlfind.1.9.8] found in cache [ocamlformat.0.27.0] found in cache [ocamlformat-lib.0.27.0] found in cache [ocp-indent.1.8.1] found in cache [re.1.11.0] found in cache [sexplib0.v0.14.0] found in cache [stdio.v0.14.0] found in cache [topkg.1.1.0] found in cache [uucp.15.0.0] found in cache [uuseg.15.0.0] found in cache [uutf.1.0.4] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed camlp-streams.5.0.1 -> installed csexp.1.5.2 -> installed either.1.0.0 -> installed fix.20250428 -> installed cmdliner.1.3.0 -> installed menhirCST.20240715 -> installed menhirLib.20240715 -> installed menhirSdk.20240715 -> installed ocaml-version.4.0.1 -> installed re.1.11.0 -> installed sexplib0.v0.14.0 -> installed dune-build-info.3.20.0 -> installed dune-configurator.3.20.0 -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed ocp-indent.1.8.1 -> installed ocamlbuild.0.16.1 -> installed base.v0.14.3 -> installed stdio.v0.14.0 -> installed topkg.1.1.0 -> installed uutf.1.0.4 -> installed astring.0.8.5 -> installed menhir.20240715 -> installed fpath.0.7.3 -> installed uucp.15.0.0 -> installed uuseg.15.0.0 -> installed ocamlformat-lib.0.27.0 -> installed ocamlformat.0.27.0 Done. <><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><> => This package requires additional configuration for use in editors. Install package 'user-setup', or manually: * for Emacs, add these lines to ~/.emacs: (add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp") (require 'ocp-indent) * for Vim, add this line to ~/.vimrc: set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim" # Run eval $(opam env) to update the current shell environment 2025-09-10 18:22.05 ---> using "ee5f36fa10328bf844b6feeab861ac0336aa35be5e288d81331a0c9c26b8859a" from cache /src: (copy (src .) (dst /src/)) 2025-09-10 18:22.06 ---> saved as "a06c277ea5fdfcf3f8e8fca552a62f193ea6fa0bcded63912381a74e492a64cb" /src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) File "tensor/row.mli", line 1, characters 0-0: diff --git a/_build/default/tensor/row.mli b/_build/default/tensor/.formatted/row.mli index 4bf3f29..6177498 100644 --- a/_build/default/tensor/row.mli +++ b/_build/default/tensor/.formatted/row.mli @@ -116,7 +116,6 @@ type row_entry = } [@@deriving sexp_of] - type constraint_ = | Dim_eq of { d1 : dim; d2 : dim; origin : constraint_origin list } | Row_eq of { r1 : t; r2 : t; origin : constraint_origin list } @@ -149,7 +148,10 @@ type stage = Stage1 | Stage2 | Stage3 | Stage4 | Stage5 | Stage6 | Stage7 [@@deriving sexp, equal, compare] val subst_row : environment -> t -> t -val unify_row : stage:stage -> constraint_origin list -> t * t -> environment -> constraint_ list * environment + +val unify_row : + stage:stage -> constraint_origin list -> t * t -> environment -> constraint_ list * environment + val empty_env : environment val get_dim_from_env : environment -> dim_var -> int option val get_row_from_env : environment -> row_var -> t option Warning: Invalid documentation comment: File "lib/nn_blocks.ml", line 12, characters 22-25: '{ }': bad markup. Suggestion: did you mean '{! }' or '[ ]'? Warning: Invalid documentation comment: File "tensor/shape.ml", line 24, characters 0-0: End of text is not allowed in '[...]' (code). File "tensor/row.ml", line 1, characters 0-0: diff --git a/_build/default/tensor/row.ml b/_build/default/tensor/.formatted/row.ml index faa9302..67f8924 100644 --- a/_build/default/tensor/row.ml +++ b/_build/default/tensor/.formatted/row.ml @@ -528,8 +528,7 @@ let rec row_conjunction ?(id = phantom_row_id) ~origin stage constr1 constr2 = else if quotient <= 0 && Option.is_none num_var then elems_mismatch n1 n2 else if quotient = 1 && Option.is_none num_var then (* The difference variables must all be 1 *) - List.map diff_vars ~f:(fun v -> - Dim_eq { d1 = Var v; d2 = get_dim ~d:1 (); origin }) + List.map diff_vars ~f:(fun v -> Dim_eq { d1 = Var v; d2 = get_dim ~d:1 (); origin }) else (* The product of difference variables equals the quotient *) let r = { dims = List.map diff_vars ~f:(fun v -> Var v); bcast = Broadcastable; id } in @@ -541,8 +540,7 @@ let rec row_conjunction ?(id = phantom_row_id) ~origin stage constr1 constr2 = Strided_var { coeff; var; denom = n_small } in [ - Rows_constr - { r = [ r ]; constr = Total_elems { numerator; divided_by = [] }; origin }; + Rows_constr { r = [ r ]; constr = Total_elems { numerator; divided_by = [] }; origin }; ] in let lazy_extras ~keep_constr1 ~num_var ?(extra_var = []) ~coeff ~denom () = @@ -643,21 +641,18 @@ let rec row_conjunction ?(id = phantom_row_id) ~origin stage constr1 constr2 = Dim_eq { d1 = Var v; d2 = get_dim ~d:1 (); origin }) in let exact_vars_eqs = - List.map vars ~f:(fun v -> - Dim_eq { d1 = Var v; d2 = get_dim ~d:1 (); origin }) + List.map vars ~f:(fun v -> Dim_eq { d1 = Var v; d2 = get_dim ~d:1 (); origin }) in Some (divided_by_eqs @ exact_vars_eqs, Exact dims) else if List.is_empty divided_by && List.length vars = 1 && reminder > 0 then (* divided_by is empty and there is only one dim variable in Exact dims *) let v = List.hd_exn vars in - Some - ([ Dim_eq { d1 = Var v; d2 = get_dim ~d:reminder (); origin } ], Exact dims) + Some ([ Dim_eq { d1 = Var v; d2 = get_dim ~d:reminder (); origin } ], Exact dims) else if List.is_empty vars && List.length divided_by = 1 && reminder > 0 then (* Exact dims contain only known dimensions and divided_by has exactly one variable *) let v = List.hd_exn divided_by in - Some - ([ Dim_eq { d1 = Var v; d2 = get_dim ~d:reminder (); origin } ], Exact dims) + Some ([ Dim_eq { d1 = Var v; d2 = get_dim ~d:reminder (); origin } ], Exact dims) else None | Strided_var { coeff; var; denom } -> if known_product = 0 then @@ -897,11 +892,7 @@ let check_empty_row ~origin r = if List.is_empty beg_dims then [ Row_eq - { - r1 = row_of_var v r.id; - r2 = { dims = []; bcast = Broadcastable; id = r.id }; - origin; - }; + { r1 = row_of_var v r.id; r2 = { dims = []; bcast = Broadcastable; id = r.id }; origin }; ] else raise @@ Shape_error ("check_empty_row: row is not empty", [ Row_mismatch [ r ] ]) @@ -1336,8 +1327,7 @@ and apply_row_constraint ~depth stage origin (r : row) (constr : row_constraint) when equal_dim_var var v && (Utils.is_safe_val coeff || is_stage2_up stage) -> (* Total = (coeff * v / denom) / v = coeff / denom *) if Utils.safe_force coeff % denom = 0 then - ( Dim_eq - { d1 = Var v; d2 = get_dim ~d:(Utils.safe_force coeff / denom) (); origin } + ( Dim_eq { d1 = Var v; d2 = get_dim ~d:(Utils.safe_force coeff / denom) (); origin } :: extras, env ) else if @@ -1917,8 +1907,7 @@ let%debug5_sexp solve_row_ineq ~(stage : stage) origin ~(cur : t) ~(subr : t) (e | ({ dims = _; bcast = Row_var { v; _ }; id }, _ | _, { dims = _; bcast = Row_var { v; _ }; id }) when is_stage6_up stage -> ( Row_ineq { cur; subr; origin } - :: Row_eq - { r1 = row_of_var v id; r2 = { dims = []; bcast = Broadcastable; id }; origin } + :: Row_eq { r1 = row_of_var v id; r2 = { dims = []; bcast = Broadcastable; id }; origin } :: ineqs, env ) | cur, subr when equal_row cur subr -> ([], env) @@ -2088,10 +2077,7 @@ let%debug5_sexp solve_row_ineq ~(stage : stage) origin ~(cur : t) ~(subr : t) (e in (* We don't need to add any dimension inequalities, because they'll be captured by the extra row inequalities. *) - ( [ - Row_eq { r1 = cur; r2 = template; origin }; - Row_ineq { cur = template; subr; origin }; - ], + ( [ Row_eq { r1 = cur; r2 = template; origin }; Row_ineq { cur = template; subr; origin } ], env ) | { bcast = Broadcastable; _ }, _ when cur_dims_l + cur_beg_dims_l < subr_dims_l + subr_beg_dims_l -> dune build @fmt failed "/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 2 2025-09-10 18:22.07: Job failed: Failed: Build failed