diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-04-22 19:46:04 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-04-22 19:46:04 +0200 |
| commit | b8ccd25b6917a720c0b68479c976f18bc324922d (patch) | |
| tree | 643af784f2bdc5b7a79b3597af989f12149a5848 /src/Ghci.hs | |
| parent | dd557059a4388435e7033da87ae21ec15efbdb15 (diff) | |
Add Nat to initial ghci environment for lols
Diffstat (limited to 'src/Ghci.hs')
| -rw-r--r-- | src/Ghci.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |