From 2cab3dbf30ec26ac9555e8ef2b3ee5a18a232301 Mon Sep 17 00:00:00 2001
From: Jakub Majocha <1760221+majocha@users.noreply.github.com>
Date: Sat, 4 Oct 2025 22:58:07 +0200
Subject: [PATCH] only push after maxDepth reached

---
 src/Compiler/Checking/FindUnsolved.fs | 33 +++++++++++++++++++++++++--
 1 file changed, 31 insertions(+), 2 deletions(-)

diff --git a/src/Compiler/Checking/FindUnsolved.fs b/src/Compiler/Checking/FindUnsolved.fs
index 10eb7ab672c..a94a5b6cb95 100644
--- a/src/Compiler/Checking/FindUnsolved.fs
+++ b/src/Compiler/Checking/FindUnsolved.fs
@@ -19,13 +19,42 @@ type env = | NoEnv
 
 let FindUnsolvedStackGuardDepth = StackGuard.GetDepthOption "FindUnsolved"
 
+type SyncStackGuard(maxDepth) =
+    let mutable stack = Unchecked.defaultof<_>
+    let mutable depth = 0
+    let mutable running = false
+
+    let run f =
+        running <- true
+        try
+            stack <- System.Collections.Generic.Stack<_>()
+            stack.Push f
+            while stack.Count > 0 do
+                let f = stack.Pop()
+                f()
+        finally
+            running <- false
+
+    let push f =
+        if not running then run f else stack.Push f
+
+    member _.Guard f =
+        depth <- depth + 1
+        try
+            if depth % maxDepth = 0 then
+                push f
+            else
+                f()
+        finally
+            depth <- depth - 1
+
 /// The environment and collector
 type cenv =
     { g: TcGlobals
       amap: Import.ImportMap
       denv: DisplayEnv
       mutable unsolved: Typars
-      stackGuard: StackGuard }
+      stackGuard: SyncStackGuard }
 
     override _.ToString() = "<cenv>"
 
@@ -318,7 +347,7 @@ let UnsolvedTyparsOfModuleDef g amap denv mdef extraAttribs =
           amap=amap
           denv=denv
           unsolved = []
-          stackGuard = StackGuard(FindUnsolvedStackGuardDepth, "UnsolvedTyparsOfModuleDef") }
+          stackGuard = SyncStackGuard FindUnsolvedStackGuardDepth }
     accModuleOrNamespaceDef cenv NoEnv mdef
     accAttribs cenv NoEnv extraAttribs
     List.rev cenv.unsolved