Don't blow the stack when traversing deeply nested sequential expressions

docs/release-notes/.FSharp.Compiler.Service/8.0.300.md

@@ -1,5 +1,6 @@
 ### Fixed
 
+* Don't blow the stack when traversing deeply nested sequential expressions. ([PR #16882](https://github.com/dotnet/fsharp/pull/16882))
 * Fix wrong range start of INTERP_STRING_END. ([PR #16774](https://github.com/dotnet/fsharp/pull/16774), [PR #16785](https://github.com/dotnet/fsharp/pull/16785))
 * Fix missing warning for recursive calls in list comprehensions. ([PR #16652](https://github.com/dotnet/fsharp/pull/16652))
 * Code generated files with > 64K methods and generated symbols crash when loaded. Use infered sequence points for debugging. ([Issue #16399](https://github.com/dotnet/fsharp/issues/16399), [#PR 16514](https://github.com/dotnet/fsharp/pull/16514))

src/Compiler/Service/ServiceParseTreeWalk.fs

@@ -379,6 +379,31 @@ module SyntaxTraversal =
         and traverseSynExpr origPath (expr: SynExpr) =
             let pick = pick expr.Range
 
+            /// Sequential expressions are more likely than
+            /// most other expression kinds to be deeply nested,
+            /// e.g., in very large list or array expressions.
+            /// We treat them specially to avoid blowing the stack,
+            /// since traverseSynExpr itself is not tail-recursive.
+            let rec traverseSequentials path expr =
+                seq {
+                    match expr with
+                    | SynExpr.Sequential(expr1 = expr1; expr2 = SynExpr.Sequential _ as expr2) ->
+                        // It's a nested sequential expression.
+                        // Visit it, but make defaultTraverse do nothing,
+                        // since we're going to traverse its descendants ourselves.
+                        yield dive expr expr.Range (fun expr -> visitor.VisitExpr(path, traverseSynExpr path, (fun _ -> None), expr))
+
+                        // Now traverse its descendants.
+                        let path = SyntaxNode.SynExpr expr :: path
+                        yield dive expr1 expr1.Range (traverseSynExpr path)
+                        yield! traverseSequentials path expr2
+
+                    | _ ->
+                        // It's not a nested sequential expression.
+                        // Traverse it normally.
+                        yield dive expr expr.Range (traverseSynExpr path)
+                }
+
             let defaultTraverse e =
                 let path = SyntaxNode.SynExpr e :: origPath
                 let traverseSynExpr = traverseSynExpr path
@@ -680,11 +705,19 @@ module SyntaxTraversal =
                     ]
                     |> pick expr
 
+                // Nested sequentials.
+                | SynExpr.Sequential(expr1 = synExpr1; expr2 = synExpr2 & SynExpr.Sequential _) ->
+                    [
+                        dive synExpr1 synExpr1.Range traverseSynExpr
+                        yield! traverseSequentials path synExpr2
+                    ]
+                    |> pick expr
+
+                | SynExpr.Sequential(expr1 = synExpr1; expr2 = synExpr2)
                 | SynExpr.Set(targetExpr = synExpr1; rhsExpr = synExpr2)
                 | SynExpr.DotSet(targetExpr = synExpr1; rhsExpr = synExpr2)
                 | SynExpr.TryFinally(tryExpr = synExpr1; finallyExpr = synExpr2)
                 | SynExpr.SequentialOrImplicitYield(expr1 = synExpr1; expr2 = synExpr2)
-                | SynExpr.Sequential(expr1 = synExpr1; expr2 = synExpr2)
                 | SynExpr.While(whileExpr = synExpr1; doExpr = synExpr2)
                 | SynExpr.WhileBang(whileExpr = synExpr1; doExpr = synExpr2)
                 | SynExpr.DotIndexedGet(objectExpr = synExpr1; indexArgs = synExpr2)

tests/FSharp.Compiler.UnitTests/FSharp.Compiler.UnitTests.fsproj

@@ -75,6 +75,7 @@
     </Compile>
     <Compile Include="TreeVisitorTests.fs" />
     <Compile Include="ParsedInputModuleTests.fs" />
+    <Compile Include="ParsedInputModuleTests.VeryBigArrayExprTest.fs" />
   </ItemGroup>
 
   <ItemGroup>