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