diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2026-08-18 23:59:36 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2026-08-18 23:59:36 +0200 |
| commit | 69a9851747520b6f1cb39664cb6cb7e887a37037 (patch) | |
| tree | 9457bcaff0a5e1a4911e74a089d19595a973c93b | |
| parent | 9bd34a0dabcf7bf649f2c3c94c354301b5b5eb54 (diff) | |
Ignore :{
| -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 ce8009b..a36c05e 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -89,6 +89,7 @@ runStmtClever :: Ghci -> ParseSettings -> String -> IO (Ghci, Result String) 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) |