From bc7500bd26041fb6cf3201abcc2f8f2721ae6573 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 5 Mar 2015 15:30:41 +0000
Subject: [PATCH] gf.cabal: increase idle time before full GC to 5 seconds

The builtin GHC RTS default is 0.3 seconds, which results in very bad
interactive behaviour when working with a large grammar in the GF shell.
---
 gf.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gf.cabal b/gf.cabal
index a03d80815..28184ec79 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -318,7 +318,7 @@ Executable gf
   ghc-options: -threaded -fwarn-unused-imports
 
   if impl(ghc>=7.0)
-    ghc-options: -rtsopts
+    ghc-options: -rtsopts -with-rtsopts=-I5
     if impl(ghc<7.8)
       ghc-options: -with-rtsopts=-K64M