diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-08-19 00:33:31 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-08-19 00:33:31 +0200 |
| commit | 3f009714170692ab596b59426c945c3c2705d8a0 (patch) | |
| tree | 08f41647de69aa56195ad006d8d8cfee6657a4ca | |
| parent | 0bd48e573a1df549cbd1ba841f7e7506723f6192 (diff) | |
Thanks int-e
| -rw-r--r-- | src/Ghci.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Ghci.hs b/src/Ghci.hs index e42ccbc..c0f5de9 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -92,7 +92,7 @@ runStmtClever ghci pset line = ('{':_) : _ -> return (ghci, Ignored) -- will break prompt setish : promptish : _ | ("set" `startsWith` setish || "unset" `startsWith` setish) - , ("prompt" `startsWith` promptish || "prompt-" `startsWith` promptish) + , promptish `startsWith` "prompt" -> return (ghci, Ignored) cmd : _ | "def" `startsWith` cmd -> return (ghci, Ignored) |