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