aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Smeding <tom@tomsmeding.com>2026-08-19 00:28:27 +0200
committerTom Smeding <tom@tomsmeding.com>2026-08-19 00:28:27 +0200
commit0bd48e573a1df549cbd1ba841f7e7506723f6192 (patch)
treea0d30146804ae4d58b6f7b213e579098fe08129d
parent7029f5b4069b643561780dbc6317358a7a7d2b11 (diff)
Ignore more :set prompt- versions
-rw-r--r--src/Ghci.hs7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Ghci.hs b/src/Ghci.hs
index d3540cb..e42ccbc 100644
--- a/src/Ghci.hs
+++ b/src/Ghci.hs
@@ -90,9 +90,10 @@ runStmtClever ghci pset line =
case dropWhile isSpace line of
':' : line1 -> case words (map toLower (dropWhile isSpace line1)) of
('{':_) : _ -> return (ghci, Ignored) -- will break prompt
- cmd : "prompt" : _
- | "set" `startsWith` cmd -> return (ghci, Ignored)
- | "unset" `startsWith` cmd -> return (ghci, Ignored)
+ setish : promptish : _
+ | ("set" `startsWith` setish || "unset" `startsWith` setish)
+ , ("prompt" `startsWith` promptish || "prompt-" `startsWith` promptish)
+ -> return (ghci, Ignored)
cmd : _
| "def" `startsWith` cmd -> return (ghci, Ignored)
| "cd" `startsWith` cmd -> return (ghci, Ignored) -- useless in irc