From aa6327c3f630c9b7b7ceef8d07f3a57ca03cccf1 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 14 Jun 2022 19:12:53 +0200
Subject: Early-catch large show output with -interactive-print

---
 src/Ghci.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/Ghci.hs b/src/Ghci.hs
index 13eb4ca..649403f 100644
--- a/src/Ghci.hs
+++ b/src/Ghci.hs
@@ -47,6 +47,9 @@ makeGhci = do
       , std_in = CreatePipe
       , std_out = UseHandle pipeIn
       , std_err = UseHandle pipeIn }
+  hPutStrLn stdinH ":set -interactive-print=Yahb2Defs.limitedPrint"
+  hPutStrLn stdinH ":m"
+  hFlush stdinH
   return Ghci { ghciProc = proch
               , ghciStdin = stdinH
               , ghciStdout = pipeOut }
-- 
cgit v1.2.3-70-g09d2