2025-11-29 22:35.21: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (1015b65504d1fba3c0b5f73c070d6dd58aa0349e) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321 ocamlformat version: version 0.28.1 (from opam) To reproduce locally: git clone --recursive "https://github.com/ahrefs/ocannl.git" -b "master" && cd "ocannl" && git reset --hard 1015b655 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321 USER 1000:1000 RUN cd ~/opam-repository && (git cat-file -e 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && git log --no-decorate -n1 --oneline && opam update -u RUN opam depext -i dune WORKDIR /src RUN opam depext -i ocamlformat=0.28.1 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-11-29 22:35.21: Using cache hint "ahrefs/ocannl-ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321-debian-13-4.08_opam-2.4-ocamlformat-6c1b38620288b5bf349067f089a7b1fc91185d94" 2025-11-29 22:35.21: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321) (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 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && 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.28.1")) (copy (src .) (dst /src/)) (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) ) 2025-11-29 22:35.21: Waiting for resource in pool OCluster 2025-11-29 22:35.21: Waiting for worker… 2025-11-29 22:35.22: Got resource from pool OCluster Building on bremusa.ocamllabs.io All commits already cached HEAD is now at 1015b655 Update shape_inference.md for Affine type and stride_offset semantics (from ocaml/opam:debian-13-ocaml-4.08@sha256:e3cc4e8fe5c00f48c72a719e3551b1d8a51c2862349a0f7507e8aa29fdf72321) 2025-11-29 22:35.22 ---> using "d458486dd7823c592e7ea9c88366c5f90e1939c3b51f3abbd6760272096f8a3e" 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 6c1b38620288b5bf349067f089a7b1fc91185d94 || git fetch origin master) && git reset -q --hard 6c1b38620288b5bf349067f089a7b1fc91185d94 && git log --no-decorate -n1 --oneline && opam update -u")) 6c1b386202 Merge pull request #28774 from Julow/release-ocamlformat-0.28.1 <><> 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-11-29 22:35.22 ---> using "a7d3c7d9f6aff7dc059c465a33e7ef3fda4b4a1ee9c79bef8645b5cd4da72b96" 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.2 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [dune.3.20.2] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.20.2 Done. # Run eval $(opam env) to update the current shell environment 2025-11-29 22:35.22 ---> using "b8799a0f87a66bd49a9341889a0027044c03db80ad17a5edb3adaf72f166d8fd" from cache /: (workdir /src) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.28.1")) # 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 ocamlbuild 0.16.1 [required by fpath, astring, uuseg] - install either 1.0.0 [required by ocamlformat-lib] - install menhirLib 20250912 [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 menhirSdk 20250912 [required by ocamlformat-lib] - install fix 20250919 [required by ocamlformat-lib] - install menhirCST 20250912 [required by menhir] - install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg] - install dune-build-info 3.20.2 [required by ocamlformat-lib] - install cmdliner 2.0.0 [required by ocamlformat] - install ocaml-version 4.0.3 [required by ocamlformat-lib] - install dune-configurator 3.20.2 [required by base] - install re 1.11.0 [required by ocamlformat] - install menhir 20250912 [required by ocamlformat-lib] - install topkg 1.1.1 [required by fpath, astring, uuseg] - install ocp-indent 1.9.0 [required by ocamlformat-lib] - 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 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.28.1 [required by ocamlformat] - install ocamlformat 0.28.1 ===== 28 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.2.0.0] found in cache [csexp.1.5.2] found in cache [dune-build-info.3.20.2] found in cache [dune-configurator.3.20.2] found in cache [either.1.0.0] found in cache [fix.20250919] found in cache [fpath.0.7.3] found in cache [menhir.20250912] found in cache [menhirCST.20250912] found in cache [menhirLib.20250912] found in cache [menhirSdk.20250912] found in cache [ocaml-version.4.0.3] found in cache [ocamlbuild.0.16.1] found in cache [ocamlfind.1.9.8] found in cache [ocamlformat.0.28.1] found in cache [ocamlformat-lib.0.28.1] found in cache [ocp-indent.1.9.0] 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.1] 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.20250919 -> installed cmdliner.2.0.0 -> installed menhirCST.20250912 -> installed menhirLib.20250912 -> installed menhirSdk.20250912 -> installed ocaml-version.4.0.3 -> installed re.1.11.0 -> installed sexplib0.v0.14.0 -> installed dune-build-info.3.20.2 -> installed dune-configurator.3.20.2 -> installed ocamlfind.1.9.8 -> installed ocp-indent.1.9.0 -> installed ocamlbuild.0.16.1 -> installed base.v0.14.3 -> installed topkg.1.1.1 -> installed stdio.v0.14.0 -> installed uutf.1.0.4 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed menhir.20250912 -> installed uucp.15.0.0 -> installed uuseg.15.0.0 -> installed ocamlformat-lib.0.28.1 -> installed ocamlformat.0.28.1 Done. <><> ocp-indent.1.9.0 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-11-29 22:35.22 ---> using "7b71439e6ac9917292b28dc59ecc075d01d03dd2ef11c372809a6cf99e594a22" from cache /src: (copy (src .) (dst /src/)) 2025-11-29 22:35.23 ---> saved as "48e86d2f6b49eba851d54c6a1315aea75631e9c336b3362f4d323da8a2604246" /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 b0e346d..0c26718 100644 --- a/_build/default/tensor/row.mli +++ b/_build/default/tensor/.formatted/row.mli @@ -36,8 +36,8 @@ and dim = | Dim of solved_dim | Affine of { stride : int; over : dim; conv : convolution option; stride_offset : int } (** An affine transformation of a dimension. When [conv] is [None], this is a simple strided - dimension. When [conv] is [Some], this includes convolution parameters. - Invariants: [stride > 0], [dilation > 0] (when present), [0 <= stride_offset < stride]. *) + dimension. When [conv] is [Some], this includes convolution parameters. Invariants: + [stride > 0], [dilation > 0] (when present), [0 <= stride_offset < stride]. *) [@@deriving equal, hash, compare, sexp] val get_dim : d:int -> ?label:string -> ?proj_id:int -> unit -> dim 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 1424f7b..43cf019 100644 --- a/_build/default/tensor/row.ml +++ b/_build/default/tensor/.formatted/row.ml @@ -124,13 +124,13 @@ let rec dim_to_string style = function | Dim solved_dim -> solved_dim_to_string style solved_dim | Var { id; name = Some n } -> [%string "$%{id#Int}:%{n}"] | Var { id; name = None } -> "$" ^ Int.to_string id - | Affine { stride; over; conv; stride_offset } -> + | Affine { stride; over; conv; stride_offset } -> ( let over_str = dim_to_string style over in let stride_str = if stride = 1 then over_str else Int.to_string stride ^ "*" ^ over_str in let offset_str = if stride_offset = 0 then stride_str else [%string "%{stride_str}+%{stride_offset#Int}"] in - (match conv with + match conv with | None -> offset_str | Some { dilation; kernel; use_padding = _ } -> let kernel_str = dim_to_string style kernel in @@ -828,7 +828,9 @@ let%track5_sexp rec apply_dim_constraint ~(source : source) ~(stage : stage) (di let d_min = d_min - (dilation * d_k) in if d_min <= 0 then ([], Unconstrained_dim) else - let quotient = if d_min % stride = 0 then d_min / stride else (d_min / stride) + 1 in + let quotient = + if d_min % stride = 0 then d_min / stride else (d_min / stride) + 1 + in apply_dim_constraint ~source ~stage over (At_least_dim quotient) env | _ -> apply_dim_constraint ~source ~stage over (At_least_dim quotient) env) | Var v, _ -> ( @@ -1566,10 +1568,8 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l ("solved dimensions for axis: different labels", [ Dim_mismatch [ dim1; dim2 ] ]) | Dim { d = d1; _ }, Dim { d = d2; _ } when d1 = d2 -> ([], env) | Var v1, Var v2 when equal_dim_var v1 v2 -> ([], env) - | ( Affine { stride = 1; over; conv = Some { use_padding = true; _ }; stride_offset = 0 }, - dim ) - | ( dim, - Affine { stride = 1; over; conv = Some { use_padding = true; _ }; stride_offset = 0 } ) -> + | Affine { stride = 1; over; conv = Some { use_padding = true; _ }; stride_offset = 0 }, dim + | dim, Affine { stride = 1; over; conv = Some { use_padding = true; _ }; stride_offset = 0 } -> unify_dim ~stage origin (over, dim) env | Affine { stride = 1; over; conv = None; stride_offset = 0 }, dim | dim, Affine { stride = 1; over; conv = None; stride_offset = 0 } -> @@ -1600,16 +1600,12 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l }, if stride1 > stride2 then over2 else over1 ) env - | ( Affine { stride; over = Dim s; conv = None | Some { use_padding = true; _ }; _ }, - dim ) - | ( dim, - Affine { stride; over = Dim s; conv = None | Some { use_padding = true; _ }; _ } ) -> + | Affine { stride; over = Dim s; conv = None | Some { use_padding = true; _ }; _ }, dim + | dim, Affine { stride; over = Dim s; conv = None | Some { use_padding = true; _ }; _ } -> (* stride_offset doesn't contribute to shapes when conv = None or use_padding = true *) unify_dim ~stage origin (get_dim ~d:(stride * s.d) (), dim) env - | ( Affine { stride; over; conv = None | Some { use_padding = true; _ }; _ }, - Dim s ) - | ( Dim s, - Affine { stride; over; conv = None | Some { use_padding = true; _ }; _ } ) -> + | Affine { stride; over; conv = None | Some { use_padding = true; _ }; _ }, Dim s + | Dim s, Affine { stride; over; conv = None | Some { use_padding = true; _ }; _ } -> (* stride_offset doesn't contribute to shapes when conv = None or use_padding = true *) if s.d >= 0 && s.d % stride = 0 then unify_dim ~stage origin (get_dim ~d:(s.d / stride) (), over) env @@ -1622,19 +1618,17 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l dim ) | ( dim, Affine - { stride; over = Dim s; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ } - ) -> - (* stride_offset doesn't affect dimension - it just shifts which elements are accessed. - Max index at stride_offset=stride-1: (s-1)*stride + (stride-1) + (k-1)*dilation - So input dim = s * stride + (k-1) * dilation *) + { stride; over = Dim s; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ } ) + -> + (* stride_offset doesn't affect dimension - it just shifts which elements are accessed. Max + index at stride_offset=stride-1: (s-1)*stride + (stride-1) + (k-1)*dilation So input dim = + s * stride + (k-1) * dilation *) unify_dim ~stage origin (get_dim ~d:((stride * s.d) + (dilation * (k.d - 1))) (), dim) env - | ( Affine { stride; over; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ }, - Dim s ) - | ( Dim s, - Affine { stride; over; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ } ) -> - (* Reverse: solve for over given input dim s. - s = stride * over + dilation * (k - 1) - over = (s - dilation * (k - 1)) / stride *) + | Affine { stride; over; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ }, Dim s + | Dim s, Affine { stride; over; conv = Some { dilation; kernel = Dim k; use_padding = false }; _ } + -> + (* Reverse: solve for over given input dim s. s = stride * over + dilation * (k - 1) over = (s + - dilation * (k - 1)) / stride *) let kernel_extent = dilation * (k.d - 1) in let over_times_stride = s.d - kernel_extent in if over_times_stride >= 0 && over_times_stride % stride = 0 then @@ -1643,13 +1637,14 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l raise @@ Shape_error ("solved dimensions for axis: incompatible stride", [ Dim_mismatch [ dim1; dim2 ] ]) - | ( Affine { stride; over = Dim s; conv = Some { dilation; kernel = Var v; use_padding = false }; _ }, + | ( Affine + { stride; over = Dim s; conv = Some { dilation; kernel = Var v; use_padding = false }; _ }, Dim i ) | ( Dim i, - Affine { stride; over = Dim s; conv = Some { dilation; kernel = Var v; use_padding = false }; _ } - ) -> - (* Infer kernel dimension from the amount of contraction. - i = s * stride + dilation * (k - 1) + Affine + { stride; over = Dim s; conv = Some { dilation; kernel = Var v; use_padding = false }; _ } ) + -> + (* Infer kernel dimension from the amount of contraction. i = s * stride + dilation * (k - 1) k = 1 + (i - s * stride) / dilation *) let kernel_extent = i.d - (stride * s.d) in if kernel_extent >= 0 && kernel_extent % dilation = 0 then @@ -1677,10 +1672,19 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l @@ Shape_error ("solved dimensions for axis: unresolvable strides", [ Dim_mismatch [ dim1; dim2 ] ]) | ( Affine - { stride = s1; over = o1; conv = Some { dilation = d1; kernel = Dim k1; use_padding = false }; _ }, + { + stride = s1; + over = o1; + conv = Some { dilation = d1; kernel = Dim k1; use_padding = false }; + _; + }, Affine - { stride = s2; over = o2; conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; _ } - ) -> + { + stride = s2; + over = o2; + conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; + _; + } ) -> (* stride_offset doesn't affect dimension - kernel extent is dilation * (k - 1) *) let extent1 = d1 * (k1.d - 1) and extent2 = d2 * (k2.d - 1) in if s1 = s2 && extent1 = extent2 then unify_dim ~stage origin (o1, o2) env @@ -1721,12 +1725,22 @@ let%debug5_sexp rec unify_dim ~stage origin (eq : dim * dim) env : constraint_ l ("solved dimensions for axis: unresolvable strides", [ Dim_mismatch [ dim1; dim2 ] ]) | ( Affine { stride = s1; over = o1; conv = None | Some { use_padding = true; _ }; _ }, Affine - { stride = s2; over = o2; conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; _ } - ) + { + stride = s2; + over = o2; + conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; + _; + } ) | ( Affine - { stride = s2; over = o2; conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; _ }, + { + stride = s2; + over = o2; + conv = Some { dilation = d2; kernel = Dim k2; use_padding = false }; + _; + }, Affine { stride = s1; over = o1; conv = None | Some { use_padding = true; _ }; _ } ) -> - (* conv = None and use_padding = true have extent 0; use_padding = false has extent dilation * (k-1) *) + (* conv = None and use_padding = true have extent 0; use_padding = false has extent dilation * + (k-1) *) let extent1 = 0 and extent2 = d2 * (k2.d - 1) in if s1 = s2 && extent1 = extent2 then unify_dim ~stage origin (o1, o2) env else if s1 >= s2 && s1 % s2 = 0 then @@ -3468,8 +3482,7 @@ let%track4_sexp get_proj_equations (inequalities : constraint_ list) proj_axis_e [] ) | Affine { stride; over; conv = None; stride_offset } -> (* Strided iteration: no convolution *) - Conv_input - { stride; over = to_proj over; conv = None; stride_offset; target_id = None } + Conv_input { stride; over = to_proj over; conv = None; stride_offset; target_id = None } | Affine { stride; over; conv = Some { dilation; kernel; use_padding = _ }; stride_offset } -> let kernel_size = match subst_dim ~keep_affine:true env kernel with @@ -3557,7 +3570,9 @@ let%track4_sexp get_proj_equations (inequalities : constraint_ list) proj_axis_e constr = Total_elems { numerator = Strided_var { coeff; var; denom }; divided_by }; origin = _; } -> ( - let divided_by = List.map divided_by ~f:(fun v -> subst_dim ~keep_affine:true env (Var v)) in + let divided_by = + List.map divided_by ~f:(fun v -> subst_dim ~keep_affine:true env (Var v)) + in match collect_factors divided_by with | Some (known_product, residual_vars) -> assert (List.is_empty residual_vars); 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-11-29 22:35.25: Job failed: Failed: Build failed