From 8b6235ae55b9ce1f37a21876ab646266cda8cec7 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 19 Feb 2026 20:52:07 +0100 Subject: Also ignore :unset prompt --- src/Ghci.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Ghci.hs b/src/Ghci.hs index 3d7fd53..4c6dca1 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -89,6 +89,7 @@ runStmtClever ghci pset line = ('!':_) : _ -> return (ghci, Ignored) cmd : "prompt" : _ | "set" `startsWith` cmd -> return (ghci, Ignored) + | "unset" `startsWith` cmd -> return (ghci, Ignored) cmd : _ | "def" `startsWith` cmd -> return (ghci, Ignored) | "cd" `startsWith` cmd -> return (ghci, Ignored) -- useless in irc -- cgit v1.2.3-70-g09d2