diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-08-19 00:28:27 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-08-19 00:28:27 +0200 |
| commit | 0bd48e573a1df549cbd1ba841f7e7506723f6192 (patch) | |
| tree | a0d30146804ae4d58b6f7b213e579098fe08129d /src | |
| parent | 7029f5b4069b643561780dbc6317358a7a7d2b11 (diff) | |
Ignore more :set prompt- versions
Diffstat (limited to 'src')
| -rw-r--r-- | src/Ghci.hs | 7 |
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 |
