Fix #3408: lengthen the idle GC time to 5s for GHC/GHCi.
authorSimon Marlow <marlowsd@gmail.com>
Fri, 11 Sep 2009 12:45:47 +0000 (12:45 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 11 Sep 2009 12:45:47 +0000 (12:45 +0000)
compiler/parser/hschooks.c

index 7b091e8..4878021 100644 (file)
@@ -5,7 +5,6 @@ in instead of the defaults.
 */
 
 #include "Rts.h"
-#include "RtsFlags.h"
 
 #include "HsFFI.h"
 
@@ -22,6 +21,10 @@ defaultsHook (void)
     RtsFlags.GcFlags.maxStkSize         = 512*1024*1024 / sizeof(W_);
     RtsFlags.GcFlags.giveStats = COLLECT_GC_STATS;
     RtsFlags.GcFlags.statsFile = stderr;
+
+    // See #3408: the default idle GC time of 0.3s is too short on
+    // Windows where we receive console events once per second or so.
+    RtsFlags.GcFlags.idleGCDelayTime = 5*1000;
 }
 
 void