Use nonmoving gc in dev server

digitallyinduced · Jun 5, 2021 · eaf0b25 · eaf0b25
1 parent c051f31
commit eaf0b25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/exe/IHP/IDE/DevServer.hs b/exe/IHP/IDE/DevServer.hs
@@ -226,7 +226,7 @@ startGHCI = do
             , "-package-env -" -- Do not load `~/.ghc/arch-os-version/environments/name file`, global packages interfere with our packages
             , "-ignore-dot-ghci" -- Ignore the global ~/.ghc/ghci.conf That file sometimes causes trouble (specifically `:set +c +s`)
             , "-ghci-script", ".ghci" -- Because the previous line ignored default ghci config file locations, we have to manual load our .ghci
-            , "+RTS", "-A512m", "-n4m", "-H512m", "-G3", "-qg", "-N"
+            , "+RTS", "-A512m", "-n4m", "-H512m", "--nonmoving-gc", "-N"
             ]
     createManagedProcess (Process.proc "ghci" args)
             { Process.std_in = Process.CreatePipe