[ change ] Print log to stderr instead of stdout

Author: banacorn

app/Main.hs

@@ -13,6 +13,7 @@ main = do
   -- https://github.com/agda/agda-language-server/issues/24
   hSetEncoding stdout utf8
   hSetEncoding stdin utf8
+
   options <- getOptionsFromArgv
   if optHelp options
     then putStrLn usageMessage

src/Server.hs

@@ -110,10 +110,7 @@ handlers =
         result <- Handler.onHover uri pos
         responder $ Right result,
       notificationHandler SInitialized $ \_not -> pure (),
-      notificationHandler STextDocumentDidOpen $ \_not -> pure (),
-      notificationHandler STextDocumentDidSave $ \_not -> pure (),
-      notificationHandler STextDocumentDidChange $ \_not -> pure (),
-      notificationHandler SCancelRequest $ \_not -> pure ()
+      notificationHandler STextDocumentDidOpen $ \_not -> pure ()
       -- -- syntax highlighting
       -- , requestHandler STextD_cumentSemanticTokensFull $ \req responder -> do
       --   result <- Handler.onHighlight (req ^. (params . textDocument . uri))

src/Switchboard.hs

@@ -12,6 +12,7 @@ import Language.LSP.Server
 import Language.LSP.Types hiding (TextDocumentSyncClientCapabilities (..))
 import Data.IORef
 import Options (Config)
+import System.IO (stderr)
 
 data Switchboard = Switchboard
   { sbPrintLog :: ThreadId
@@ -42,13 +43,13 @@ destroy switchboard = do
   killThread (sbRunAgda switchboard)
   writeIORef (sbLanguageContextEnv switchboard) Nothing
 
--- | Keep printing log
+-- | Keep printing log to stderr
 -- Consumer of `envLogChan`
 keepPrintingLog :: Env -> IO ()
 keepPrintingLog env = forever $ do
   result <- readChan (envLogChan env)
   when (envDevMode env) $ do
-    Text.putStrLn result
+    Text.hPutStrLn stderr result
 
 -- | Keep sending reactions
 -- Consumer of `envResponseChan`