Un-indent comment after fun

CHANGES.md

@@ -30,6 +30,7 @@ profile. This started with version 0.26.0.
 - \* Undo let-bindings normalizations (#2523, @gpetiot)
 - \* Undo method parameters normalizations (#2529, @gpetiot)
 - \* The `break-colon` option is now taken into account for method type constraints (#2529, @gpetiot)
+- Improve indentation of comments after a `fun` (#2592, @Julow)
 
 ### Fixed
 

lib/Fmt_ast.ml

@@ -1608,7 +1608,7 @@ and fmt_function ?(last_arg = false) ?force_closing_paren ~ctx ~ctx0
     body ~pro $ cls_paren
   in
   let box k = if should_box then box k else k in
-  box (disambiguate_parens_wrap body $ Cmts.fmt_after c loc)
+  box (disambiguate_parens_wrap body) $ Cmts.fmt_after c loc
 
 and fmt_label_arg ?(box = true) ?eol c (lbl, ({ast= arg; _} as xarg)) =
   match (lbl, arg.pexp_desc) with

test/passing/tests/js_source.ml

@@ -8233,3 +8233,11 @@ let exists t key =
 
 let _ = if x then 42 (* dummy *) else y
 let _ = if x then 42 (* dummy *) else if y then z else w
+
+let _ =
+  if x
+  then
+    fun _ -> true
+    (* foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo *)
+  else f
+;;

test/passing/tests/js_source.ml.ocp

@@ -10522,3 +10522,11 @@ let exists t key =
 
 let _ = if x then 42 (* dummy *) else y
 let _ = if x then 42 (* dummy *) else if y then z else w
+
+let _ =
+  if x
+  then
+    fun _ -> true
+    (* foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo *)
+  else f
+;;

test/passing/tests/js_source.ml.ref

@@ -1334,7 +1334,7 @@ let ty_list : type a e. (a, e) ty -> (a vlist, e) ty =
               | Thd, Noarg -> `Nil
               | Ttl Thd, v -> `Cons v
               : (noarg -> a * a vlist -> unit, c) ty_sel * c -> a vlist))
-             (* One can also write the type annotation directly *)
+           (* One can also write the type annotation directly *)
        })
 ;;
 
@@ -10522,3 +10522,11 @@ let exists t key =
 
 let _ = if x then 42 (* dummy *) else y
 let _ = if x then 42 (* dummy *) else if y then z else w
+
+let _ =
+  if x
+  then
+    fun _ -> true
+    (* foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo *)
+  else f
+;;

test/passing/tests/source-conventional.ml.ref

@@ -1230,7 +1230,7 @@ let ty_list : type a e. (a, e) ty -> (a vlist, e) ty =
            (fun (type c) ->
              (function Thd, Noarg -> `Nil | Ttl Thd, v -> `Cons v
                : (noarg -> a * a vlist -> unit, c) ty_sel * c -> a vlist))
-             (* One can also write the type annotation directly *);
+           (* One can also write the type annotation directly *);
        })
 
 let v = variantize Enil (ty_list Int) (`Cons (1, `Cons (2, `Nil)))

test/passing/tests/source.ml.ref

@@ -1350,7 +1350,7 @@ let ty_list : type a e. (a, e) ty -> (a vlist, e) ty =
            (fun (type c) ->
              ( function Thd, Noarg -> `Nil | Ttl Thd, v -> `Cons v
                : (noarg -> a * a vlist -> unit, c) ty_sel * c -> a vlist ) )
-             (* One can also write the type annotation directly *) } )
+           (* One can also write the type annotation directly *) } )
 
 let v = variantize Enil (ty_list Int) (`Cons (1, `Cons (2, `Nil)))