diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-09-21 14:32:18 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-09-21 14:32:18 +0200 |
| commit | c28b868f7edde6b7725fc31bcd23e5abc1d9e1c0 (patch) | |
| tree | 6fba26a07a664582e34a892e9a4804ac8151f041 /src | |
| parent | 3f009714170692ab596b59426c945c3c2705d8a0 (diff) | |
Thanks again int-e :)
Diffstat (limited to 'src')
| -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 c0f5de9..b8c3b69 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -98,6 +98,7 @@ runStmtClever ghci pset line = | "def" `startsWith` cmd -> return (ghci, Ignored) | "cd" `startsWith` cmd -> return (ghci, Ignored) -- useless in irc | "edit" `startsWith` cmd -> return (ghci, Ignored) -- useless in irc, may break prompt detection etc. + | "script" `startsWith` cmd -> return (ghci, Ignored) -- allows the above | "quit" `startsWith` cmd -> do terminateGhci ghci putStrLn "ghci: restarting due to :quit" |