chore: improve docs

leanprover · Dec 3, 2024 · 7b60b9d · 7b60b9d
1 parent 096278c
commit 7b60b9d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Std/Internal/UV.lean b/src/Std/Internal/UV.lean
@@ -23,7 +23,8 @@ structure Loop.Options where
   accumulateIdleTime : Bool := False
 
   /--
-  Block a signal when polling for new events
+  Block a SIGPROF signal when polling for new events. It's commonly used for unnecessary wakeups
+  when using a sampling profiler.
   -/
   blockSigProfSignal : Bool := False