wip

anoma · Jul 19, 2024 · 5e72d03 · 5e72d03
1 parent 99e4256
commit 5e72d03
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 7 deletions.
diff --git a/app/App.hs b/app/App.hs
@@ -297,9 +297,6 @@ runPipelineSetup p = silenceProgressLog $ do
   r <- runIOEitherPipeline entry (inject p) >>= fromRightJuvixError
   return (snd r)
 
--- say :: (Member App r) => Text -> Sem r ()
--- say = renderStdOut
-
 newline :: (Member App r) => Sem r ()
 newline = renderStdOut @Text ""
 

diff --git a/src/Juvix/Compiler/Pipeline/Repl.hs b/src/Juvix/Compiler/Pipeline/Repl.hs
@@ -169,7 +169,6 @@ compileReplInputIO fp txt = do
   hasInternet <- not <$> asks (^. entryPointOffline)
   runError
     . runConcurrent
-    . runLoggerIO defaultLoggerOptions
     . runReader defaultNumThreads
     . evalInternet hasInternet
     . runTaggedLockPermissive
@@ -187,8 +186,7 @@ compileReplInputIO fp txt = do
     . runTopModuleNameChecker
     . runReader defaultImportScanStrategy
     . withImportTree (Just fp)
-    . silenceProgressLog
-    . runProgressLog defaultProgressLogOptions
+    . ignoreProgressLog
     . evalModuleInfoCacheHelper
     $ do
       p <- parseReplInput fp txt

diff --git a/src/Parallel/ProgressLog.hs b/src/Parallel/ProgressLog.hs
@@ -33,7 +33,7 @@ runProgressLog ProgressLogOptions {..} = interpret $ \case
     let threadDoc :: Maybe (Doc CodeAnn) = do
           guard _progressLogOptionsShowThreadId
           return (kwBracketL <> show _logItemThreadId <> kwBracketR)
-    logProgress (mkAnsiText (threadDoc <?+> _logItemMessage <> hardline))
+    logProgress (mkAnsiText (threadDoc <?+> _logItemMessage))
 
 ignoreProgressLog :: Sem (ProgressLog ': r) a -> Sem r a
 ignoreProgressLog = interpret $ \case