fix missing highlighting on error

src/Juvix/Compiler/Concrete/Print/Base.hs

@@ -401,7 +401,6 @@ instance (SingI s) => PrettyPrint (DoubleBracesExpression s) where
 instance (SingI s) => PrettyPrint (DoLet s) where
   ppCode DoLet {..} = do
     let letFunDefs' = blockIndent (ppBlock _doLetStatements)
-    -- blockIndent d = hardline <> indent d <> line
     ppCode _doLetKw
       <> letFunDefs'
       <> ppCode _doLetInKw

src/Juvix/Compiler/Pipeline/Driver.hs

@@ -56,15 +56,15 @@ processModule = cacheGet
 
 evalModuleInfoCache ::
   forall r a.
-  (Members '[TaggedLock, TopModuleNameChecker, Error JuvixError, Files, PathResolver] r) =>
+  (Members '[TaggedLock, HighlightBuilder, TopModuleNameChecker, Error JuvixError, Files, PathResolver] r) =>
   Sem (ModuleInfoCache ': JvoCache ': r) a ->
   Sem r a
 evalModuleInfoCache = evalJvoCache . evalCacheEmpty processModuleCacheMiss
 
 -- | Used for parallel compilation
 evalModuleInfoCacheSetup ::
   forall r a.
-  (Members '[TaggedLock, TopModuleNameChecker, Error JuvixError, Files, PathResolver] r) =>
+  (Members '[TaggedLock, HighlightBuilder, TopModuleNameChecker, Error JuvixError, Files, PathResolver] r) =>
   (EntryIndex -> Sem (ModuleInfoCache ': JvoCache ': r) ()) ->
   Sem (ModuleInfoCache ': JvoCache ': r) a ->
   Sem r a
@@ -75,6 +75,7 @@ processModuleCacheMiss ::
   ( Members
       '[ ModuleInfoCache,
          TaggedLock,
+         HighlightBuilder,
          TopModuleNameChecker,
          Error JuvixError,
          Files,
@@ -240,7 +241,7 @@ processImports imports = do
 
 processModuleToStoredCore ::
   forall r.
-  (Members '[ModuleInfoCache, PathResolver, TopModuleNameChecker, Error JuvixError, Files] r) =>
+  (Members '[ModuleInfoCache, PathResolver, HighlightBuilder, TopModuleNameChecker, Error JuvixError, Files] r) =>
   Text ->
   EntryPoint ->
   Sem r (PipelineResult Store.ModuleInfo)
@@ -262,10 +263,10 @@ processModuleToStoredCore sha256 entry = over pipelineResult mkModuleInfo <$> pr
 
 processFileToStoredCore ::
   forall r.
-  (Members '[ModuleInfoCache, PathResolver, TopModuleNameChecker, Error JuvixError, Files] r) =>
+  (Members '[ModuleInfoCache, HighlightBuilder, PathResolver, TopModuleNameChecker, Error JuvixError, Files] r) =>
   EntryPoint ->
   Sem r (PipelineResult Core.CoreResult)
-processFileToStoredCore entry = ignoreHighlightBuilder . runReader entry $ do
+processFileToStoredCore entry = runReader entry $ do
   res <- processFileUpToParsing entry
   let pkg = entry ^. entryPointPackage
   mid <- runReader pkg (getModuleId (res ^. pipelineResult . Parser.resultModule . modulePath . to topModulePathKey))

src/Juvix/Compiler/Pipeline/DriverParallel.hs

@@ -9,6 +9,7 @@ where
 
 import Data.HashMap.Strict qualified as HashMap
 import Effectful.Concurrent
+import Juvix.Compiler.Concrete.Data.Highlight.Builder (HighlightBuilder)
 import Juvix.Compiler.Concrete.Language
 import Juvix.Compiler.Concrete.Translation.FromSource.TopModuleNameChecker
 import Juvix.Compiler.Concrete.Translation.ImportScanner (ImportScanStrategy)
@@ -151,6 +152,7 @@ evalModuleInfoCache ::
   forall r a.
   ( Members
       '[ Reader EntryPoint,
+         HighlightBuilder,
          IOE,
          ProgressLog,
          Reader ImportTree,

src/Juvix/Compiler/Pipeline/Repl.hs

@@ -168,6 +168,7 @@ compileReplInputIO fp txt = do
     . runLoggerIO defaultLoggerOptions
     . runReader defaultNumThreads
     . evalInternet hasInternet
+    . ignoreHighlightBuilder
     . runTaggedLockPermissive
     . runLogIO
     . runFilesIO

src/Juvix/Compiler/Pipeline/Run.hs

@@ -145,6 +145,7 @@ evalModuleInfoCacheHelper ::
          TaggedLock,
          TopModuleNameChecker,
          Error JuvixError,
+         HighlightBuilder,
          PathResolver,
          Reader ImportScanStrategy,
          Reader NumThreads,