Print trivia before and after with keyword

src/Fantomas.Tests/PatternMatchingTests.fs

@@ -492,4 +492,77 @@ let f x =
     | C -> None
 
     | _ -> None
+"""
+
+[<Test>]
+let ``very long match clause with many lambdas`` () =
+    formatSourceString false """
+let MethInfoIsUnseen g m ty minfo =
+    let isUnseenByObsoleteAttrib () =
+        match BindMethInfoAttributes m minfo
+                (fun ilAttribs -> Some foo)
+                (fun fsAttribs -> Some bar)
+                (fun provAttribs -> Some(CheckProvidedAttributesForUnseen provAttribs m))
+                (fun _provAttribs -> None)
+                    with
+        | Some res -> res
+        | None -> false
+
+    ()
+"""  config
+    |> prepend newline
+    |> should equal """
+let MethInfoIsUnseen g m ty minfo =
+    let isUnseenByObsoleteAttrib () =
+        match BindMethInfoAttributes
+                  m
+                  minfo
+                  (fun ilAttribs -> Some foo)
+                  (fun fsAttribs -> Some bar)
+                  (fun provAttribs -> Some(CheckProvidedAttributesForUnseen provAttribs m))
+                  (fun _provAttribs -> None) with
+        | Some res -> res
+        | None -> false
+
+    ()
+"""
+
+[<Test>]
+let ``very long match clause with many lambdas mixed with defines, 976`` () =
+    formatSourceString false """
+let MethInfoIsUnseen g m ty minfo =
+    let isUnseenByObsoleteAttrib () =
+        match BindMethInfoAttributes m minfo
+                (fun ilAttribs -> Some foo)
+                (fun fsAttribs -> Some bar)
+#if !NO_EXTENSIONTYPING
+                (fun provAttribs -> Some(CheckProvidedAttributesForUnseen provAttribs m))
+#else
+                (fun _provAttribs -> None)
+#endif
+                    with
+        | Some res -> res
+        | None -> false
+
+    ()
+"""  config
+    |> prepend newline
+    |> should equal """
+let MethInfoIsUnseen g m ty minfo =
+    let isUnseenByObsoleteAttrib () =
+        match BindMethInfoAttributes
+                  m
+                  minfo
+                  (fun ilAttribs -> Some foo)
+                  (fun fsAttribs -> Some bar)
+#if !NO_EXTENSIONTYPING
+                  (fun provAttribs -> Some(CheckProvidedAttributesForUnseen provAttribs m))
+#else
+                  (fun _provAttribs -> None)
+#endif
+              with
+        | Some res -> res
+        | None -> false
+
+    ()
 """

src/Fantomas/CodePrinter.fs

@@ -1290,7 +1290,15 @@ and genExpr astContext synExpr =
              +> autoIndentAndNlnIfExpressionExceedsPageWidth (genExpr astContext e))
     | MatchLambda(sp, _) -> !- "function " +> colPre sepNln sepNln sp (genClause astContext true)
     | Match(e, cs) ->
-        atCurrentColumn (!- "match " +> genExpr astContext e -- " with" +> colPre sepNln sepNln cs (genClause astContext true))
+        atCurrentColumn
+            (!- "match "
+             +> genExpr astContext e
+             +> enterNodeTokenByName synExpr.Range "WITH"
+             // indent 'with' further if trivia was printed so that is appear after the match keyword.
+             +> ifElseCtx lastWriteEventIsNewline (rep 5 !- " ") sepNone
+             -- " with"
+             +> leaveNodeTokenByName synExpr.Range "WITH"
+             +> colPre sepNln sepNln cs (genClause astContext true))
     | MatchBang(e, cs) ->
         atCurrentColumn (!- "match! " +> genExpr astContext e -- " with" +> colPre sepNln sepNln cs (genClause astContext true))
     | TraitCall(tps, msg, e) ->
@@ -1511,14 +1519,21 @@ and genExpr astContext synExpr =
                     +> genExpr astContext e
                     +> unindent))))
 
+        let hasThreeOrMoreLamdbas =
+            List.filter (function
+                | Paren (Lambda (_)) -> true
+                | _ -> false) es
+            |> List.length
+            |> fun l -> l >= 3
+
         if List.exists (function
             | Lambda _
             | MatchLambda _
             | Paren (Lambda (_))
             | Paren (MatchLambda (_))
             | MultilineString _
             | CompExpr _ -> true
-            | _ -> false) es then
+            | _ -> false) es && not hasThreeOrMoreLamdbas then
             shortExpression
         else
             expressionFitsOnRestOfLine shortExpression longExpression