diff options
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 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" |