format

Author: d-kalinichenko

testsuite/tests/parsetree/source_jane_street.ml

@@ -445,20 +445,19 @@ let f ~(x1 @ many)
 
 [%%expect{|
 val f :
-  ('b : value_or_null) ('c : value_or_null) ('d : value_or_null) 'e.
-    x1:'b ->
-    x2:local_ string -> local_
-    (x3:local_ (string -> string) ->
-     x4:local_ ('a. 'a -> 'a) ->
-     x5:local_ 'c ->
-     x6:local_ bool ->
-     x7:local_ bool ->
-     x8:local_ unit ->
-     string ->
-     local_ 'd -> local_
-     'b * string * (string -> string) * ('e -> 'e) * 'c * string * string *
-     int array * string * (int -> local_ (int -> int) @ unyielding) *
-     (int -> local_ (int -> int) @ unyielding) @ contended) @ unyielding =
+  x1:'b ->
+  x2:local_ string -> local_
+  (x3:local_ (string -> string) ->
+   x4:local_ ('a. 'a -> 'a) ->
+   x5:local_ 'c ->
+   x6:local_ bool ->
+   x7:local_ bool ->
+   x8:local_ unit ->
+   string ->
+   local_ 'd -> local_
+   'b * string * (string -> string) * ('e -> 'e) * 'c * string * string *
+   int array * string * (int -> local_ (int -> int) @ unyielding) *
+   (int -> local_ (int -> int) @ unyielding) @ contended) @ unyielding =
   <fun>
 |}, Principal{|
 val f :

typing/typemode.ml

@@ -100,14 +100,15 @@ let transl_modifier_annots annots =
   let modifiers = List.fold_left step empty_modifiers annots in
   (* Since [yielding] is the default mode in presence of [local],
      the [global] modifier must also apply [unyielding] unless specified. *)
-  match Opt_axis_collection.get ~axis:(Modal Yielding) modifiers,
-    Opt_axis_collection.get ~axis:(Modal Locality) modifiers with
+  match
+    ( Opt_axis_collection.get ~axis:(Modal Yielding) modifiers,
+      Opt_axis_collection.get ~axis:(Modal Locality) modifiers )
+  with
   | None, Some Global ->
-    Opt_axis_collection.set ~axis:(Modal Yielding)
-      modifiers (Some Yielding.Const.Unyielding)
+    Opt_axis_collection.set ~axis:(Modal Yielding) modifiers
+      (Some Yielding.Const.Unyielding)
   | _, _ -> modifiers
 
-
 let default_mode_annots (annots : Alloc.Const.Option.t) =
   (* Unlike all other modes, [yielding] has a different default
      depending on whether [areality] is [Global] or [Local]. *)