From b8ccd25b6917a720c0b68479c976f18bc324922d Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sat, 22 Apr 2023 19:46:04 +0200
Subject: Add Nat to initial ghci environment for lols
---
src/Ghci.hs | 1 +
1 file changed, 1 insertion(+)
(limited to 'src')
diff --git a/src/Ghci.hs b/src/Ghci.hs
index d339d74..ae44881 100644
--- a/src/Ghci.hs
+++ b/src/Ghci.hs
@@ -75,6 +75,7 @@ makeGhci = do
, std_err = UseHandle pipeIn }
ghciPutStrLn stdinH ":set -interactive-print=Yahb2Defs.limitedPrint"
ghciPutStrLn stdinH ":m"
+ ghciPutStrLn stdinH ":script initdefs.hs"
hFlush stdinH
return Ghci { ghciProc = proch
, ghciStdin = stdinH
--
cgit v1.2.3-70-g09d2