From cdc4a45d21353ebf9306bd8df83ec287ace7c0e4 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 27 Jun 2022 21:59:49 +0200 Subject: Replace newlines with ; instead Request from geekosaur, original yahb did that too --- src/Ghci.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Ghci.hs b/src/Ghci.hs index d8410b7..f931a7b 100644 --- a/src/Ghci.hs +++ b/src/Ghci.hs @@ -140,7 +140,7 @@ runStmt' ghci stmt = do | length output > 200 = take 197 output ++ "..." | otherwise = output dropBothSlow f = reverse . dropWhile f . reverse . dropWhile f - replaceNewlines = map (\case '\n' -> ' ' ; c -> c) + replaceNewlines = concatMap (\case '\n' -> " ; " ; c -> [c]) -- | Returns new prompt tag updatePrompt :: Ghci -> IO String -- cgit v1.2.3-70-g09d2