ocamlformat

c-cube · c-cube · commit cad41d70d674 · 2024-12-13T00:17:53.000-05:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -68,7 +68,7 @@ jobs:
     strategy:
       matrix:
         ocaml-compiler:
-            - '5.1'
+            - '5.2'
     runs-on: 'ubuntu-latest'
     steps:
       - uses: actions/checkout@main
@@ -79,6 +79,6 @@ jobs:
           dune-cache: true
           allow-prerelease-opam: true
 
-      - run: opam install ocamlformat.0.24.1
+      - run: opam install ocamlformat.0.26.2
       - run: opam exec -- make format-check
 
diff --git a/.ocamlformat b/.ocamlformat
@@ -1,4 +1,4 @@
-version = 0.24.1
+version = 0.26.2
 profile=conventional
 margin=80
 if-then-else=k-r
diff --git a/src/core/CCHash.ml b/src/core/CCHash.ml
@@ -77,9 +77,9 @@ let int = hash_int_
 let bool b =
   hash_int_
     (if b then
-      1
-    else
-      2)
+       1
+     else
+       2)
 
 let char x = hash_int_ (Char.code x)
 
diff --git a/src/core/CCList.mli b/src/core/CCList.mli
@@ -248,7 +248,7 @@ val partition_map :
   ('a -> [< `Left of 'b | `Right of 'c | `Drop ]) ->
   'a list ->
   'b list * 'c list
-  [@@ocaml.deprecated "use CCList.partition_filter_map instead"]
+[@@ocaml.deprecated "use CCList.partition_filter_map instead"]
 (** @deprecated use {!partition_filter_map} instead
     @since 0.11 *)
 
diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli
@@ -281,7 +281,7 @@ val partition_map :
   f:('a -> [< `Left of 'b | `Right of 'c | `Drop ]) ->
   'a list ->
   'b list * 'c list
-  [@@ocaml.deprecated "use CCList.partition_filter_map instead"]
+[@@ocaml.deprecated "use CCList.partition_filter_map instead"]
 (** @deprecated use {!partition_filter_map} instead *)
 
 val group_by : ?hash:('a -> int) -> ?eq:('a -> 'a -> bool) -> 'a t -> 'a list t
diff --git a/src/core/CCOption.mli b/src/core/CCOption.mli
@@ -107,7 +107,7 @@ val value : 'a t -> default:'a -> 'a
     @since 2.8 *)
 
 val get_exn : 'a t -> 'a
-  [@@ocaml.deprecated "use CCOption.get_exn_or instead"]
+[@@ocaml.deprecated "use CCOption.get_exn_or instead"]
 (** [get_exn o] returns [x] if [o] is [Some x] or fails if [o] is [None].
     @raise Invalid_argument if the option is [None].
     @deprecated use {!get_exn_or} instead
diff --git a/src/core/CCOrd.mli b/src/core/CCOrd.mli
@@ -13,7 +13,7 @@ val poly : 'a t
     @since 3.6 *)
 
 val compare : 'a t
-  [@@deprecated "use CCOrd.poly instead, this name is too general"]
+[@@deprecated "use CCOrd.poly instead, this name is too general"]
 (** Polymorphic "magic" comparison.
     @deprecated since 3.6 in favor of {!poly}. The reason is that
     [compare] is easily shadowed, can shadow other comparators, and is just
diff --git a/src/core/CCParse.mli b/src/core/CCParse.mli
@@ -404,7 +404,7 @@ val optional : _ t -> unit t
     @since 3.6 *)
 
 val try_ : 'a t -> 'a t
-  [@@deprecated "plays no role anymore, just replace [try foo] with [foo]"]
+[@@deprecated "plays no role anymore, just replace [try foo] with [foo]"]
 (** [try_ p] is just like [p] (it used to play a role in backtracking
     semantics but no more).
 
diff --git a/src/core/CCVector.ml b/src/core/CCVector.ml
@@ -498,7 +498,7 @@ let find_internal_i_ p v =
     else (
       let x = v.vec.(i) in
       if p x then
-        i,x
+        i, x
       else
         check (i + 1)
     )
diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml
@@ -407,9 +407,9 @@ let pp out bv =
   iter bv (fun _i b ->
       Format.pp_print_char out
         (if b then
-          '1'
-        else
-          '0'));
+           '1'
+         else
+           '0'));
   Format.pp_print_string out "}"
 
 module Internal_ = struct
diff --git a/src/data/CCHashTrie.ml b/src/data/CCHashTrie.ml
@@ -199,8 +199,8 @@ module A_SPARSE = struct
       arr.(real_idx) <- x;
       if real_idx > 0 then Array.blit a.arr 0 arr 0 real_idx;
       (if real_idx < n then
-        let open Stdlib in
-        Array.blit a.arr real_idx arr (real_idx + 1) (n - real_idx));
+         let open Stdlib in
+         Array.blit a.arr real_idx arr (real_idx + 1) (n - real_idx));
       { a with bits; arr }
     ) else if (* replace element at [real_idx] *)
               mut then (
@@ -230,8 +230,8 @@ module A_SPARSE = struct
       let arr = Array.make Stdlib.(n + 1) x in
       if real_idx > 0 then Array.blit a.arr 0 arr 0 real_idx;
       (if real_idx < n then
-        let open Stdlib in
-        Array.blit a.arr real_idx arr (real_idx + 1) (n - real_idx));
+         let open Stdlib in
+         Array.blit a.arr real_idx arr (real_idx + 1) (n - real_idx));
       { a with bits; arr }
     ) else (
       let x = f a.arr.(real_idx) in
diff --git a/src/data/CCKTree.ml b/src/data/CCKTree.ml
@@ -66,11 +66,10 @@ let rec cut_depth n t () =
 (** {2 Graph Traversals} *)
 
 (** Abstract Set structure *)
-class type ['a] pset =
-  object
-    method add : 'a -> 'a pset
-    method mem : 'a -> bool
-  end
+class type ['a] pset = object
+  method add : 'a -> 'a pset
+  method mem : 'a -> bool
+end
 
 let set_of_cmp (type elt) ~cmp () =
   let module S = Set.Make (struct
diff --git a/src/data/CCKTree.mli b/src/data/CCKTree.mli
@@ -49,11 +49,10 @@ val cut_depth : int -> 'a t -> 'a t
 (** {2 Graph Traversals} *)
 
 (** Abstract Set structure *)
-class type ['a] pset =
-  object
-    method add : 'a -> 'a pset
-    method mem : 'a -> bool
-  end
+class type ['a] pset = object
+  method add : 'a -> 'a pset
+  method mem : 'a -> bool
+end
 
 val set_of_cmp : cmp:('a -> 'a -> int) -> unit -> 'a pset
 (** Build a set structure given a total ordering. *)
diff --git a/src/data/CCPersistentHashtbl.ml b/src/data/CCPersistentHashtbl.ml
@@ -295,9 +295,9 @@ module Make (H : HashedType) : S with type key = H.t = struct
           {
             length =
               (if is_new then
-                t.length + 1
-              else
-                t.length);
+                 t.length + 1
+               else
+                 t.length);
             arr = Arr a;
           }
         in
diff --git a/src/data/CCTrie.ml b/src/data/CCTrie.ml
@@ -225,12 +225,12 @@ module Make (W : WORD) : S with type char_ = W.char_ and type key = W.t = struct
           let rebuild' new_child =
             rebuild
               (if is_empty new_child then
-                t
-              else (
-                let map = M.singleton c new_child in
-                let map = M.add c' t' map in
-                _mk_node None map
-              ))
+                 t
+               else (
+                 let map = M.singleton c new_child in
+                 let map = M.add c' t' map in
+                 _mk_node None map
+               ))
           in
           empty, rebuild'
         )
@@ -242,9 +242,9 @@ module Make (W : WORD) : S with type char_ = W.char_ and type key = W.t = struct
            let rebuild' new_child =
              rebuild
                (if is_empty new_child then
-                 _mk_node value (M.remove c map)
-               else
-                 _mk_node value (M.add c new_child map))
+                  _mk_node value (M.remove c map)
+                else
+                  _mk_node value (M.add c new_child map))
            in
            t', rebuild'
          with Not_found ->
diff --git a/src/monomorphic/CCMonomorphic.mli b/src/monomorphic/CCMonomorphic.mli
@@ -37,9 +37,8 @@ val ( >=. ) : float -> float -> bool
 (** {2 Shadow Dangerous Operators} *)
 
 val ( == ) : [ `Consider_using_CCEqual_physical ]
-  [@@ocaml.deprecated "Please use CCEqual.physical or Stdlib.(==) instead."]
+[@@ocaml.deprecated "Please use CCEqual.physical or Stdlib.(==) instead."]
 
 val ( != ) : [ `Consider_using_CCEqual_physical ]
-  [@@ocaml.deprecated
-    "Please use [not CCEqual.physical] or Stdlib.(!=) instead."]
+[@@ocaml.deprecated "Please use [not CCEqual.physical] or Stdlib.(!=) instead."]
 (** @since 2.1 *)
diff --git a/src/pp/containers_pp.ml b/src/pp/containers_pp.ml
@@ -455,9 +455,9 @@ let of_seq ?(sep = nil) f seq : t =
     | Seq.Cons (x, tl) ->
       let x = f x in
       (if first then
-        x
-      else
-        sep ^ x)
+         x
+       else
+         sep ^ x)
       ^ loop false tl
   in
   loop true seq
diff --git a/tests/core/t_cbor.ml b/tests/core/t_cbor.ml
@@ -61,9 +61,9 @@ let gen_c : Cbor.t Q.Gen.t =
   in
   frequency
     (if size > 0 then
-      base @ rec_
-    else
-      base)
+       base @ rec_
+     else
+       base)
 
 let rec shrink (c : Cbor.t) : Cbor.t Q.Iter.t =
   let open Q.Iter in
diff --git a/tests/core/t_sexp.ml b/tests/core/t_sexp.ml
@@ -183,10 +183,11 @@ let arb_csexp_arb =
   let genstr = Q.Gen.(string_size ~gen:genchar (0 -- 15)) in
   Q.make ~print:Sexp0.to_string ~shrink:shrink_csexp (gen_csexp genstr)
 
-module Make (X : sig
-  val arb : Csexp.t Q.arbitrary
-end)
-() =
+module Make
+    (X : sig
+      val arb : Csexp.t Q.arbitrary
+    end)
+    () =
 struct
   open X;;
 
diff --git a/tests/core/t_string.ml b/tests/core/t_string.ml
@@ -162,9 +162,9 @@ q
     let e = edit_distance s1 s2 in
     let e' = edit_distance ~cutoff:3 s1 s2 in
     (if e' < 3 then
-      e = e'
-    else
-      e >= 3)
+       e = e'
+     else
+       e >= 3)
     &&
     if e <= 3 then
       e = e'
diff --git a/tests/core/t_utf8string.ml b/tests/core/t_utf8string.ml
@@ -26,8 +26,8 @@ let arb_uchar =
   let rec gen =
     lazy
       (let open Q.Gen in
-      Q.Gen.int_range Uchar.(to_int min) Uchar.(to_int max) >>= fun n ->
-      try return (Uchar.of_int n) with _ -> Lazy.force gen)
+       Q.Gen.int_range Uchar.(to_int min) Uchar.(to_int max) >>= fun n ->
+       try return (Uchar.of_int n) with _ -> Lazy.force gen)
   in
   Q.make
     ~print:(fun c -> Printf.sprintf "<uchar '%d'>" (Uchar.to_int c))
diff --git a/tests/data/t_bv.ml b/tests/data/t_bv.ml
@@ -640,9 +640,9 @@ module Op = struct
     @@ List.flatten
          [
            (if size > 0 then
-             nonzero
-           else
-             []);
+              nonzero
+            else
+              []);
            [
              1, return Clear;
              1, return Clear_and_shrink;
@@ -747,16 +747,16 @@ module Ref_ = struct
     | Set_bool (i, b) ->
       apply_op self
         (if b then
-          Set i
-        else
-          Reset i)
+           Set i
+         else
+           Reset i)
     | Flip i ->
       self.size <- max self.size (i + 1);
       apply_op self
         (if Intset.mem i self.set then
-          Reset i
-        else
-          Set i)
+           Reset i
+         else
+           Set i)
     | Clear -> self.set <- Intset.empty
     | Clear_and_shrink ->
       self.set <- Intset.empty;
diff --git a/tests/data/t_fun_vec.ml b/tests/data/t_fun_vec.ml
@@ -173,12 +173,12 @@ module Op = struct
                    1, return (Check_to_gen, size);
                  ];
                  (if size > 0 then
-                   [
-                     1, return (Pop, size - 1);
-                     (1, 0 -- (size - 1) >|= fun x -> Check_get x, size);
-                   ]
-                 else
-                   []);
+                    [
+                      1, return (Pop, size - 1);
+                      (1, 0 -- (size - 1) >|= fun x -> Check_get x, size);
+                    ]
+                  else
+                    []);
                  [
                    ( 1,
                      small_list gen_x >|= fun l ->
diff --git a/tests/data/t_persistenthashtbl.ml b/tests/data/t_persistenthashtbl.ml
@@ -108,15 +108,14 @@ let t1 = H.of_list [ 1, "a"; 2, "b1" ] in
 let t2 = H.of_list [ 2, "b2"; 3, "c" ] in
 let t =
   H.merge
-    ~f:
-      (fun _ -> function
-        | `Right v2 -> Some v2
-        | `Left v1 -> Some v1
-        | `Both (s1, s2) ->
-          if s1 < s2 then
-            Some s1
-          else
-            Some s2)
+    ~f:(fun _ -> function
+      | `Right v2 -> Some v2
+      | `Left v1 -> Some v1
+      | `Both (s1, s2) ->
+        if s1 < s2 then
+          Some s1
+        else
+          Some s2)
     t1 t2
 in
 assert_equal ~printer:string_of_int 3 (H.length t);
diff --git a/tests/data/t_trie.ml b/tests/data/t_trie.ml
@@ -118,9 +118,9 @@ let rec sorted ~rev = function
   | [] | [ _ ] -> true
   | x :: (y :: _ as tl) ->
     (if rev then
-      x >= y
-    else
-      x <= y)
+       x >= y
+     else
+       x <= y)
     && sorted ~rev tl
 
 let gen_str = Q.small_printable_string;;
diff --git a/tests/pvec/t_pvec.ml b/tests/pvec/t_pvec.ml
@@ -242,12 +242,12 @@ module Op = struct
                    1, return (Check_rev_iter, size);
                  ];
                  (if size > 0 then
-                   [
-                     1, return (Pop, size - 1);
-                     (1, 0 -- (size - 1) >|= fun x -> Check_get x, size);
-                   ]
-                 else
-                   []);
+                    [
+                      1, return (Pop, size - 1);
+                      (1, 0 -- (size - 1) >|= fun x -> Check_get x, size);
+                    ]
+                  else
+                    []);
                  [
                    ( 1,
                      small_list gen_x >|= fun l ->

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-version = 0.24.1`
	`1`	`+version = 0.26.2`
`2`	`2`	`profile=conventional`
`3`	`3`	`margin=80`
`4`	`4`	`if-then-else=k-r`
Original file line number	Diff line number	Diff line change
`@@ -498,7 +498,7 @@ let find_internal_i_ p v =`
`498`	`498`	`else (`
`499`	`499`	`let x = v.vec.(i) in`
`500`	`500`	`if p x then`
`501`		`- i,x`
	`501`	`+ i, x`
`502`	`502`	`else`
`503`	`503`	`check (i + 1)`
`504`	`504`	`)`