unsecable space

Author: EmileTrotignon

lib/Fmt_ast.ml

@@ -2916,11 +2916,14 @@ and fmt_expression c ?(box = true) ?(pro = noop) ?eol ?parens
       $ fmt_atrs
 
 and fmt_lazy c ~ctx ?(pro = noop) ~fmt_atrs ~ext ~parens e =
-  let lazy_ = str "lazy" $ fmt_extension_suffix c ext $ space_break in
+  let lazy_ = str "lazy" $ fmt_extension_suffix c ext in
   let kw_outer, kw_inner =
     match e.pexp_desc with
-    | Pexp_beginend _ -> (noop, lazy_)
-    | _ -> (lazy_, noop)
+    | Pexp_beginend _ ->
+        (* having an unbreakable space is useful for [lazy begin fun ...]
+           when the function has a long list of arguments. *)
+        (noop, lazy_ $ str " ")
+    | _ -> (lazy_ $ space_break, noop)
   in
   pro
   $ hvbox 2

test/passing/refs.default/exp_grouping-parens.ml.ref

@@ -411,3 +411,9 @@ let _ =
     | A ->
         print_endline xxxxxxxxx;
         f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz)
+
+let _ =
+  lazy
+    (fun xxxxxxxxxxxxxxxxxxxxxxx yyyyyyyyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzzzzz ->
+      print_endline xxxxxxxxx;
+      f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz)

test/passing/refs.default/exp_grouping.ml.ref

@@ -476,3 +476,12 @@ let _ =
       print_endline xxxxxxxxx;
       f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
   end
+
+let _ =
+  lazy begin fun xxxxxxxxxxxxxxxxxxxxxxx
+    yyyyyyyyyyyyyyyyyyy
+    zzzzzzzzzzzzzzzzzzzzzzzz
+  ->
+    print_endline xxxxxxxxx;
+    f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
+  end

test/passing/refs.janestreet/exp_grouping-parens.ml.ref

@@ -470,3 +470,10 @@ let _ =
        print_endline xxxxxxxxx;
        f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz)
 ;;
+
+let _ =
+  lazy
+    (fun xxxxxxxxxxxxxxxxxxxxxxx yyyyyyyyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzzzzz ->
+      print_endline xxxxxxxxx;
+      f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz)
+;;

test/passing/refs.janestreet/exp_grouping.ml.ref

@@ -552,3 +552,10 @@ let _ =
     f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
   end
 ;;
+
+let _ =
+  lazy begin fun xxxxxxxxxxxxxxxxxxxxxxx yyyyyyyyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzzzzz ->
+    print_endline xxxxxxxxx;
+    f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
+  end
+;;

test/passing/refs.ocamlformat/exp_grouping-parens.ml.ref

@@ -403,3 +403,9 @@ let _ =
     | A ->
         print_endline xxxxxxxxx ;
         f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz )
+
+let _ =
+  lazy
+    (fun xxxxxxxxxxxxxxxxxxxxxxx yyyyyyyyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzzzzz ->
+      print_endline xxxxxxxxx ;
+      f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz )

test/passing/refs.ocamlformat/exp_grouping.ml.ref

@@ -469,3 +469,12 @@ let _ =
       print_endline xxxxxxxxx ;
       f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
   end
+
+let _ =
+  lazy begin fun xxxxxxxxxxxxxxxxxxxxxxx
+    yyyyyyyyyyyyyyyyyyy
+    zzzzzzzzzzzzzzzzzzzzzzzz
+  ->
+    print_endline xxxxxxxxx ;
+    f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
+  end

test/passing/tests/exp_grouping.ml

@@ -360,3 +360,9 @@ let _ =
     print_endline xxxxxxxxx;
     f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
   end
+
+let _ =
+  lazy begin fun xxxxxxxxxxxxxxxxxxxxxxx yyyyyyyyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzzzzz ->
+    print_endline xxxxxxxxx;
+    f xxxxxxxxxx yyyyyyyyyyyyy zzzzzzzzzzzzzzzzzzzzz
+  end