[ fix ] Set locale of stdin/stdout to utf8

Author: banacorn

app/Main.hs

@@ -1,13 +1,18 @@
 module Main where
 
-import           Options
-import           Server                         ( run )
-import           System.Console.GetOpt
-import           System.Environment             ( getArgs )
-import           Text.Read                      ( readMaybe )
+import Options
+import Server (run)
+import System.Console.GetOpt
+import System.Environment (getArgs)
+import System.IO
+import Text.Read (readMaybe)
 
 main :: IO ()
 main = do
+  -- set locale to UTF-8
+  -- https://github.com/agda/agda-language-server/issues/24
+  hSetEncoding stdout utf8
+  hSetEncoding stdin utf8
   options <- getOptionsFromArgv
   if optHelp options
     then putStrLn usageMessage

src/Render/Concrete.hs

@@ -322,7 +322,7 @@ instance Render DoStmt where
       prCs [] = mempty
       prCs cs' = fsep ["where", vcat (fmap render cs')]
   render (DoThen e) = render e
-  render (DoLet _ ds) = "let" <+> vcat (fmap render $ toList ds)
+  render (DoLet _ ds) = "let" <+> vcat (render <$> toList ds)
 
 instance Render Declaration where
   render d =