2025-09-02 08:32.44: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (f650c0ce6223decdda52de1afc3bebf264ca401c) (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 f650c0ce 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-02 08:32.44: 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-02 08:32.44: 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-02 08:32.44: Waiting for resource in pool OCluster 2025-09-02 08:32.44: Waiting for worker… 2025-09-02 08:32.45: Got resource from pool OCluster Building on doris.caelum.ci.dev All commits already cached HEAD is now at f650c0ce Embedding of dimensions in tensor expressions: track variables so references can be updated by an upcoming apply_env_step (from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d) 2025-09-02 08:32.46 ---> 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-02 08:32.46 ---> 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-02 08:32.46 ---> 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 cmdliner.1.3.0 -> installed either.1.0.0 -> installed fix.20250428 -> 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 ocamlbuild.0.16.1 -> installed ocp-indent.1.8.1 -> installed base.v0.14.3 -> installed topkg.1.1.0 -> installed stdio.v0.14.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-02 08:32.46 ---> using "ee5f36fa10328bf844b6feeab861ac0336aa35be5e288d81331a0c9c26b8859a" from cache /src: (copy (src .) (dst /src/)) 2025-09-02 08:32.46 ---> saved as "09276a7fbaaca5240a4fd8b485b45b1ae7475043dae70454a7e72d4b5789f92d" /src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) File "test_record_syntax.pp.ml", line 1, characters 0-0: diff --git a/_build/default/test_record_syntax.pp.ml b/_build/default/.formatted/test_record_syntax.pp.ml index 64673ac..91e2cf2 100644 --- a/_build/default/test_record_syntax.pp.ml +++ b/_build/default/.formatted/test_record_syntax.pp.ml @@ -1,179 +1,198 @@ [@@@ocaml.ppx.context - { - tool_name = "ppx_driver"; - include_dirs = []; - hidden_include_dirs = []; - load_path = ([], []); - open_modules = []; - for_package = None; - debug = false; - use_threads = false; - use_vmthreads = false; - recursive_types = false; - principal = false; - transparent_modules = false; - unboxed_types = false; - unsafe_string = false; - cookies = [] - }] +{ + tool_name = "ppx_driver"; + include_dirs = []; + hidden_include_dirs = []; + load_path = ([], []); + open_modules = []; + for_package = None; + debug = false; + use_threads = false; + use_vmthreads = false; + recursive_types = false; + principal = false; + transparent_modules = false; + unboxed_types = false; + unsafe_string = false; + cookies = []; +}] + open Ocannl module Tensor = Tensor module TDSL = Operation.TDSL module NTDSL = Operation.NTDSL module PDSL = Operation.PDSL + let _test_op_uniform = let x = - (TDSL.param ?more_label:None ?value:None ?values:None - ?param_init:(Some (PDSL.uniform ())) "x") () in - let open! TDSL.O in x + (TDSL.param ?more_label:None ?value:None ?values:None ?param_init:(Some (PDSL.uniform ())) "x") + () + in + let open! TDSL.O in + x + let _test_op_float = - let y = - (TDSL.param ?more_label:None ?value:(Some 0.5) ?values:None - ?param_init:None "y") () in - let open! TDSL.O in y + let y = (TDSL.param ?more_label:None ?value:(Some 0.5) ?values:None ?param_init:None "y") () in + let open! TDSL.O in + y + let _test_op_int = let z = - (TDSL.param ?more_label:None ?value:(Some (Float.of_int 42)) ?values:None - ?param_init:None "z") () in - let open! TDSL.O in z + (TDSL.param ?more_label:None ?value:(Some (Float.of_int 42)) ?values:None ?param_init:None "z") + () + in + let open! TDSL.O in + z + let _test_op_list = let weights = - ((TDSL.param ?more_label:None ?value:None ?values:(Some [|0.1;0.2;0.3|]) - ?param_init:None "weights") ~input_dims:[] ~output_dims:[3]) () in - let open! TDSL.O in weights + ((TDSL.param ?more_label:None ?value:None + ?values:(Some [| 0.1; 0.2; 0.3 |]) + ?param_init:None "weights") + ~input_dims:[] ~output_dims:[ 3 ]) + () + in + let open! TDSL.O in + weights + let _test_op_nested = let biases = ((TDSL.param ?more_label:None ?value:None - ?values:(Some [|0.0;1.0;2.0;3.0|]) ?param_init:None "biases") - ~input_dims:[] ~output_dims:[2; 2]) () in - let open! TDSL.O in biases + ?values:(Some [| 0.0; 1.0; 2.0; 3.0 |]) + ?param_init:None "biases") + ~input_dims:[] ~output_dims:[ 2; 2 ]) + () + in + let open! TDSL.O in + biases + let _test_op_with_dims = let w = - ((TDSL.param ?more_label:None ?value:None ?values:None - ?param_init:(Some (PDSL.uniform ())) "w") ~input_dims:[2; 3] - ~output_dims:[4]) () in - let open! TDSL.O in w + ((TDSL.param ?more_label:None ?value:None ?values:None ?param_init:(Some (PDSL.uniform ())) "w") + ~input_dims:[ 2; 3 ] ~output_dims:[ 4 ]) + () + in + let open! TDSL.O in + w + let _test_op_shorthands = let v = - ((TDSL.param ?more_label:None ?value:None ?values:None - ?param_init:(Some (PDSL.uniform ())) "v") ~input_dims:[5] - ~output_dims:[6; 7]) () in - let open! TDSL.O in v + ((TDSL.param ?more_label:None ?value:None ?values:None ?param_init:(Some (PDSL.uniform ())) "v") + ~input_dims:[ 5 ] ~output_dims:[ 6; 7 ]) + () + in + let open! TDSL.O in + v + let _test_cd_computation () = - let temp = (NTDSL.term ~label:["temp"] ?fetch_op:None) () in + let temp = (NTDSL.term ~label:[ "temp" ] ?fetch_op:None) () in let result = let open! NTDSL.O in - let uncommented_comp = - let nondiff__for_rhs1 = NTDSL.O.(!.) 2.0 in - Ir.Assignments.sequence - [{ - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = - (Base.Set.singleton (module Ir.Tnode) temp.Tensor.value) - }; - if Tensor.is_fwd_root nondiff__for_rhs1 - then - (Tensor.remove_fwd_root nondiff__for_rhs1; + let uncommented_comp = + let nondiff__for_rhs1 = NTDSL.O.( !. ) 2.0 in + Ir.Assignments.sequence + [ + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.singleton (module Ir.Tnode) temp.Tensor.value; + }; + (if Tensor.is_fwd_root nondiff__for_rhs1 then ( + Tensor.remove_fwd_root nondiff__for_rhs1; nondiff__for_rhs1.Tensor.forward) - else - { - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }; + else + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }); { Ir.Assignments.asgns = - (Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 - ~t:temp ~lhs_is_grad:false ~op:Ir.Ops.Identity - ~t1:nondiff__for_rhs1 ~rhs_is_grad:false ~rhs_is_merge:false - ~logic:Shape.Pointwise_un); - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }] in - { - Ir.Assignments.embedded_nodes = - (uncommented_comp.Ir.Assignments.embedded_nodes); - asgns = - (Ir.Assignments.Block_comment - ("result", (uncommented_comp.Ir.Assignments.asgns))) - } in + Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 ~t:temp + ~lhs_is_grad:false ~op:Ir.Ops.Identity ~t1:nondiff__for_rhs1 ~rhs_is_grad:false + ~rhs_is_merge:false ~logic:Shape.Pointwise_un; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }; + ] + in + { + Ir.Assignments.embedded_nodes = uncommented_comp.Ir.Assignments.embedded_nodes; + asgns = Ir.Assignments.Block_comment ("result", uncommented_comp.Ir.Assignments.asgns); + } + in result + let _test_cd_with_dims () = - let temp = - (NTDSL.term ~label:["temp"] ?fetch_op:None ~output_dims:[3; 4]) () in + let temp = (NTDSL.term ~label:[ "temp" ] ?fetch_op:None ~output_dims:[ 3; 4 ]) () in let result = let open! NTDSL.O in - let uncommented_comp = - let nondiff__for_rhs1 = NTDSL.O.(!.) 1.0 in - Ir.Assignments.sequence - [{ - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = - (Base.Set.singleton (module Ir.Tnode) temp.Tensor.value) - }; - if Tensor.is_fwd_root nondiff__for_rhs1 - then - (Tensor.remove_fwd_root nondiff__for_rhs1; + let uncommented_comp = + let nondiff__for_rhs1 = NTDSL.O.( !. ) 1.0 in + Ir.Assignments.sequence + [ + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.singleton (module Ir.Tnode) temp.Tensor.value; + }; + (if Tensor.is_fwd_root nondiff__for_rhs1 then ( + Tensor.remove_fwd_root nondiff__for_rhs1; nondiff__for_rhs1.Tensor.forward) - else - { - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }; + else + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }); { Ir.Assignments.asgns = - (Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 - ~t:temp ~lhs_is_grad:false ~op:Ir.Ops.Identity - ~t1:nondiff__for_rhs1 ~rhs_is_grad:false ~rhs_is_merge:false - ~logic:Shape.Pointwise_un); - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }] in - { - Ir.Assignments.embedded_nodes = - (uncommented_comp.Ir.Assignments.embedded_nodes); - asgns = - (Ir.Assignments.Block_comment - ("result", (uncommented_comp.Ir.Assignments.asgns))) - } in + Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 ~t:temp + ~lhs_is_grad:false ~op:Ir.Ops.Identity ~t1:nondiff__for_rhs1 ~rhs_is_grad:false + ~rhs_is_merge:false ~logic:Shape.Pointwise_un; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }; + ] + in + { + Ir.Assignments.embedded_nodes = uncommented_comp.Ir.Assignments.embedded_nodes; + asgns = Ir.Assignments.Block_comment ("result", uncommented_comp.Ir.Assignments.asgns); + } + in result + let _test_cd_shorthands () = - let x = (NTDSL.term ~label:["x"] ?fetch_op:None ~output_dims:[10]) () in + let x = (NTDSL.term ~label:[ "x" ] ?fetch_op:None ~output_dims:[ 10 ]) () in let result = let open! NTDSL.O in - let uncommented_comp = - let nondiff__for_rhs1 = NTDSL.O.(!.) 3.0 in - Ir.Assignments.sequence - [{ - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = - (Base.Set.singleton (module Ir.Tnode) x.Tensor.value) - }; - if Tensor.is_fwd_root nondiff__for_rhs1 - then - (Tensor.remove_fwd_root nondiff__for_rhs1; + let uncommented_comp = + let nondiff__for_rhs1 = NTDSL.O.( !. ) 3.0 in + Ir.Assignments.sequence + [ + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.singleton (module Ir.Tnode) x.Tensor.value; + }; + (if Tensor.is_fwd_root nondiff__for_rhs1 then ( + Tensor.remove_fwd_root nondiff__for_rhs1; nondiff__for_rhs1.Tensor.forward) - else - { - Ir.Assignments.asgns = Ir.Assignments.Noop; - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }; + else + { + Ir.Assignments.asgns = Ir.Assignments.Noop; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }); { Ir.Assignments.asgns = - (Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 - ~t:x ~lhs_is_grad:false ~op:Ir.Ops.Identity - ~t1:nondiff__for_rhs1 ~rhs_is_grad:false ~rhs_is_merge:false - ~logic:Shape.Pointwise_un); - embedded_nodes = (Base.Set.empty (module Ir.Tnode)) - }] in - { - Ir.Assignments.embedded_nodes = - (uncommented_comp.Ir.Assignments.embedded_nodes); - asgns = - (Ir.Assignments.Block_comment - ("result", (uncommented_comp.Ir.Assignments.asgns))) - } in + Tensor.raw_unop ~initialize_neutral:false ~accum:Ir.Ops.Arg2 ~t:x ~lhs_is_grad:false + ~op:Ir.Ops.Identity ~t1:nondiff__for_rhs1 ~rhs_is_grad:false ~rhs_is_merge:false + ~logic:Shape.Pointwise_un; + embedded_nodes = Base.Set.empty (module Ir.Tnode); + }; + ] + in + { + Ir.Assignments.embedded_nodes = uncommented_comp.Ir.Assignments.embedded_nodes; + asgns = Ir.Assignments.Block_comment ("result", uncommented_comp.Ir.Assignments.asgns); + } + in result + let () = Stdio.printf "Test compilation successful!\n"; - Stdio.printf - "Record syntax for both %%op and %%cd extensions works correctly.\n"; - Stdio.printf - "All initialization patterns and shorthand notation supported.\n" + Stdio.printf "Record syntax for both %%op and %%cd extensions works correctly.\n"; + Stdio.printf "All initialization patterns and shorthand notation supported.\n" 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-02 08:32.47: Job failed: Failed: Build failed