aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/Ghci.hs3
1 files changed, 3 insertions, 0 deletions
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 }