Getting StartedDocumentation
Organisationsahrefsocannl1d2701 ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

Show raw logs
2025-05-19 16:31.33: New job: test ahrefs/ocannl https://github.com/ahrefs/ocannl.git#refs/heads/master (1d270160f4b438325244da57ba939f7203ba459c) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7
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 1d270160
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7
USER 1000:1000
RUN cd ~/opam-repository && (git cat-file -e 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && 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-05-19 16:31.33: Using cache hint "ahrefs/ocannl-ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7-debian-12-4.08_opam-2.3-ocamlformat-35eb2f107a989a2d623b0bbe170696398fcb9b1e"
2025-05-19 16:31.33: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7)
(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 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && 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-05-19 16:31.33: Waiting for resource in pool OCluster
2025-05-19 16:31.33: Waiting for worker…
2025-05-19 16:31.42: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 1d270160 Workaround for Metal logging crashes, with `prefer_backend_uniformity` to make it compatible for testing


(from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7)
2025-05-19 16:31.43 ---> using "d1b97f3f32fc7cff4791d73e3fff398d19cc5b0541c709028ff05a921e22d2c8" 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 35eb2f107a989a2d623b0bbe170696398fcb9b1e || git fetch origin master) && git reset -q --hard 35eb2f107a989a2d623b0bbe170696398fcb9b1e && git log --no-decorate -n1 --oneline && opam update -u"))
35eb2f107a Merge pull request #27838 from maiste/release-dune-3.18.2


<><> 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-05-19 16:32.42 ---> saved as "0ed37ff9180ea5331ab17e3106ce3fc10bf21b69021c66107f159798cee036fc"


/: (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.18.2


<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[dune.3.18.2] found in cache


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed dune.3.18.2
Done.
# Run eval $(opam env) to update the current shell environment
2025-05-19 16:33.26 ---> saved as "dc3dc92082cbd6b1d2902dc06db6b555f449a0b1c6f054b5888f3ddab10a5d9e"


/: (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 dune-build-info   3.18.2   [required by ocamlformat-lib]
- install cmdliner          1.3.0    [required by ocamlformat]
- install menhirLib         20240715 [required by ocamlformat-lib]
- install menhirCST         20240715 [required by menhir]
- install ocamlbuild        0.16.1   [required by fpath, astring, uuseg]
- install menhirSdk         20240715 [required by ocamlformat-lib]
- install either            1.0.0    [required by ocamlformat-lib]
- install ocaml-version     4.0.0    [required by ocamlformat-lib]
- install camlp-streams     5.0.1    [required by ocamlformat-lib]
- install csexp             1.5.2    [required by ocamlformat]
- install seq               base     [required by re]
- install fix               20250428 [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.18.2   [required by base]
- install re                1.11.0   [required by ocamlformat]
- install topkg             1.0.8    [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.18.2] found in cache
[dune-configurator.3.18.2] 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.0] 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.0.8] 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.0
-> installed re.1.11.0
-> installed sexplib0.v0.14.0
-> installed dune-build-info.3.18.2
-> installed dune-configurator.3.18.2
-> 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.0.8
-> 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-05-19 16:34.34 ---> saved as "5e3a5282f655843df8e02a2497598f2918acc59345107286c51ff04d386b492b"


/src: (copy (src .) (dst /src/))
2025-05-19 16:34.35 ---> saved as "c92fd2ad2f651dd26be73f4f2e739186b187ad3c7bb0423331b7cb3e3935856c"


/src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)"))
File "arrayjit/lib/lowered_backend_missing.ml", line 1, characters 0-0:
diff --git a/_build/default/arrayjit/lib/lowered_backend_missing.ml b/_build/default/arrayjit/lib/.formatted/lowered_backend_missing.ml
index cb9affa..a5b0e8c 100644
--- a/_build/default/arrayjit/lib/lowered_backend_missing.ml
+++ b/_build/default/arrayjit/lib/.formatted/lowered_backend_missing.ml
@@ -95,13 +95,15 @@ struct
failwith @@ "Backend " ^ Config.name ^ " missing -- install the corresponding library"


let static_properties =
-    Sexp.List [
-      Sexp.Atom (Config.name ^ "_missing");
-      Sexp.List [
-        Sexp.Atom "error";
-        Sexp.Atom ("Backend " ^ Config.name ^ " missing -- install the corresponding library")
+    Sexp.List
+      [
+        Sexp.Atom (Config.name ^ "_missing");
+        Sexp.List
+          [
+            Sexp.Atom "error";
+            Sexp.Atom ("Backend " ^ Config.name ^ " missing -- install the corresponding library");
+          ];
]
-    ]


let get_debug_info _stream =
failwith @@ "Backend " ^ Config.name ^ " missing -- install the corresponding library"
File "test/micrograd_demo_logging.ml", line 1, characters 0-0:
diff --git a/_build/default/test/micrograd_demo_logging.ml b/_build/default/test/.formatted/micrograd_demo_logging.ml
index 605bd66..3e800b1 100644
--- a/_build/default/test/micrograd_demo_logging.ml
+++ b/_build/default/test/.formatted/micrograd_demo_logging.ml
@@ -35,4 +35,4 @@ let () =
Train.run step;
Tensor.print ~with_code:false ~with_grad:false `Default g;
Tensor.print ~with_code:false ~with_grad:true `Default a;
-  Tensor.print ~with_code:false ~with_grad:true `Default b
\ No newline at end of file
+  Tensor.print ~with_code:false ~with_grad:true `Default b
File "arrayjit/lib/indexing.ml", line 1, characters 0-0:
diff --git a/_build/default/arrayjit/lib/indexing.ml b/_build/default/arrayjit/lib/.formatted/indexing.ml
index e18b678..1b2cd06 100644
--- a/_build/default/arrayjit/lib/indexing.ml
+++ b/_build/default/arrayjit/lib/.formatted/indexing.ml
@@ -233,5 +233,6 @@ module Doc_helpers = struct
let pp_axis_index idx =
match idx with Iterator sym -> pp_symbol sym | Fixed_idx i -> PPrint.OCaml.int i


-  let pp_indices idcs = PPrint.separate (pp_comma ()) (Array.to_list idcs |> List.map ~f:pp_axis_index)
+  let pp_indices idcs =
+    PPrint.separate (pp_comma ()) (Array.to_list idcs |> List.map ~f:pp_axis_index)
end
File "arrayjit/lib/cc_backend.ml", line 1, characters 0-0:
diff --git a/_build/default/arrayjit/lib/cc_backend.ml b/_build/default/arrayjit/lib/.formatted/cc_backend.ml
index 7e1200b..16382fa 100644
--- a/_build/default/arrayjit/lib/cc_backend.ml
+++ b/_build/default/arrayjit/lib/.formatted/cc_backend.ml
@@ -89,6 +89,7 @@ let%diagn_sexp compile ~(name : string) bindings (lowered : Low_level.optimized)


let use_host_memory = use_host_memory
let procs = [| lowered |]
+
let full_printf_support =
not @@ Bool.of_string
@@ Utils.get_global_arg ~default:"false" ~arg_name:"prefer_backend_uniformity"
File "bin/micrograd_demo_logging.ml", line 1, characters 0-0:
diff --git a/_build/default/bin/micrograd_demo_logging.ml b/_build/default/bin/.formatted/micrograd_demo_logging.ml
index 605bd66..3e800b1 100644
--- a/_build/default/bin/micrograd_demo_logging.ml
+++ b/_build/default/bin/.formatted/micrograd_demo_logging.ml
@@ -35,4 +35,4 @@ let () =
Train.run step;
Tensor.print ~with_code:false ~with_grad:false `Default g;
Tensor.print ~with_code:false ~with_grad:true `Default a;
-  Tensor.print ~with_code:false ~with_grad:true `Default b
\ No newline at end of file
+  Tensor.print ~with_code:false ~with_grad:true `Default b
File "arrayjit/lib/schedulers.ml", line 1, characters 0-0:
diff --git a/_build/default/arrayjit/lib/schedulers.ml b/_build/default/arrayjit/lib/.formatted/schedulers.ml
index 16e2085..cce297c 100644
--- a/_build/default/arrayjit/lib/schedulers.ml
+++ b/_build/default/arrayjit/lib/.formatted/schedulers.ml
@@ -188,17 +188,21 @@ module Multicore (Backend : For_add_scheduler) :
let suggested_num_streams _device = Domain.recommended_domain_count () - 1


let static_properties =
-    Sexp.List [
-      Sexp.Atom "multicore_devices";
-      Sexp.List [
-        Sexp.Atom "device";
-        Sexp.List [
-          Sexp.List [Sexp.Atom "device_name"; Sexp.Atom "CPU"];
-          Sexp.List [Sexp.Atom "device_ordinal"; [%sexp_of: int] 0];
-          Sexp.List [Sexp.Atom "num_domains"; [%sexp_of: int] (Domain.recommended_domain_count ())];
-        ]
+    Sexp.List
+      [
+        Sexp.Atom "multicore_devices";
+        Sexp.List
+          [
+            Sexp.Atom "device";
+            Sexp.List
+              [
+                Sexp.List [ Sexp.Atom "device_name"; Sexp.Atom "CPU" ];
+                Sexp.List [ Sexp.Atom "device_ordinal"; [%sexp_of: int] 0 ];
+                Sexp.List
+                  [ Sexp.Atom "num_domains"; [%sexp_of: int] (Domain.recommended_domain_count ()) ];
+              ];
+          ];
]
-    ]


let%track7_sexp cleanup_stream (stream : stream) : unit =
(* Allow running in parallel. *)
@@ -274,17 +278,20 @@ module Sync (Backend : For_add_scheduler) = struct
let await _stream = ()


let static_properties =
-    Sexp.List [
-      Sexp.Atom "sync_devices";
-      Sexp.List [
-        Sexp.Atom "device";
-        Sexp.List [
-          Sexp.List [Sexp.Atom "device_name"; Sexp.Atom "CPU"];
-          Sexp.List [Sexp.Atom "device_ordinal"; Sexp.Atom "0"];
-          Sexp.List [Sexp.Atom "threads"; Sexp.Atom "1"];
-        ]
+    Sexp.List
+      [
+        Sexp.Atom "sync_devices";
+        Sexp.List
+          [
+            Sexp.Atom "device";
+            Sexp.List
+              [
+                Sexp.List [ Sexp.Atom "device_name"; Sexp.Atom "CPU" ];
+                Sexp.List [ Sexp.Atom "device_ordinal"; Sexp.Atom "0" ];
+                Sexp.List [ Sexp.Atom "threads"; Sexp.Atom "1" ];
+              ];
+          ];
]
-    ]


(* let global_run_no = ref 0 *)
let schedule_task _stream task = Ir.Task.run task
File "arrayjit/lib/cuda_backend.ml", line 1, characters 0-0:
diff --git a/_build/default/arrayjit/lib/cuda_backend.ml b/_build/default/arrayjit/lib/.formatted/cuda_backend.ml
index dfee84c..248653f 100644
--- a/_build/default/arrayjit/lib/cuda_backend.ml
+++ b/_build/default/arrayjit/lib/.formatted/cuda_backend.ml
@@ -231,7 +231,8 @@ end) : Ir.Backend_impl.Lowered_backend = struct
let name_cu = name ^ ".cu" in
if Utils.settings.output_debug_files_in_build_directory then (
let build_file = Utils.open_build_file ~base_name:name ~extension:".cu" in
-      Stdio.Out_channel.output_string build_file.oc cu_src; (* Keep direct string output for source *)
+      Stdio.Out_channel.output_string build_file.oc cu_src;
+      (* Keep direct string output for source *)
build_file.finalize ());
[%log "compiling to PTX"];
let with_debug =
@@ -264,6 +265,7 @@ end) : Ir.Backend_impl.Lowered_backend = struct


let use_host_memory = None
let procs = Input.procs
+
let full_printf_support =
not @@ Bool.of_string
@@ Utils.get_global_arg ~default:"false" ~arg_name:"prefer_backend_uniformity"
@@ -286,7 +288,9 @@ end) : Ir.Backend_impl.Lowered_backend = struct


let binop_syntax prec v =
let open PPrint in
-      let f op_str v1 v2 = group (lparen ^^ v1 ^^ space ^^ string op_str ^^ space ^^ v2 ^^ rparen) in
+      let f op_str v1 v2 =
+        group (lparen ^^ v1 ^^ space ^^ string op_str ^^ space ^^ v2 ^^ rparen)
+      in
let func fn v1 v2 = group (string fn ^^ parens (separate comma_sep [ v1; v2 ])) in
match (v, prec) with
| Ops.Arg1, _ -> invalid_arg "Cuda_backend.binop_syntax: Arg1 is not an operator"
@@ -305,17 +309,45 @@ end) : Ir.Backend_impl.Lowered_backend = struct
| ToPowOf, Half_prec _ -> C_syntax.binop_adapter ("hexp2(hlog2(", "),", ")")
| ToPowOf, Byte_prec _ ->
invalid_arg "Cuda_backend.binop_syntax: ToPowOf not supported for byte/integer precisions"
-      | Relu_gate, Byte_prec _ -> fun v1 v2 -> group (parens (v1 ^^ string " > 0") ^^ string " ? " ^^ v2 ^^ string " : 0")
-      | Relu_gate, Half_prec _ -> fun v1 v2 -> group (parens (string "__hgt(" ^^ v1 ^^ comma ^^ string " __ushort_as_half((unsigned short)0x0000U))") ^^ string " ? " ^^ v2 ^^ string " : __ushort_as_half((unsigned short)0x0000U)")
-      | Relu_gate, _ -> fun v1 v2 -> group (parens (v1 ^^ string " > 0.0") ^^ string " ? " ^^ v2 ^^ string " : 0.0")
-      | Satur01_gate, Byte_prec _ -> fun v1 v2 ->
-          parens (parens (string "(float)" ^^ v1 ^^ string " > 0.0f && (float)" ^^ v1 ^^ string " < 1.0f") ^^ string " ? " ^^ v2 ^^ string " : (unsigned char)0")
-      | Satur01_gate, Half_prec _ -> fun v1 v2 ->
-          parens (parens (string "__hgt(" ^^ v1 ^^ comma ^^ string " __ushort_as_half((unsigned short)0x0000U)) && __hlt(" ^^ v1 ^^ comma ^^ string " __ushort_as_half((unsigned short)0x3C00U)))") ^^ string " ? " ^^ v2 ^^ string " : __ushort_as_half((unsigned short)0x0000U)")
-      | Satur01_gate, Single_prec _ -> fun v1 v2 ->
-          parens (parens (v1 ^^ string " > 0.0f && " ^^ v1 ^^ string " < 1.0f") ^^ string " ? " ^^ v2 ^^ string " : 0.0f")
-      | Satur01_gate, Double_prec _ -> fun v1 v2 ->
-          parens (parens (v1 ^^ string " > 0.0 && " ^^ v1 ^^ string " < 1.0") ^^ string " ? " ^^ v2 ^^ string " : 0.0")
+      | Relu_gate, Byte_prec _ ->
+          fun v1 v2 -> group (parens (v1 ^^ string " > 0") ^^ string " ? " ^^ v2 ^^ string " : 0")
+      | Relu_gate, Half_prec _ ->
+          fun v1 v2 ->
+            group
+              (parens
+                 (string "__hgt(" ^^ v1 ^^ comma
+                 ^^ string " __ushort_as_half((unsigned short)0x0000U))")
+              ^^ string " ? " ^^ v2
+              ^^ string " : __ushort_as_half((unsigned short)0x0000U)")
+      | Relu_gate, _ ->
+          fun v1 v2 ->
+            group (parens (v1 ^^ string " > 0.0") ^^ string " ? " ^^ v2 ^^ string " : 0.0")
+      | Satur01_gate, Byte_prec _ ->
+          fun v1 v2 ->
+            parens
+              (parens
+                 (string "(float)" ^^ v1 ^^ string " > 0.0f && (float)" ^^ v1 ^^ string " < 1.0f")
+              ^^ string " ? " ^^ v2 ^^ string " : (unsigned char)0")
+      | Satur01_gate, Half_prec _ ->
+          fun v1 v2 ->
+            parens
+              (parens
+                 (string "__hgt(" ^^ v1 ^^ comma
+                 ^^ string " __ushort_as_half((unsigned short)0x0000U)) && __hlt("
+                 ^^ v1 ^^ comma
+                 ^^ string " __ushort_as_half((unsigned short)0x3C00U)))")
+              ^^ string " ? " ^^ v2
+              ^^ string " : __ushort_as_half((unsigned short)0x0000U)")
+      | Satur01_gate, Single_prec _ ->
+          fun v1 v2 ->
+            parens
+              (parens (v1 ^^ string " > 0.0f && " ^^ v1 ^^ string " < 1.0f")
+              ^^ string " ? " ^^ v2 ^^ string " : 0.0f")
+      | Satur01_gate, Double_prec _ ->
+          fun v1 v2 ->
+            parens
+              (parens (v1 ^^ string " > 0.0 && " ^^ v1 ^^ string " < 1.0")
+              ^^ string " ? " ^^ v2 ^^ string " : 0.0")
| Max, Byte_prec _ -> func "max"
| Max, Half_prec _ -> func "__hmax"
| Max, Double_prec _ -> func "fmax"
@@ -382,7 +414,9 @@ end) : Ir.Backend_impl.Lowered_backend = struct
| Recip_sqrt, Double_prec _ -> f "(1.0 / sqrt(" "))"
| Recip_sqrt, _ -> f "(1.0 / sqrtf(" "))"
| Neg, _ -> f "(-(" "))"
-      | Tanh_approx, Byte_prec _ -> invalid_arg "Cuda_backend.unop_syntax: Tanh_approx not supported for byte/integer precisions"
+      | Tanh_approx, Byte_prec _ ->
+          invalid_arg
+            "Cuda_backend.unop_syntax: Tanh_approx not supported for byte/integer precisions"
| Tanh_approx, Half_prec _ -> func "htanh_approx"
| Tanh_approx, Single_prec _ -> func "__tanhf"
| Tanh_approx, _ -> func "tanh"
@@ -416,7 +450,8 @@ end) : Ir.Backend_impl.Lowered_backend = struct
let pp_log_statement ~log_param_c_expr_doc ~base_message_literal ~args_docs =
let open PPrint in
let format_string_literal =
-        !Utils.captured_log_prefix ^ "%d: " ^ String.substr_replace_all base_message_literal ~pattern:"\n" ~with_:"$"
+        !Utils.captured_log_prefix ^ "%d: "
+        ^ String.substr_replace_all base_message_literal ~pattern:"\n" ~with_:"$"
in
let all_args =
match log_param_c_expr_doc with
@@ -426,7 +461,9 @@ end) : Ir.Backend_impl.Lowered_backend = struct
group
(string "printf("
^^ dquotes (string format_string_literal)
-        ^^ comma ^^ space ^^ separate (comma ^^ space) all_args ^^ rparen ^^ semi)
+        ^^ comma ^^ space
+        ^^ separate (comma ^^ space) all_args
+        ^^ rparen ^^ semi)
end


let%diagn2_sexp compile ~name bindings ({ Low_level.traced_store; _ } as lowered) =
@@ -442,7 +479,8 @@ end) : Ir.Backend_impl.Lowered_backend = struct
let declarations_doc = Syntax.print_declarations () in
let params, proc_doc = Syntax.compile_proc ~name idx_params lowered in
let final_doc = PPrint.(declarations_doc ^^ proc_doc) in
-    PPrint.ToBuffer.pretty 1.0 110 b final_doc; (* Use ToBuffer *)
+    PPrint.ToBuffer.pretty 1.0 110 b final_doc;
+    (* Use ToBuffer *)
let ptx = cuda_to_ptx ~name (Buffer.contents b) in
{ traced_store; ptx; params; bindings; name }


@@ -453,11 +491,11 @@ end) : Ir.Backend_impl.Lowered_backend = struct
let idx_params = Indexing.bound_symbols bindings in
let b = Buffer.create 4096 in
let declarations_doc = Syntax.print_declarations () in
-    let params_and_docs =
+    let params_and_docs =
Array.map2_exn names lowereds
~f:
(Option.map2 ~f:(fun name lowered ->
-               let params, doc = Syntax.compile_proc ~name idx_params lowered in
+               let params, doc = Syntax.compile_proc ~name idx_params lowered in
((params, name), doc)))
in
let all_proc_docs = List.filter_map (Array.to_list params_and_docs) ~f:(Option.map ~f:snd) in
@@ -532,7 +570,7 @@ end) : Ir.Backend_impl.Lowered_backend = struct
[%log "launching the kernel"];
(* Stdio.printf "launching %s\n" name; *)
(if Utils.debug_log_from_routines () then
-        (* FIXME: this needs to use Utils.log_debug_routine_logs. *)
+         (* FIXME: this needs to use Utils.log_debug_routine_logs. *)
Utils.add_log_processor ~prefix:log_id_prefix @@ fun _output ->
[%log_block
runner_label;
@@ -590,27 +628,28 @@ end) : Ir.Backend_impl.Lowered_backend = struct
[ ("live_streams", [%sexp_of: int] @@ Cu.Stream.get_total_live_streams ()) ]


let static_properties =
-    let device_properties =
+    let device_properties =
Array.init (num_devices ()) ~f:(fun ordinal ->
-        let dev = Cu.Device.get ~ordinal in
-        let attributes = Cu.Device.get_attributes dev in
-        let props = [
-          ("device_name", Sexp.Atom (Cu.Device.get_name dev));
-          ("device_ordinal", [%sexp_of: int] ordinal);
-          ("multiprocessor_count", [%sexp_of: int] attributes.multiprocessor_count);
-          ("total_global_memory", [%sexp_of: int] (Cu.Device.get_total_memory dev));
-          ("clock_rate", [%sexp_of: int] attributes.clock_rate);
-          ("async_engine_count", [%sexp_of: int] attributes.async_engine_count);
-          ("compute_capability_major", [%sexp_of: int] attributes.compute_capability_major);
-          ("compute_capability_minor", [%sexp_of: int] attributes.compute_capability_minor);
-          ("max_threads_per_block", [%sexp_of: int] attributes.max_threads_per_block);
-          ("unified_addressing", [%sexp_of: bool] attributes.unified_addressing);
-        ] in
-        Sexp.List [Sexp.Atom "device"; Sexp.List props]
-      )
+          let dev = Cu.Device.get ~ordinal in
+          let attributes = Cu.Device.get_attributes dev in
+          let props =
+            [
+              ("device_name", Sexp.Atom (Cu.Device.get_name dev));
+              ("device_ordinal", [%sexp_of: int] ordinal);
+              ("multiprocessor_count", [%sexp_of: int] attributes.multiprocessor_count);
+              ("total_global_memory", [%sexp_of: int] (Cu.Device.get_total_memory dev));
+              ("clock_rate", [%sexp_of: int] attributes.clock_rate);
+              ("async_engine_count", [%sexp_of: int] attributes.async_engine_count);
+              ("compute_capability_major", [%sexp_of: int] attributes.compute_capability_major);
+              ("compute_capability_minor", [%sexp_of: int] attributes.compute_capability_minor);
+              ("max_threads_per_block", [%sexp_of: int] attributes.max_threads_per_block);
+              ("unified_addressing", [%sexp_of: bool] attributes.unified_addressing);
+            ]
+          in
+          Sexp.List [ Sexp.Atom "device"; Sexp.List props ])
in
Sexp.List (Sexp.Atom "cuda_devices" :: device_properties)
-
+
let get_debug_info (stream : stream) =
let tot, unr, unf = Cu.Stream.total_unreleased_unfinished_delimited_events stream.runner in
let i2s = [%sexp_of: int] in
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-05-19 16:34.37: Job failed: Failed: Build failed