Improve diagnostics

Author: sol

.ghci

@@ -1,3 +1,4 @@
+:set -XNoImplicitPrelude
 :set -XDuplicateRecordFields
 :set -XLambdaCase
 :set -XNoFieldSelectors

.github/workflows/build.yml

@@ -25,7 +25,6 @@ jobs:
         os:
           - ubuntu-latest
         ghc:
-          - '9.4'
           - '9.6'
           - '9.8'
           - '9.10'

driver/seito.hs

@@ -1,5 +1,7 @@
 module Main (main) where
 
+import           Prelude
+
 import           System.Exit
 import           System.Environment
 import           Control.Monad

driver/sensei.hs

@@ -1,5 +1,7 @@
 module Main (main) where
 
+import           Prelude
+
 import           System.Environment
 
 import           Run

package.yaml

@@ -10,6 +10,7 @@ category: Development
 
 language: GHC2021
 default-extensions:
+  - NoImplicitPrelude
   - DuplicateRecordFields
   - LambdaCase
   - NoFieldSelectors
@@ -21,7 +22,7 @@ default-extensions:
   - DerivingVia
 
 dependencies:
-  - base >= 4.11 && < 5
+  - base >= 4.18 && < 5
   - pretty
   - process
   - fsnotify == 0.4.*

sensei.cabal

@@ -1,13 +1,17 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE DerivingStrategies #-}
-module Builder where
+module Builder (
+  module Builder
+, Color(..)
+) where
 
-import Imports
+import Imports hiding (join, unlines)
 
 import Data.List qualified as List
 import Data.ByteString qualified as ByteString
 import Data.Text.Encoding qualified as Text
 import Data.Text.Internal.StrictBuilder qualified as StrictBuilder
+import System.Console.ANSI
 
 #if MIN_VERSION_text(2,1,2)
 newtype Builder = Builder StrictBuilder.StrictTextBuilder
@@ -17,7 +21,10 @@ newtype Builder = Builder StrictBuilder.StrictBuilder
   deriving newtype (Semigroup, Monoid)
 
 instance IsString Builder where
-  fromString = fromText . fromString
+  fromString = Builder.fromString
+
+fromString :: String -> Builder
+fromString = fromText . Imports.fromString
 
 fromText :: Text -> Builder
 fromText = Builder . StrictBuilder.fromText
@@ -33,7 +40,24 @@ readFile name = do
     False -> either throwIO (return . fromText) $ Text.decodeUtf8' c
 
 show :: Show a => a -> Builder
-show = fromString . Imports.show
+show = Builder.fromString . Imports.show
 
 join :: Builder -> [Builder] -> Builder
 join sep = mconcat . List.intersperse sep
+
+unlines :: [Builder] -> Builder
+unlines = \ case
+  [] -> mempty
+  l : ls -> l <> "\n" <> unlines ls
+
+withColor :: Color -> Builder -> Builder
+withColor color string =  set <> string <> reset
+  where
+    set :: Builder
+    set = Builder.fromString $ setSGRCode [SetColor Foreground Dull color]
+
+    reset :: Builder
+    reset = Builder.fromString $ setSGRCode []
+
+toByteString :: Builder -> ByteString
+toByteString = Text.encodeUtf8 . Builder.toText

src/Builder.hs

@@ -1,5 +1,4 @@
 {-# LANGUAGE CPP #-}
-{-# LANGUAGE NoImplicitPrelude #-}
 module DeepSeek (
   apply
 #ifdef TEST